Cyrille Artho

Cyrille Artho is an Associate Professor at KTH Royal Institute of Technology in the School of Computer Science and Communication, Department of EECS/TCS (Theoretical Computer Science). He joined KTH in August 2016 after working as a Senior Researcher at the National Institute of Advanced Industrial Science and Technology (AIST) in Tokyo and Osaka from April 2007 to July 2016. Prior to that, he was a Postdoctoral Researcher at the National Institute of Informatics in Tokyo. He completed his Ph.D. at ETH Zurich, where his thesis focused on finding multi-threading faults beyond data races.

Dr. Artho's research focuses on software verification and engineering, particularly in concurrent and networked software systems. His work spans model-based testing, software model checking, and the development of verification tools. He has made significant contributions to the Java PathFinder ecosystem, developing the net-iocache extension for networked software and the Modbat model-based testing framework. His recent work has expanded into smart contracts, blockchain technology, and formal verification of distributed systems.

Dr. Artho has published over 100 papers in top software engineering conferences and journals. His most recent publications demonstrate a continued focus on verification techniques, with increasing attention to smart contracts and formal methods for distributed systems. His work shows a consistent trajectory from foundational research on concurrency verification to practical applications in modern distributed systems.

• ACM SIGSOFT Distinguished Paper Award (2015)
• QRS 2015 best paper award
• Best tool (competition winner) at SBST 2015
• Most influential ASWEC paper award (awarded in 2013)

Dr. Artho is actively involved in the academic community as a committee member, session chair, and workshop organizer for major conferences including ASE, ICSE, ISSTA, and FM. He is also a member of the management group for the KTH Center for Cyber Defense and Information Security, reflecting his contributions to security-related research.