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 (93)
javascript10
datalog10
rule-engine10
knowledge-graph10
logic10
logic-programming10
lang10
package10
rdf10
iframe10
linux9
reducers9
idris9
popover9
reasoning9
Programming languages (17)
Github contributions (5)
monsterkrampe/Existential-Rules-in-Lean
Apr 2024 - Jul 2026
This repo contains formalizations around Existential Rules (aka. Tuple-Generating Dependencies) with disjunctions and the Chase algorithm. Mostly this will be about (basics of) my own formal works.
Contributions:8 PRs, 187 pushes, 22 branches in 2 years 3 months
database-theoryknowledge-representationlogic
knowsys/nemo-web
Feb 2024 - Jun 2026
Web frontend for the Nemo rules engine
Contributions:3 reviews, 16 PRs, 59 pushes in 2 years 5 months
web-frontend
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.