Former Group Members and Visitors
Former PhD Students
- Toghrul Karimov, PhD 2024
- Mehran Hosseini, PhD 2021 (co-supervised with James Worrell)
- João Sousa Pinto, PhD 2017 (co-supervised with James Worrell)
- Ventsi Chonev, PhD 2016 (co-supervised with James Worrell)
- Vincent Nimal, PhD 2015 (co-supervised with Daniel Kroening)
- Hsi-Ming Ho, PhD 2015
- Daniel Bundala, PhD 2014
- Hristina Palikareva, PhD 2012
(co-supervised with Bill Roscoe)
- Christoph Haase, PhD 2012
- Ed Blakey, PhD 2011
(co-supervised with Bob Coecke)
Former Postdocs
- Bertrand Teguia, 2023
- Armand Noubissie,
- Sandra Kiefer, 2022
- David Purser, 2020-2022
- Mahadi Ddamulira, 2020-2021
- Edon Kelmendi, 2019-2022
- Filip Mazowiecki, 2019-2022
- Eike Neumann, 2019-2021
- Markus Whiteland, 2019-2021
- Reino Niskanen, 2019-2020
- Christian Ikenmeyer, 2019
- Engel Lefaucheux, 2018-2021
- George Kenison, 2018-2021
- Pavel Semukhin, 2018-2019
- Johar Ashfaque, 2017-2018
- Ventsi Chonev, 2017-2018
- Shaull Almagor, 2016-2019
- Dmitry Chistikov, 2016-2017
- Nathanaël Fijalkow, 2015-2016
- Amaury Pouly, 2015-2018
- Timos Antonopoulos, 2012-2014
- Rémi Bonnet, 2012-2014
- Andreas Gaiser, 2011
- Mark Timmer, 2010
- Bjoern Wachter, 2010-2014
- Jade Alglave, 2009-2012
- Michael Tautschnig, 2009-2013
- Stefan Kiefer, 2009-2013
- Lijun Zhang, 2009-2010
- Gilles Geeraerts, 2008
- Phil Armstrong, 2007-2011
- Axel Legay, 2006
Former Visitors
- Florian Luca, 2020, 2021, 2022, 2023
- James Worrell, 2018, 2019, 2020, 2021, 2022, 2023
- Philippe Schnoebelen, 2011-2012
- Alexander Rabinovich, 2009-2010
- Patricia Bouyer, 2006-2007
Former Master's Students
- Anton Varonka, MSc 2021
- Felix Arends, MSc (Distinction) 2009
- Julia Erhard, MSc (Distinction) 2009
(co-supervised with James Worrell)
- Rastislav Lenhardt, MSc 2009
(co-supervised with James Worrell)
- Pornsook Kornkitichai, MSc 2007
- Guo Xi, MSc 2007
- Sara Adams, MSc (Distinction) 2006
- Tao Zhang, MSc 2006
(co-supervised with James Worrell)
- Yiding Liu, MSc 2005
- Murray Stokely, MSc 2005
- Bo Wang, MSc 2005
- Xiaoming Zhong, MSc 2005
Back to Joël Ouaknine's
home page
Imprint / Data Protection