معرفی
Olaf Chitil is a Lecturer at the University of Kent's School of Computing, where he has been since 2004. He completed his PhD at RWTH Aachen in 2000, focusing on type-based deforestation of functional programs. His academic journey includes postdoctoral roles at the University of York, where he collaborated on the Haskell tracer Hat, and teaching fellowships.
- Research Interests: Centered on functional programming languages, particularly Haskell, with emphasis on semantics, type theory, program transformation, compiler construction, message-passing concurrency, and programming tools. His work aims to enhance software development through type systems, algorithmic debugging, and self-tracing mechanisms.
- Teaching: Modules include Algorithms and Logic and Foundations of Computing II.
- Publications: Over 15 recent works address type error debugging, Haskell tools like Hat, and compiler techniques. Collaboration with researchers such as Joanna Sharrad and Kanae Tsushima highlights his contributions to algorithmic debugging frameworks.
- Professional Service: Organized PPDP 2014 and LOPSTR 2014, chaired IFL 2007, and served on program committees for Haskell Symposium, ICFP, and TFP conferences. Long-time member of PPDP steering committee and IFL advisory committee.
- Students: Invites PhD applications focused on functional programming languages.
- Software: Developed Hat (source-level Haskell tracer), StrictCheck (strictness testing), TypeIlluminator (type error debugging), and contributed to FPretty (efficient pretty-printing).
۰مقاله منتشرشده
