People
The Contraint Reasoning and Optimization group current consists of a total of seven persons.
Group Leader
Professor Matti Järvisalo
Team
Former members
- Postdocs: Bernhard Bliem (2017-2018), Brandon Malone (2012-2014), Alessandro Previti (2016-2018), Johannes P. Wallner (2016-2017)
- PhD students: Kari Rantanen (PhD 2021), Paul Saikko (PhD 2019), Jarkko Savela
- MSc students and interns: Tuukka Korhonen, Marcus Leivo, Jere Mustonen, Antti Röyskö, Roope Salmi, Pavel Smirnov
Visitors
Dr Johannes P. Wallner (Vienna University of Technology, Austria, 3/2018), Prof Mario Alviano (University of Calabria, Italy, 8/2017), MSc Neha Lodha (Vienna University of Technology, Austria, 3-5/2017), Prof Fahiem Bacchus (University of Toronto, Canada, 9-10/2016), Dr James Cussens (University of York, UK, 4/2015), Dr Brandon Malone (MPI, Germany, 4/2015)