Project: “Rapid Verification of Concurrent and Distributed Specifications”
Scientific interests: Formal modelling, concurrency, distributed systems, logic, functional programming.
What triggers me scientifically: Having ideas that others seem to have missed.