Jump label

Service navigation

Main navigation

You are here:

Sub navigation

  • Staff pages+

Main content

Research - Dr. Boris Düdder

General interests

  • Program and process learning
  • Automatic Program Synthesis and Theorem Provers
  • Type Theory, Lambda Calculus & Logic
  • Formal Methods of Software Engineering
  • Software Architecture
  • Principles of Programming Languages including Functional Programming (Microsoft F#, Scala, OCaml & Haskell)
  • High Performance Computing / Scientific Computing / Cloud Computing (Julia)
  • Mathematical/Physical Models and Simulation (Wolfram Mathematica/Mathworks Matlab/NumPy)
  • Enterprise Architecture (EA)

Current research topics

My current research focuses on

  • Automated software and configuration synthesis, motivated by several application areas, including software architectures for distributed applications and process-oriented systems.
  • Semantic preserving code manipulations of object-oriented program code.