Axel Legay

Office: Institut Montefiore (B28), R74
Postal: Université de Liège; Sart Tilman, Institut Montefiore (B28); B-4000 Liège; BELGIUM
Phone: +32-4-3664814 (office)

Fax: +32-4-3662620
Email: legay@montefiore.ulg.ac.be

CV

My CV is available here .

My research interests include verification methods for reactive and concurrent programs based on an automata-theory approach. See the link

for more details.