Michał Antkiewicz
Research Engineer at University of Waterloo
Waterloo, Ontario, Canada
Summary
👤
Senior🎓
Top SchoolMichał Antkiewicz is a research engineer and program leader with 14 years of experience translating academic research into practical tooling and industry-ready systems, currently driving the WISE Simulator for autonomous vehicle testing at the University of Waterloo. He combines deep expertise in software engineering, formal methods, and product-line engineering with hands-on work in perception, mapping, planning, and real-time system integration for self-driving cars. Michał has a long track record of building and sustaining open-source tools (notably Clafer Tools), mentoring students and startups, and coordinating multidisciplinary teams to deliver simulation, mixed-reality, and real-world validation workflows. His publications and a distinguished conference paper reflect an ability to push both theory and practice, evidenced by over 2,600 citations. Colleagues value his constructive feedback, perseverance, and knack for turning complex system concerns into actionable solutions. He is passionate about optimizing systems of all kinds and shepherding technology transfer from university research to industry impact.
14 years of coding experience
8 years of employment as a software developer
MASc, Computer Science, MASc, Computer Science at University of WroclawPh.D., Software Engineering, Ph.D., Software Engineering at University of Waterloo
Polish, English, German, French
Github Skills (194)
instantiation10
forge10
sublime-text10
counter10
tla10
sublime10
complexity10
modeling10
splines10
union9
robotics9
nurbs9
hackage9
cabal9
simulator9
Programming languages (13)
Github contributions (5)
juodaspaulius/clafer
Jan 2015 - Mar 2017
Contributions:71 pushes, 4 branches, 9 comments in 2 years 2 months
compilermodelingprogramming-languagemodeling-language
gsdlab/clafer
Jan 2012 - Jan 2019
Clafer is a lightweight modeling language
Contributions:768 commits, 38 PRs, 243 pushes in 7 years
complexitytlacompilermodeling-languagemodeling
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.