Participants in AVABI: Automated validation for behavioral interfaces of asynchronous active objects

From the University of Oslo

Name	Phone	E-mail	Tags
Martin Steffen Professor	+47 22850417	msteffen@ifi.uio.no	semantics, programming language theory, static analysis, verification, compiler construction, object-orientation, formal methods, concurrency, computer science, verification, PMA, program analysis, static analysis, compositionality, security, model checking, type systems
Arild Braathen Torjusen
Marcel Kyas
Silvia Lizeth Tapia Tarifa Associate Professor	+47 22852763	sltarifa@ifi.uio.no	formal methods, concurrency, programming language theory, model-based analysis, microservices, distributed systems, object-orientation, modeling, resourse analysis
Abigail Parisaca Vargas