Wojciech Mostowski
Post-doc Researcher at University of Twente
Greater Enschede Area Netherlands
Summary
👤
Senior🎓
Top SchoolWojciech Mostowski is a post‑doctoral researcher and software engineer with 14 years of experience specializing in formal verification, concurrent Java programs, and software security for smart-card e‑identity systems. He leads extensions to the KeY Java verifier for permission-based reasoning in the EU VerCors project and regularly implements verification logic in Java while teaching formal methods and system validation. His open‑source work from Radboud University includes practically all major Java Card e‑identity projects (e.g., jMRTD, GPJ, ISO DL tools), reflecting deep applied expertise in ISO/ICAO standards and PKI on constrained devices. Equally at home reverse‑engineering embedded ECUs, he combines low‑level assembly knowledge with high‑level verification to both uncover and remediate real-world faults. Fluent in Java, C, TeX/LaTeX and comfortable in Linux/git workflows, he is a fast learner who bridges research rigor with hands‑on engineering.
15 years of coding experience
6 years of employment as a software developer
Master of Science (M.Sc.), Mathematics and Computer Science, Master of Science (M.Sc.), Mathematics and Computer Science at Uniwersytet GdańskiDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Chalmers University of Technology
Polish, English, Swedish, Dutch
Github Skills (20)
static-analysis9
formal-verification9
java8
linux7
python7
xbmc6
kodi6
sd-card5
softwareserial4
c644
8-bit4
65023
pascal-compiler2
docker2
crossword2
Programming languages (7)
Github contributions (5)
woj76/Atari800_MiSTer
Feb 2025 - Jul 2026
Atari 800XL/65XE/130XE for MiSTer
Contributions:2 PRs, 155 pushes, 31 branches in 1 year 5 months
woj76/gs_usb_leonardo
Feb 2019 - Jun 2021
Contributions:13 commits, 10 pushes, 1 branch in 2 years 4 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.