Department of Computer Science

Sean Kaufmann joins the Department of Computer Science, Aalborg University as a Postdoctoral Researcher in the Distributed, Embedded and Intelligent Systems (DEIS) group.

Meet Sean Kaufmann - New Postdoctoral Researcher in DEIS

Sean Kaufmann joins the Department of Computer Science, Aalborg University as a Postdoctoral Researcher in the Distributed, Embedded and Intelligent Systems (DEIS) group. His research area is runtime verification of safety-critical embedded software.

Last modified: 23.06.2021

Please welcome Sean Kaufmann, who has joined Aalborg University as Postdoctoral Researcher in the Distributed, Embedded and Intelligent Systems (DEIS) group.

Sean completed his Bachelor's degree from Goshen College in Indiana, US in 2005. After a year of volunteering in the Netherlands, he began work at a series of tech companies working as a software engineer in Seattle, WA, USA. First at CleverSet, a small startup, then ATG, a medium-sized company, then Oracle. 

During his time at Oracle, he also sat on the board of directors of a startup hardware company, VectorBlox, Inc. 

In 2014 he moved to Kitchener, Ontario, Canada, to pursue a Master's and subsequent PhD at the University of Waterloo. During his PhD, he was also employed as a lecturer both at the University of Waterloo and at Wilfrid Laurier University.

DESCRIBE YOUR AREA AND RESEARCH INTEREST:

- My research area is runtime verification, working with safety-critical embedded software. I am particularly interested in space systems.

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

- The research group here felt to me like a good environment for my personal and professional growth. My wife and I felt that Aalborg would be a good city in which to live, and we look forward to seeing how things look as the weather improves and the country reopens.

ANY FUN FACTS YOU?

- Since 2007, I have played dodgeball very regularly. I have a goal of starting a small dodgeball league in Aalborg once organized sports become possible again.


Connect with Sean

Department of Computer Science, Aalborg University

Selma Lagerlöfs Vej 300
9220 Aalborg East, Denmark

Questions and inputs to the intranet?