Cyrille Artho
Associate Professor
Stockholm County, Sweden
Summary
👤
Senior🎓
Top SchoolCyrille Artho is an associate professor at KTH with over a decade of experience advancing software reliability through research and tooling in model checking, run-time verification, static analysis, and testing. His work bridges rigorous theoretical methods and practical engineering, having developed analyses for concurrency faults during a PhD at ETH Zurich and applied those techniques in research roles at AIST and NASA. He runs a consulting venture, Artho Software, and has a track record of transferring verification technology to industry via courses, tools and collaborations. Based in Stockholm, he focuses on making next-generation verification tools that fit existing development processes and are accessible to practitioners. An understated thread in his career is consistent mentorship and technology transfer—mentoring GSoC projects and designing courses to move formal methods into everyday software practice.
10 years of coding experience
13 years of employment as a software developer
Ph.D., Computer Science, Ph.D., Computer Science at Eidgenössische Technische Hochschule ZürichStrathclyde University
English, German, Japanese, French, Italian, Spanish
Github Skills (92)
measurement10
unhandled-exceptions10
benchmark10
python10
testing10
unhandled10
infrastructure10
extensible10
concurrency10
static-analysis10
jar10
linux10
java-bytecode10
hue10
api10
Programming languages (11)
Github contributions (5)
javapathfinder/sv-comp
Oct 2018 - Mar 2025
Information to reproduce results from SV-COMP
Contributions:1 PR, 1 push, 1 comment in 6 years 6 months
reproducecompsv-comp
cyrille-artho/modbat
Feb 2018 - Jan 2022
Modbat is a model-based API tester for stateful systems.
Contributions:13 reviews, 266 commits, 64 PRs in 4 years
model-basedapitestingstatefulapi-based
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.