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