Haris Smajlović
Postdoctoral Associate
New York City Metropolitan Area United States
Summary
👤
Senior🎓
Top SchoolHaris Smajlović is a Postdoctoral Associate at Yale with over a decade of R&D experience at the intersection of cryptography, compilers, and bioinformatics. He holds a PhD in Computer Science from the University of Victoria and has blended academia and industry roles—from lecturing and research assistantships to five years as a software engineer—bringing both pedagogical clarity and production engineering chops. His work combines theoretical depth in TCS and mathematics with practical systems-building, enabling secure and efficient tooling for data-intensive research. Based in the New York City area, he has a track record of translating complex research into teachable outcomes and maintainable software, and his background suggests a rare fluency across proofs, compilers, and biological data analysis.
10 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of VictoriaM.Sc. and B.Sc. in Theoretical Computer Science, Mathematics and Computer Science, M.Sc. and B.Sc. in Theoretical Computer Science, Mathematics and Computer Science at University of Sarajevo
Bosnian, German, English
Github Skills (37)
reduction10
computation10
multiparty10
authentication10
pythonic10
bioinformatics10
python-bindings10
oauth2-provider10
openid10
homomorphic-encryption10
identity9
python9
django9
openid-connect9
openid-provider9
Programming languages (3)
Github contributions (5)
HarisSmajlovic/pmf-unsa-machine-learning
Mar 2019 - Nov 2021
Machine learning teaching material. (Language: Bosnian)
Contributions:27 commits, 2 PRs, 26 pushes in 2 years 8 months
deep-learningteachingmachine-learningbosnianteaching-machine-learning
hsmajlovic/smith-waterman-optimization
Feb 2021 - Apr 2021
Performance optimizations for Linear Gap Smith Waterman algorithm.
Contributions:9 reviews, 52 PRs, 90 pushes in 2 months
optimizationssmithsmith-watermanoptimizationmultiobjective-optimization
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.