Cyrille Artho
Professor at KTH Royal Institute of Technology
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.
11 years of coding experience
13 years of employment as a software developer
University of StrathclydePh.D. Computer Science, Ph.D. Computer Science at ETH Zürich
English, German, Japanese, French, Italian, Spanish
Github Skills (67)
unhandled-exceptions10
benchmark10
python10
testing10
synchronized10
concurrency10
linux10
java-bytecode10
api10
benchmarking10
verification10
java10
zigbee10
cgroups10
tla10
Programming languages (11)
Github contributions (5)
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
saurabhgadia4/lock-model
Jun 2015 - Nov 2018
Contributions:51 pushes, 3 branches in 3 years 6 months
locksrtemsthreadprioritythread-priority
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.