PhD Candidate

Tim Oliver Kräuter

Department of Computer science, Electrical engineering and Mathematical sciences
Tim Oliver Kräuter
Email: Send email
Bergen
FABRIKKGT, R204-01
Download contact card
See profile in CRIStin

Field of work

I am working as a Ph.D. research fellow in multi-model-driven software engineering. I focus on coordinating multiple heterogeneous behavioral
models describing different aspects of one system. This can be used for model-checking or simulation of the composite system.

Previously, I worked as a software developer on high-performance back-end systems and app/web development in Hannover, Germany. Consequently, I have acquired excellent skills in agile software development, UML, Java, HTML/CSS, JavaScript/Type, Rust, and SVN/Git.

You can find more information on my website.

Courses taught
  • DAT153: Mobile and Distributed Applications (Lecturer and teaching assistant)

  • DAT250: Advanced Software Technologies (Lecturer and teaching assistant)

Research areas
  • Model Driven Software Engineering
  • Behavioral Modelling
  • Model-weaving
  • Model checking
  • Business process modeling