Michael Blondinless info
|visits||member for||4 years|
|seen||2 days ago|
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.
|bio||website||www-etud.iro.umontreal.ca/…||visits||member for||4 years|
|location||Montréal, Québec||seen||2 days ago|
53 Votes Cast
|all time||by type|