Vladimir Zamdzhiev
Postdoctoral Fellow at Tulane University
New Orleans, Louisiana, United States
Summary
👤
Senior🎓
Top SchoolVladimir Zamdzhiev is a Postdoctoral Fellow and PhD in Computer Science from the University of Oxford with 13 years of experience at the intersection of formal methods, semantics, and quantum programming. He leads research and tool development for semantics and formal reasoning for quantum programming at Tulane University while maintaining connections with research labs such as Inria. His background spans teaching advanced topics—categorical quantum mechanics, lambda calculus, and formal verification—and hands-on internships in machine learning and optimization, reflecting a blend of theoretical depth and practical implementation. Based in New Orleans, he combines rigorous category-theory-informed approaches with applied tool-building for emerging quantum software stacks, and his personal website documents a steady stream of research artifacts and implementations that bridge academia and engineering.
13 years of coding experience
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at University of OxfordBSc, Computer Science, Mathematics, BSc, Computer Science, Mathematics at Jacobs University BremenBSc, Computer Science, BSc, Computer Science at Sofia UniversityHigh School Diploma, High School Diploma at Sofia High School of Mathematics
English, Bulgarian
Github Skills (18)
rewriting9
pgf9
quantum-computing8
functional-programming-language8
tikz8
graph8
dependent-types8
functional-programming8
stack-based8
programming-language7
idris7
compiler6
diagram5
gtk3
flatpak3
Programming languages (5)
Github contributions (5)
zamdzhiev/Qimaera
Aug 2021 - Jan 2023
Idris libraries for type safe (variational) quantum programming
Contributions:1 release, 54 commits, 1 PR in 1 year 5 months
functional-programmingquantum-computingtype-safequantumquantum-programming
QPL2023/qpl2023.github.io
Feb 2023 - Aug 2023
Contributions:85 pushes in 6 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.