Omar Inverso

Papers

Total Citations

H-Index

About

Omar Inverso is a researcher whose work lies at the intersection of social network analysis and formal methods for collective adaptive systems. His most-cited paper, "Identification of credulous users on Twitter" (2019, 17 citations), addresses the critical challenge of detecting social bots—automated accounts that spread misinformation and artificially inflate popularity. By developing methods to identify credulous users who are particularly susceptible to bot-driven manipulation, Inverso contributes to the fight against fake news and deceptive online practices. In parallel, his work on "Abstractions for Collective Adaptive Systems" (2020, 8 citations) explores formal techniques to model and verify the behavior of large-scale, self-organizing systems composed of interacting agents. This research has implications for ensuring reliability in domains like smart cities and autonomous swarms. Inverso’s contributions bridge the gap between cybersecurity and computational modeling, offering practical tools to understand and mitigate online threats while advancing the theoretical foundations of adaptive system verification. His work is essential for students and researchers interested in the intersection of social media integrity and formal verification.