team |
Simone Atzwanger, BScI am a computer science student at the Johannes Kepler University Linz. Currently I am working on my bachelor thesis, in which I design logic games suited for teaching logic. Contactsimone.atzwanger@jku.at.at AddressInstitute for Formal Models and Verification |