Skip to content
- 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
Projects
- Plan-X
- BlockNet (BlockChain Network Online Education for interdisciplinary European Competence Transfer, Project No: 2018-1-LT01-KA203-047044)