As of July 15, Thorulf Neustrup has joined the department as a Tool Developer in the DEIS group. Thorulf Neustrup has a Bachelor’s degree in Computer Science as well as a Master’s degree in Software Engineering.
PROJECTS YOU ARE/WILL BE INVOLVED IN?
I'm currently involved in developing the model checking tool UPPAAL, but in the future I will hopefully also be involved in other projects in the DEIS group.
WHY DID YOU CHOOSE TO CONTINUE YOUR CAREER AT AALBORG UNIVERSITY?
I have previous experience working on ECDAR, another Model Checking tool, and working on an complex and performance intensive system is very interesting to me.
Contact Info