DEIS

DEIS News

MEET Sean Kristian Remond Harbo - NEW RESEARCH ASSISTANT IN THE DEIS GROUP

MEET Sean Kristian Remond Harbo - NEW RESEARCH ASSISTANT IN THE DEIS GROUP

Please welcome Sean Kristian Remond Harbo, who joined the Department of Computer Science as a Research Assistant in the DEIS group on August 15, 2022.

Last modified: 05.09.2022

We are pleased to welcome Sean Kristian Remond Harbo as a Research Assistant in the DEIS Group. Sean Kristian Remond Harbo graduated from Aalborg Technical Gymnasium (HTX-Aalborg) and got his Bachelor's and Master of science in software engineering from our department.

DESCRIBE YOUR RESEARCH AREA AND FOCUS

- I primarily work with modelling and verification.

PROJECTS YOU ARE/WILL BE INVOLVED IN?

- The development of new features for the UPPAAL modelling and verification tool.

WHY DID YOU CHOOSE TO CONTINUE YOUR CAREER AT AALBORG UNIVERSITY?

. Within my field of study, there are still so many possibilities I want to explore and boundaries I want to challenge. AAU is the perfect place for this.

CONTACT INFO
seankrh@cs.aau.dk

Distributed, embedded and intelligent systems
Department of Computer Science, Aalborg University

Selma Lagerlöfs Vej 300  ・ 9220 Aalborg East, Denmark 
Telephone: +45 9940 9940  ・ Mail: info@cs.aau.dk ・Vacancies