Andre Greiner-petter
Senior Researcher at National Institute of Informatics
Chiyoda, Japan
Summary
👤
Senior🎓
Top SchoolAndre Greiner-petter is a senior researcher and hands-on software engineer with 11+ years building production-grade, research-driven systems in Java, Python, PHP, and Ruby. Based in Chiyoda, Japan, he blends academic rigor—supervising PhD and Master students and lecturing large university classes—with practical SaaS and enterprise solutions for financial institutions. His work spans semantic document analysis, MathIR, plagiarism detection, and state-of-the-art QA-backed compliance systems, often moving prototypes into scalable deployments using Docker, CI/CD, and Linux server administration. He has led open-source efforts such as MathMLTools and built novel tools like a math-aware PDF annotator and large-scale multi-task learning pipelines for media bias detection. Comfortable switching between deep research and product delivery, he also brings unique expertise translating mathematical notation across formats and integrating symbolic tools into ML workflows.
11 years of coding experience
4 years of employment as a software developer
Doktor (Ph.D.), Informatics, Summa Cum Laude, Doktor (Ph.D.), Informatics, Summa Cum Laude at Bergische Universität WuppertalMaster of Science (M.Sc.), Mathematik, Master of Science (M.Sc.), Mathematik at Technische Universität BerlinDoktor (Ph.D.), Informatics, Doktor (Ph.D.), Informatics at Universität Konstanz
German, English, Japanese, French
Github Skills (96)
benchmark10
firmware10
arm10
semantics10
keyboard10
avr10
latex10
translator10
atmel10
mathml10
rp204010
usb10
java-api10
tiddlywiki9
abstract-syntax-tree9
Programming languages (12)
Github contributions (5)
gipplab/vmext-demo
Jan 2018 - Oct 2024
Contributions:24 PRs, 57 pushes, 20 branches in 6 years 9 months
pipelinemathml-semanticssimilarityrenderinglatex
gipplab/FormulaCloudData
May 2019 - Mar 2020
Contributions:3 releases, 10 commits, 9 pushes in 9 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.