Aylex
Beigetreten 13. Juli 2006
Interessen:
- Mathematik, insbesondere Topologie, Logik, mathematische Grundlagen der Informatik
- Formale Methoden in der Informatik, insbesondere im Bereich Informationssicherheit
Momentane Beschäftigung:
- Nach einem Mathematikstudium Promotion in der Informatik
- Verfassen des Buches Topologie