Ioanna Dimitriou
Senior Software Architect Programmer at Interstellar
Bonn, North Rhine-Westphalia, Germany
Summary
🤩
Rockstar🎓
Top SchoolIoanna Dimitriou is a Senior Software Architect and programmer based in Bonn with over a decade of experience blending formal logic, data science, and cloud-native engineering. She combines a PhD-level background in mathematical logic and set theory with hands-on work in DevOps (Docker, Kubernetes, OpenShift), observability stacks (EFK/ELK), NLP with spaCy, and data analysis/visualization in R and R Shiny. Comfortable across Common Lisp, Clojure, Python, JavaScript and some Java, she sustains freelance Common Lisp work while driving architecture and platform reliability at M-Creations. Her academic history includes formal proof work with Isabelle and supervising student research—an unusual mix that informs rigorous design and reproducible pipelines. Multilingual and methodical, she brings a researcher's precision to production systems and is quietly active in open-source repositories under ioannad.
10 years of coding experience
B2 plus, Deutsch für den Beruf, Note 1, B2 plus, Deutsch für den Beruf, Note 1 at ESO-Euro Schulen BonnPhD, Mathematical Logic, Set Theory, PhD, Mathematical Logic, Set Theory at Rheinische Friedrich-Wilhelms-Universität BonnGoethe-Zertifikat C1, Deutsch als Fremdsprache, Note 1, Goethe-Zertifikat C1, Deutsch als Fremdsprache, Note 1 at Volkshochschule BonnMaster of Science, Logic, Master of Science, Logic at Universiteit van Amsterdam
Dutch, Spanish, German, English, Greek
Stackoverflow
157reputation
3kreached
1answer
2questions
Github Skills (83)
testing10
firefox-addon10
specification10
web-development10
thunderbird10
web-platform10
javascript10
grapher10
axiom10
safari10
browser10
webkit10
microsoft-edge10
firefox10
html10
Programming languages (8)
Github contributions (5)
ioannad/jeffrey
Oct 2015 - Aug 2020
Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.
Contributions:87 commits, 1 PR, 90 pushes in 4 years 10 months
makerdirected-acyclic-graphdiagram-makerlispgrapher
ioannad/asd-graph
Apr 2017 - Jun 2018
Contributions:1 release, 31 commits, 13 pushes in 1 year 2 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.