Summary
Mohammad Ahmadpanah is a research-focused software engineer and postdoctoral researcher based in Stockholm with 11 years of experience bridging information security, formal methods, and software engineering. He completed a PhD at Chalmers under Andrei Sabelfeld and Daniel Hedin and has held consecutive postdoc positions at Chalmers and KTH, producing work on security-aware systems and formal verification. His background includes extensive teaching and mentoring—often as one of the youngest instructors and lab leads—and hands-on research from a formative role at Amirkabir University’s Formal Security Lab. Mohammad combines rigorous academic training with practical development experience, having contributed to research projects, labs, and software testing initiatives. A quieter but notable thread through his career is early leadership in student computing councils and long-term involvement in observational science groups, reflecting curiosity beyond conventional research boundaries.
11 years of coding experience
5 years of employment as a software developer
Amirkabir University of Technology
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Chalmers University of Technology
Diploma, Math and Physics, Diploma, Math and Physics at Refah High School
Persian, English