Research
Awards and Honors
1st prize at the SoftFIRE Challenge, 2018.
Luca Aceto (Full Professor)
Runner-up Best Paper Award @ International Conference on Concurrency Theory (CONCUR), 2020.
Chair of Test-of-Time Award Jury @ CONCUR, 2020.
Chair of the Leibniz International Proceedings in Informatics (LIPIcs) Editorial Board, October 2017-October 2019.
Invited talks with GSSI affiliation:
Invited speaker @ TLT - Types and Logic in Torino, Colloquium in honor of Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca and Mario Coppo, Turin, Italy, 22 September 2017.
Invited speaker @ International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), Rome, Italy, 20–22 September 2017.
Member of the Executive Board of Logical Methods in Computer Science (LMCS).
Member of the Advisory Board of Electronic Proceedings in Theoretical Computer Science (EPTCS).
Member of the Informatics section of Academia Europaea, the Academy of Europe, July 2014 onwards.
Member of the Icelandic Academy of Sciences (SOCIETAS SCIENTIARUM ISLANDICA, Vísindafélag Íslendinga), January 2012 onwards.
Ruben Becker (Former Postdoc)
Dr. Eduard Martin Preis for the best Ph.D. Thesis in the Faculty of Computer Science and Mathematics at Saarland University in the academic year 2018/2019.
Nicola Cotumaccio (PhD Student)
Fondazione Agnelli Award (for his academic career and PhD studies), 2020.
Emilio Cruciani (Former PhD Student)
Facebook Testing and Verification Research Award, 2019.
ACM SIGSOFT Distinguished Paper Award @ IEEE/ACM International Conference on Software Engineering (ICSE), 2019.
Gianlorenzo D'Angelo (Associate Professor)
Michele Flammini (Full Professor)
Best Senior Program Committee Member @ International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2020.
Oustanding Senior Program Committee Member Award @ AAAI Conference on Artificial Intelligence (AAAI), 2020.
Omar Inverso (Assistant Professor)
Gold medal @ International Competition on Software Verification (SV-COMP) in Concurrency category, 2020.
Silver and Bronze medals @ SV-COMP in Concurrency category, 2017.
Gold and Silver medals @ SV-COMP in Concurrency category, 2016.
Gold and Silver medals @ SV-COMP in Concurrency category, 2015.
Gold and Silver medals @ SV-COMP in Concurrency category, 2014.
Silver medal @ SV-COMP in Concurrency category, 2013.
Ludovico Iovino (Assistant Professor)
Best Paper Award @ International Conference on Model Driven Engineering Languages and Systems (MODELS), 2019.
Catia Trubiani (Associate Professor)
Best Reviewer Award for the European Conference on Software Architecture (ECSA), 2022
Best Reviewer Award for the International Conference on Software Testing, Verification and Validation (ICST), 2022
10-year Most Influential Paper Award @ International Conference on Performance Engineering (ICPE), 2021.
Program Co-Chair @ International Conference on Performance Engineering (ICPE), 2020.
Exceptional Reviewer Award @ International Conference on Software Architecture (ICSA, conference rank: A), 2018.
Selected for participation as Young Global Changer @ Think 20 Summit G20 Germany (acceptance: 8%), 2017.
Outstanding Contribution in Reviewing from the Editors of the Journal of Systems and Software (JSS), Elsevier, 2016.
Invited panelist for the track on Women in Software Architecture @ European Conference on Software Architecture (ECSA), 2016.
Best Paper Award @ European Conference on Software Architectures (ECSA, conference rank: A), 2015.
Selected for participation @ Heidelberg Laureate Forum (HLF) (acceptance: 10%), 2015.
Microsoft Azure Research Award for the project DEtecting and Solving Performance Antipatterns in Cloud Enviroments (DESPACE), 2014.
Emilio Tuosto (Associate Professor)
Invited speaker @ International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), Amsterdam, The Netherlands, September 2020.
Program Co-Chair @ International Conference on Coordination Models and Languages (COORDINATION), 2019.
Roberto Verdecchia (Former PhD Student)
Facebook Testing and Verification Research Award, 2019.
ACM SIGSOFT Distinguished Paper Award @ IEEE/ACM International Conference on Software Engineering (ICSE), 2019.
Best Early Career Researcher Award @ IEEE International Conference on Software Architecture (ICSA), 2018.
Best Paper Award @ Hawaii International Conference on System Sciences (HICSS), 2019.
ISSIP-IBM-CBA Student Paper Award for Best Industry Studies Paper @ Hawaii International Conference on System Sciences (HICSS), 2019.
Runner-up Best Paper Award @ International Conference on ICT for Sustainability (ICT4S), 2018.
Bronze medal – ACM Student Research Competition @ International Conference on Mobile Software Engineering and System (MobileSoft), 2018.
Karthik Vaidhyanathan (PhD Student)
Student Ambassador for the AWS Educate Student Ambassador Program by Amazon, 2020.
Google Research Credits Grant, 2019.
Cosimo Vinci (Former Postdoc)
Best PhD Thesis in TCS Award of the Italian Chapter of the EATCS, 2019.