Jump label

Service navigation

Main navigation

You are here:

Sub navigation

Main content

Research - Prof. Jakob Rehof

General interests

  • Algorithms and complexity in type theory and logic, typed lambda-calculi, process calculi and concurrency theory, principles of programming languages, and their applications in automated methods for software analysis and software construction.

Current research topics

  • My current research focuses on automated software composition synthesis based on combinatory logic, and on the development and applications of a framework for component-based synthesis CLS (Combinatory Logic Synthesizer).
  • The inhabitation problem in typed lambda calculus (with intersection types).