ARG: Automated Reasoning Group
I am extremely lucky to work with:
- Fedor Shmarov (PhD, 10/2013 - 10/2017; Postdoc, 11/2017 -)
- Bowen Li (Postdoc, 05/2016 -)
- Martin Sidaway (PhD, 10/2017 -)
- Konstantinos Georgopoulos (PhD, 06/2018 -)
- Dinika Paramalingam (PhD, 09/2018 - 03/2023)
- Marco Lewis (PhD, 10/2020 -)
Former ARGs
Home