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.
14 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 (30)
static-analysis9
formal-verification9
xbmc5
c645
pascal-compiler5
sega-genesis4
kodi4
bit4
65024
680004
8-bit4
chromecast4
megadrive3
sega3
sd-card3
Programming languages (4)
Github contributions (5)
woj76/gs_usb_leonardo
Feb 2019 - Jun 2021
Contributions:13 commits, 10 pushes, 1 branch in 2 years 4 months
woj76/a8-pico-sio
Jun 2024 - Jan 2025
Contributions:167 pushes, 3 branches in 7 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.