Hugues-Olivier Yar

Ph. student at Université Paul Sabatier in the Applied Logic Group of IRIT until august 1999

Currently at Alcatel, Paris

• RESEARCH TOPICS:
  • automated theorem proving

• PAPERS

• SOFTWARE:
  • LoTREC: a generic tool for non-classical tableau methods,
  • jdu: graphical unix 'du' command, written in Java
  • DocItEasy: a JavaDoc-like tool for C and Java

Email:  hugo@ssii.net

WWW:    http://www.irit.fr/ACTIVITES/EQ_ALG/Yar
        http://www.ssii.net/hugo