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