Current ISAC Team

The development of ISAC distributes over several institutes at several universities in several cities and so this page is particularly important for internal communication.

These people presently have a sub-project under construction:

Diana Meindl
does her Masters Thesis at RISC Linz under supervision of Wolfgang Schreiner. She improves previous work on cancellation of multivariate polynomials such that the resulting code can be integrated in the Isabelle distribution. She presents her work such that it can be translated to Isabelle/HOL's executable fragment in a straight forward manner.

Tom Zillinger
is a student of IICM under supervision of Christian Gütl. For his master thesis he works on a web interface for an assessment tool and combines this with web access for Isac. The Isac front-end will use Java Web Start such, that download fetches the web address of the server in order to connect front-end and server by Java RMI.

Gabriella Daróczy
studies Cognitive Science in Vienna and takes the first steps in improving ISAC's dialogues (which are just stubs before). She builds upon work just finished previously by Markus Kienleitner and Franz Kober (see Credits): ISAC's dialoges now are controlled by rules of a rule-based system; designing, implementing and testing the first set(s) of rules according to theories of Cognitive Science is her task.

Mathias Lehnfeld
uses experiences gained during his Bakk-Thesis and tackles a challenge: Make Isac run again reliably on the current Isabelle version, which has been parallelized in the meanwhile. He also improves Isac's response time by parallelizing the calls to Isac's math-engine.

---
Further sub-projects are currently in the pipeline; see suggestions for computer mathematics and for improving the front-end, and contact the [mailto:wneuper@ist.tugraz.at project leader] if interested in working within the Isac project.

.