Sebastiaan Joosten

Sebastiaan Joosten
Lecturer, Department of Computer Science & EngineeringContact
Lind Hall Room 300E 207 Church Street SeMinneapolis, MN 55455
Education
University Teaching Qualification, University of Twente (2020)
Ph.D. in Computer Science, Technical University of Eindhoven (2016)
M.S. Applied Mathematics, University of Twente, Enschede (2011)
B.S. Applied Physics, University of Twente, Enschede (2009)
Professional Background
Sebastiaan Joosten joined the Department of Computer Science & Engineering as a lecturer in 2022. He received his M.S. (2011) in applied mathematics from the University of Twente, Enschede and his Ph.D. (2016) in computer science from the Technical University of Eindhoven. Prior to joining the University, Joosten was a postdoctoral researcher at the University of Innsbruck from 2016-17 and at the University of Twente from 2017-18. He also served as an assistant professor at the University of Twente from 2018-19 and as a lecturer at Dartmouth College from 2020-22.
Joosten’s teaching interests lie in automated reasoning and formal methods.
Research Division
Computing Education