… is a professor of software engineering at IT University of Copenhagen and an expert on software quality and reliability. He has experience with formal semantics, concurrency, model checking, model-driven engineering, testing and software architecture.
Raul Pardo Jimenez
… is a Postdoctoral researcher in the SQUARE group at the IT University of Copenhagen. His research is focused on developing rigorous techniques to design, analyze and build software to protect online privacy. His interests lie at the intersection of formal methods, online privacy and computer security. He has done research on privacy for social networks, Internet of Things (IoT) and data analytics. Within these topics, he is working on privacy risk analysis, formal verification of privacy legal requirements, probabilistic programming Bayesian data analysis.
… is a postdoc in the Computer Science department at IT University of Copenhagen. He did his Ph.D. at TU Braunschweig focusing on engineering methods to drive the evolution of highly configurable software systems (aka software product lines). His main research is centered around modeling and analyses of configuration knowledge with a particular focus on evolution. In his further research, Michael is interested in model-driven software engineering, including modeling of variability and evolution.
Holger Stadel Borum
… joined SQUARE in October ’20. His research interests are Software Engineering, Software Visualization and Software Product Lines. In his PhD project ISA (“Immersive Software Archaeology”), Adrian makes use of VR technology to immerse software engineers into a virtual representation of a software system’s structure and behavior. The goal of his research is to make large-scale legacy software systems more accessible and understandable.
Bachelor’s and Master’s Students
Mathias Oliver Valdbjørn
Rasmus Carl Rønneberg
|Francisco Martínez||M.Sc. Student|
|Adam Alami||Ph.D. Student|
|Claus Brabrand||IT University of Copenhagen, Copenhagen, Denmark|
|Alina Preda||M.Sc. Student|
|Anders Fischer||M.Sc. Student|
|Ahmad Salim Al-Sibahi||BilagScan and University of Copenhagen, Copenhagen, Denmark|
|Stefan Stanciulescu||ABB Corporate Research, Baden, Switzerland|
|Aleksandar Dimovski||Skopje, Macedonia|
|Jean Melo||ConfigIT, Copenhagen, Denmark|
|Alexandru Florin Iosif-Lazar||ConfigIT, Copenhagen, Denmark|
|Iago Abal||Prover Technology, Stockholm, Sweden|
|Raghava Rao Mukkamala||Copenhagen Business School, Copenhagen, Denmark|
|Christian Nøhr Rasmussen||M.Sc. Student, graduated June 2018|
|Louis-Marie Traonouez||INRIA Rennes|
|Kenneth Ry Ulrik||M.Sc. Student, graduated June 2018|
|Tawhid Waez||Visitor from Queens University, now at Ford research|
|Fabrizio Biondi||CentraleSupelec & Inria/IRISA Rennes|
|Rolf-Helge Pfeiffer||Copenhagen Business Academy|
|Troels Selch Sørensen||M.Sc. Student|
|Florian Biermann||Ph.D. Student|
|Davide Laezza||M.Sc. Student|
|Alexander Asp Bock||Ph.D. Student|