Lukas Gerlach
Research Associate
Dresden, Saxony, Germany
Summary
👤
Senior🎓
Top SchoolLukas Gerlach is a research associate and PhD student at TU Dresden’s Knowledge-Based Systems Group with 11 years of software and research experience focused on rule-based reasoning and knowledge representation. He specializes in Datalog and existential rules, blending deep theoretical work with practical programming skills honed during five years as a frontend web developer. Lukas also explores interactive theorem proving with Lean, bringing formal verification perspectives into his research. Based in Dresden, he combines academic rigor from a Diploma in Computer Science with hands-on engineering, and even applies his technical aptitude outside academia as a volunteer sound engineer.
11 years of coding experience
5 years of employment as a software developer
Diploma, Computer Science, Diploma, Computer Science at Technische Universität Dresden
German, English
Github Skills (121)
agda10
javascript10
datalog10
dependent-types10
linux10
rule-engine10
computer-algebra-system10
knowledge-graph10
homotopy-type-theory10
tooltips10
popover10
logic10
logic-programming10
package10
rdf10
Programming languages (16)
Github contributions (5)
knowsys/Formale-Systeme-in-LEAN
Apr 2023 - Sep 2024
Contributions:21 reviews, 24 PRs, 37 pushes in 1 year 5 months
monsterkrampe/Existential-Rules-in-Lean
Apr 2024 - Mar 2025
My personal proof playground for anything I want to formalize. Mostly this will be about (basics) of my own formal works.
Contributions:5 PRs, 119 pushes, 15 branches in 10 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.