Cyrille Artho

Cyrille Artho is an Associate Professor at the KTH Royal Institute of Technology's School of Computer Science and Communication. He obtained his Master's and Ph.D. degrees from ETH Zurich, with research focused on finding faults in multi-threaded programs. Before joining KTH in 2016, he held research positions at the National Institute of Informatics in Tokyo and the National Institute of Advanced Industrial Science and Technology (AIST) in Japan.

His research interests include:

• Software verification and software engineering
• Concurrent and networked systems
• Model-based testing and runtime verification
• Fault injection techniques
• Formal methods for distributed systems

His recent publications demonstrate strong focus on model checking, test generation, and verification techniques for concurrent/distributed systems, with applications ranging from IoT protocols to Android devices. Notable trends include the development of specialized testing tools and formal verification approaches.

Awards and recognitions:

• ACM SIGSOFT Distinguished Paper Award (ASE 2015)
• QRS 2015 best paper award
• Best tool competition winner at SBST 2015

He leads development of several verification tools including Modbat (model-based tester) and Java PathFinder extensions. He is also involved in the KTH Center for Cyber Defense and Information Security management group.