1,695 reputation
814
bio website www-etud.iro.umontreal.ca/…
location Montréal, Québec
age 27
visits member for 4 years, 1 month
seen Sep 9 at 4:36

I am a Ph.D. student in complexity theory at the Université de Montréal and the École normale supérieure de Cachan under the direction of Pierre McKenzie and Alain Finkel. I am interested in computational complexity theory, in particular in the context of formal verification and automata theory. I am also interested in the role that algebra plays within these fields. My recent work deals with reachability problems in infinite state systems such as vector addition systems and well-structured transition systems.


This user has not asked any questions

53 Votes Cast

all time   by type  
52 up 17 question
1 down 36 answer