Michal Gajda

Associate Editor

Warsaw, Masovian Voivodeship, Poland
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Michal Gajda is an experienced software engineer and data scientist with nine years of professional experience spanning research, startup leadership, and editorial work in chemical biology. He founded and led Migamake, shipping serverless blockchain tooling like StreamCardano.com, and has deep practical expertise in Haskell, Nix, and deployment on cloud platforms. Michal bridges academia and industry—previously a postdoc in computational structural biology and now an Associate Editor at Frontiers—bringing strong scientific rigor to software and product decisions. He’s lectured on blockchain programming at top Polish universities and has a track record of building analytics and cryptographic systems for health and finance. Known for rebuilding complex Haskell codebases and running research-grade computation infrastructure, he combines low-level technical craftsmanship with product-minded leadership.
code9 years of coding experience
job16 years of employment as a software developer
bookPhD, Computer Science, Bioinformatics, PhD, Computer Science, Bioinformatics at Warsaw University of Technology
bookMaster of Science - MS, Informatics, Master of Science - MS, Informatics at University of Warsaw
bookDoctor of Science, Computational Biology, Doctor of Science, Computational Biology at Institute of Biochemistry and Biophysics, Polish Academy of Science
languagesEnglish, German, French, Polish
github-logo-circle

Github Skills (23)

purescript10
screeps10
wait8
cdn7
ansible7
python7
js7
ssh6
css6
ramdajs6
strongly-typed6
javascript6
haskell5
utility5
automation5

Programming languages (3)

PureScriptHaskellPython

Github contributions (5)

github-logo-circle
mgajda/purescript-screeps

Dec 2016 - Feb 2017

PureScript wrapper library for the Screeps game API (https://screeps.com)
Contributions:156 commits, 115 pushes, 8 tags in 1 month
purescriptscreeps
Contributions:3 pushes in 1 day
generic-programmingprogramming-languagegeneric
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.
Request Free Trial