Alin Stefanescu

Alin Stefanescu is a Professor and Head of the Computer Science Department at the University of Bucharest, Romania. He is also a founding member of the Institute for Logic and Data Science (ILDS). His research focuses on software engineering, cybersecurity, and artificial intelligence, with contributions to formal methods, model-based testing, and distributed systems.

Education:

• PhD (2006) in Computer Science, University of Stuttgart
• Habilitation Thesis (2017) in Formal Methods for Software Testing, University of Bucharest
• MSc (2000), BSc (1998) in Computer Science, University of Bucharest

Research Interests:

• Formal verification of distributed systems
• Model-based testing and software quality assurance
• AI-driven tools for cybersecurity and testing (e.g., RobustCheck, CyberGuardian)
• Blockchain applications in AI and identity management
• Reinforcement learning for fuzz testing and automation

Recent Trends in Publications: Recent work emphasizes AI integration in testing frameworks, blockchain for secure AI systems, and adaptive cybersecurity tools. He has pioneered open-source tools like RiverFuzzRL and EBLT, addressing challenges in automated testing and vulnerability analysis.

Awards:

• Best Paper Award at ICSOFT'23 (2023)
• 10-Year Most Influential Paper Award (2023, for 2013 work)
• Best Student Paper Award (2010)

Grants & Labs: Active in EU-funded projects like DYNABIC (AI techniques) and MEASURE (metrics modeling). Leads the ILDS institute, focusing on logic and data science research.