Yugesh Kothari
Founder at Stealth
Lausanne Metropolitan Area Switzerland
Summary
👤
Senior🎓
Top SchoolYugesh Kothari is a founder and PhD-trained computer scientist based in Lausanne with eight years of experience building reliable software, leading engineering teams, and shipping production-grade systems. His research at EPFL and Max Planck blends formal verification, symbolic execution, and practical toolchains—work that produced peer-reviewed results (CAV) and tangible artifacts like an eBPF interpreter for kernel-safety checks. He has repeatedly bridged academia and startups, scaling tech teams and product delivery from his tech-lead role at PeakMind to founding and leading early-stage companies including SigIQ.ai and a current stealth venture. Comfortable across full-stack development, DevOps, and verification pipelines, he focuses on making complex software systems provably safer and more robust. Notably, he has applied abstract interpretation and symbolic techniques to verify hybrid systems that include neural components, a niche combining formal methods with ML-driven control. His background from IIT Kanpur to EPFL reflects a track record of turning deep research into practical engineering outcomes.
8 years of coding experience
6 years of employment as a software developer
Indian Institute of Technology KanpurDoctor of Philosophy - PhD Computer Systems Analysis, Doctor of Philosophy - PhD Computer Systems Analysis at EPFL
Github Skills (71)
gui-toolkit10
javascript9
linux9
command-line-interface9
python9
open-source9
lint9
science8
linting8
code-analysis8
windows8
parsing8
networking8
pure-python8
monitoring7
Programming languages (10)
Github contributions (5)
yugeshk/crab
Feb 2020 - Feb 2021
CoRnucopia of ABstractions: a language-agnostic library for abstract interpretation
Contributions:34 PRs, 362 pushes, 8 branches in 11 months
tupleagnosticinterpretationlanguage-agnosticabstract-interpretation
yugeshk/GitIntro
Oct 2019 - Aug 2020
Repository for Github introduction
Contributions:3 reviews, 9 commits, 3 PRs in 10 months
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.