TU Eindhoven, Netherlands
I am an Assistant Professor in the Architecture of Information Systems group at the Technische Universiteit Eindhoven.
My research interests are in designing correct systems, particularly distributed systems. This includes finding and combining modeling paradigms, developing techniques for synthesizing system models from specifications and discovering system models from observations, and ensuring correctness of modeled systems by formal analysis. Tools and empirical case studies help me understand how these information artifacts relate to the real world in which they exist.
More info: https://www.win.tue.nl/~dfahland/