ARG: Automated Reasoning Group

I am extremely lucky to work with:

  • Fedor Shmarov (PhD, 10/2013 - 10/2017; Postdoc, 11/2017 - 10/2020)
  • Bowen Li (Postdoc, 05/2016 -)
  • Marco Lewis (PhD, 10/2020 - 08/2024)

    Former ARGs


    Home