Senior Members

Andrzej Wasowski (head of group)

Professor of software engineering at IT University of Copenhagen, expert on software quality and reliability. He has experience with probabilistic modeling including formal semantics of programs, concurrency, model checking, model-driven engineering, variability-modeling, testing and software architecture. Prof. Wasowski has worked with quality of robotics software platforms and bug elimination in other open source projects. This interest is shifting towards safety and reliability of robotics and AI software in general.

Zhoulai Fu

… is an assistant professor of computer science at IT University of Copenhagen, with research interests in approaching software engineering problems from a programming language perspective. Main work involves developing methods and tools for software analysis, verification, and testing. A particular focus is on high-assurance scientific computing, with applications to software involving floating-point calculations such as Robot Operating System and GNU Scientific Library.

Christoph Seidl

… is an Assistant Professor for Software Engineering at IT University of Copenhagen. His research interests are highly-configurable software systems/variability modeling (e.g., Software Product Lines), software evolution, model-driven software engineering, language engineering, and software visualization. As part of his research, he has worked with companies, among others, in the automotive industry, aerospace engineering, and virtual reality.

Willard Rafnsson

… is an Assistant Professor at the IT University of Copenhagen (ITU). His research is at the intersection of formal methods, programming languages, and security. His research focuses on proving that software preserves the confidentiality of data. He is building tools for this task, that scale to real programming languages and platforms.

Mahsa Varshosaz

… is a postdoc in the Computer Science department at IT University of Copenhagen. Her research interests include testing and automatic repair of software systems, verification (in particular model checking) of software systems, and analysis of highly configurable systems. In the past few years, her research has been focused on investigating and developing modelling and model-based testing approaches for highly configurable systems. Her recent line of work involves automatic program repair for software systems, where the goal is to reduce the effort of programmers to fix bugs by suggesting a set of possible fixes which are generated automatically. In REMARO, Mahsa will supervise projects on reliability for AI in robotics systems.

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, and Bayesian data analysis.

Guest Researchers

Sandra Greiner

… is a guest researcher in the SQUARE group from May to October 2021. Her work during the research stay, financed by the German Academic Exchange Service (DAAD) and conducted jointly with Christoph Seidl, focuses on the evolution of (model-driven) software product lines. For her PhD studies she is affiliated with the University of Bayreuth, Germany, where she is working at the Chair of Software Engineering. The topic of the PhD is situated in the field of model-driven product lines where she exploits model transformations to keep the variability information of product line models consistent.

PhD Students

Alfredo Cruz

… is a PhD student at the SQUARE group. Currently his focus is on Automatic Program Repair of API misuses with a closer aim at Locking API misuses in the Linux Kernel. Alfredo started his (quasi) research adventure in Compilers and Programming languages moving on then to Computational Geometry, Wireless Networks and Distributed Computing. Basically he enjoys (so far) solving problems with as little black magic (ML methods) as possible.

Holger Stadel Borum

… is a Ph.d.-fellow on the Projection of Balances and Benefits in Life Insurance (PROBABLI) project. His primary interest lies in the intersection between programming language technology and people. Holger researches this intersection through designing the domain-specific language called Management Action Language for the Danish pension industry. He is interested in domain-specific languages, domain-specific models, human-centred design and taking users seriously in programming language design.

Adrian Hoff

… 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.

Laura Weihl

… is a PhD Student at the SQUARE group since May 2021. Her background is in Maths, Computer Science and Machine Learning. She has worked on Facial Recognition using Neural Networks, more recently she has been interested in Risk Analysis in Iris recognition systems. Right now she is working on fusing Property-based Testing with Probabilistic Programming. If you don’t find her coding she is playing piano or singing in a choir.

Mahya Mohammadi Kashani

… is a PhD student on the project Reliable AI for Marine Robotics (REMARO) at the SQUARE group. Her main research interests are concentrated in the area of machine vision and pattern recognition. She has become interested in the assessment of plan selection of the robots and probabilistic decision making, recently. Before joining SQUARE group, she worked for one year as a computer vision engineer. There she was programming and developing vision of waste segregation robots. Before that she has acquired her M.Sc. degree in Computer Engineering with a major in AI and Robotics. Alongside AI & coding, she really cares about environmental issues and climate change.

Sergio Daniel Quijano

… is a PhD student on the project Reliable AI for Marine Robotics (REMARO). His research interests are (Model-Based) Systems and Software Engineering, Safety Engineering, Self-Adaptive and Multi-agent Cyber-Physical Systems. In his PhD project, Sergio investigates methods for Model-Based testing of probabilistic properties to support safety assessments for underwater robots.

Mohsen Ghaffari

… is a PhD student at the SQUARE group since November 2021. His research interests are Reinforcement Learning, Multi-agent systems, Smart Grids, and Game Theory. Mohsen has worked on Demand Management in Smart Grids using Multi-agent Reinforcement Learning, Shortest Path on Uncertain Networks, HMM-based Detecting and Predicting, and Police Patrolling. Recently he has been interested in the safety and explainability of Reinforcement Learning. Right now, he is working on symbolically executing Reinforcement Learning.

Research Assistants

Morten Tychsen Clausen

… is a research assistant on the PROBABLI project, where he supports Holger in the development of a domain-specific language. He previously worked on the project as a student programmer for two years during his Master’s education. He completed his Master’s in Computer Science with a specialization in programming language theory and parallel hardware performance in the summer of 2021. His current work includes extending the compiler of the DSL with the ability to perform certain code optimizations such as deforestation and vectorizing operations.

Bachelor’s and Master’s Students

Rasmus Carl Rønneberg

… is a master student in Computer Science and working as a student programmer in the SQUARE group at IT University of Copenhagen. The projects that he has been involved in are mainly about privacy risk analysis, quantitative information flow and probabilistic programming.

Former members

Michael Nieke Volkswagen AG, Germany
Mathias Oliver Valdbjørn ATP Koncernen, Hillerød, Denmark
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 IT University of Copenhagen, Copenhagen, Denmark
Troels Selch Sørensen M.Sc. Student
Florian Biermann Ph.D. Student
Davide Laezza M.Sc. Student
Alexander Asp Bock Ph.D. Student