Ph. D. Candidate 

  Ralph HOFFMANN


E-Mail Address:  ralph.hoffmann@epfl.ch
Mailing Address:  Logic Systems Laboratory
IN-Ecublens
CH-1015 Lausanne
Switzerland
Phone Number:  +41-21-693 26 52
Fax Number:  +41-21-693 37 05

Last updated: April 2000, by H. F. Restrepo.
Logic Systems Laboratory, http://lslwww.epfl.ch