Vojtěch Štěpančík
Doctoral Researcher at Inria
Nantes, Pays de la Loire, France
Summary
👤
Senior🎓
Top SchoolVojtěch Štěpančík is a doctoral researcher at Inria’s Gallinette team in Nantes, focusing on proof automation and the use of parametricity for algebraic structures in dependent type theory. With a background that uniquely blends a bachelor's in computer science and a master's in mathematics, he studies type theory, category theory and synthetic homotopy theory while working hands-on with proof assistants such as Agda, Coq and Lean. Over a decade of engineering experience spans Rust back-end work, Node.js/TypeScript systems, embedded C/C++ firmware, and mobile apps, plus CI/CD, Nix and reproducible-build practices. He has taught functional programming, logic and procedural programming at CTU, bringing pedagogy to complex formal topics and occasionally lecturing in both Czech and English. Notably, he applies practical software engineering rigor—type-safe Rust wrappers, microservice migrations to Kubernetes, and hardware design in KiCad—to problems at the intersection of formal methods and production systems. Curious and quick to learn, he combines deep theoretical interests with a track record of shipping robust, cross-domain solutions.
10 years of coding experience
4 years of employment as a software developer
High School Natural Sciences Bilingual studies in French, High School Natural Sciences Bilingual studies in French at Gymnázium Jana NerudyHosei UniversityMaster's degree Mathematics, Master's degree Mathematics at Charles UniversityDoctor of Philosophy - PhD Mathematics and Computer Science, Doctor of Philosophy - PhD Mathematics and Computer Science at Nantes UniversitéMaster's degree Computer Science, Master's degree Computer Science at Faculty of Electrical Engineering, Czech Technical University in PragueUniversity of Ljubljana, Faculty of Mathematics and Physics
Czech, English, French, Japanese
Github Skills (200)
programming-language10
parser10
agda10
home-manager10
interpreter10
visual-studio10
category-theory10
microsoft-store10
graph-theory10
markdown10
javascript10
formatter10
editor10
polyhedra10
yaml10
Programming languages (22)
Github contributions (5)
VojtechStep/ComputationalTrinitarianism
Dec 2020 - Oct 2023
Contributions:50 pushes, 1 branch, 1 tag in 2 years 11 months
AlmightyLobsters/LobsterPages
Dec 2016 - Apr 2017
Contributions:185 commits, 3 PRs, 112 pushes in 4 months
coveringcansat-competitionexploitslobsterscansat
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.