Research

Research Interests

  • Formal Methods in Software Engineering
    • Automatic Program Synthesis and Theorem Provers
    • Smart Data Adapters / Container Frameworks
  • Distributed ledger technology (blockchain)
  • Software Engineering for mechanical engineering applications
  • Type Theory, Lambda Calculus & Logic
  • Functional Programming (Microsoft F#, Scala & Haskell)
  • Enterprise Architecture (EA)
  • Software Architecture
  • Cloud Computing / HPC
  • Computation on Big Data
  • Financial Computation (Python, Pandas)
  • Mathematical/Physical Models and Simulation (SciPy, Wolfram Mathematica/Mathworks Matlab)

Applications

  • Mechanical engineering
  • Logistics
  • Supply chains
  • Energy networks
  • Internet of Things