2,107 reputation
917
bio website www-etud.iro.umontreal.ca/…
location Montréal, Québec
age 28
visits member for 4 years, 5 months
seen 3 hours ago

I am a Ph.D. student in complexity theory and formal verification at the ENS Cachan and the Université de Montréal under the direction of Alain Finkel and Pierre McKenzie. 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

73 Votes Cast

all time   by type   month   week  
72 up 25 question 5 1
1 down 48 answer