Olaf Chitil
Lecturer at University of Kent
Canterbury, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolOlaf Chitil is a lecturer and researcher with over a decade of experience focused on programming languages, type theory, compiler construction, program transformation and message-passing concurrency. Based at the University of Kent, he has a long academic track record including work on Haskell tracing and debugging (Hat) and teaching advanced modules in code generation, optimisation and real-time systems. His research agenda centers on practical semantics and tools that help programmers develop more effectively, bridging theoretical foundations with usable programming tools. Holding a PhD from RWTH Aachen, he combines deep formal expertise with hands-on experience building language tooling and educational curricula.
13 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at Rheinisch-Westfälische Technische Hochschule Aachen
French
Stackoverflow
31reputation
2kreached
0answers
1question
Github Skills (5)
hackage8
haskell8
wxwidgets6
erlang6
ghc1
Programming languages (2)
Github contributions (4)
OlafChitil/hat
Oct 2012 - Oct 2017
The Haskell tracer - generating and viewing Haskell execution traces
Contributions:127 commits, 3 PRs, 18 pushes in 5 years 1 month
haskell
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.