Marcel Kyas received his PhD from the University of Leiden in 2006. In his dissertation “Verifying OCL specifications of UML models”, he developed compositional, computer-aided verification methods for object-oriented real-time systems. After that, he became a PostDoc at the University of Oslo.
He researched type systems for dynamically evolving distributed systems. He became an assistant professor at the Freie Universität Berlin. He researched indoor positioning systems and their empirical validation. He published competitive positioning methods and an indoor positioning test bed.
Since 2015, he has worked at Reykjavik University. He extends his work on indoor positioning systems to distributed systems. Marcel studies statistical methods for the Internet of Things. In this context, he investigates telematics and computer security.