Andre Engels homepagina
There is also an english
version of this page.
Laat ik me eerst eens voorstellen:
Andre Engels
Purcellstraat 45
5653 AW Eindhoven
tel.: 040-2474628 (werk),06-27174384 (mobiel)
email: engels@win.tue.nl
ICQ: 6260644
PGP Public Key
Ik ben AIO aan de TUE (Technische
Universiteit Eindhoven), faculteit wiskunde
en informatica, zwaartepunt Formele
methoden. Ik bestudeer daar de toepassing van Temporele Logica voor
Message Sequence
Charts. Eind augustus 1996 ben ik op de RUG
(Rijksuniversiteit Groningen) bij Gerard Renardel de Lavalette afgestudeerd
op het onderwerp 'Volledigheid en Correctheid van MLCM'.
Hier zijn mijn publicaties
Maar wat ik het liefst doe is... Spelletjes! Heel veel spelletjes!
Enkele van mijn favorieten zijn:
Ook op deze site: Discoverers
web, met informatie over ontdekkingsreizen.
