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.
9 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 (55)
javascript9
command-line-interface9
python9
linux9
open-source9
lint9
parsing9
linter9
code-analysis9
gui-toolkit9
macos8
rdf8
linting8
spdx8
windows8
Programming languages (10)
Github contributions (5)
dslab-epfl/systems-epfl.github.io
Nov 2021 - Nov 2022
Systems @EPFL research group home page.
Contributions:58 commits, 12 PRs, 59 pushes in 11 months
home-pageepflresearch-group
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
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.