Sebastiaan JoostenLecturer, Department of Computer Science & Engineering
Minneapolis, MN 55455
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)
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.