Daria Spescha

I am a PhD student in the research group for Theoretical Computer Science and Logic at the Institute for Computer Science and Applied Mathematics at the University of Bern. I am currently working with weak systems for explicit mathematics and operational set theory.

For my master thesis I developed ALOE, a graphical editor for OWL ontologies.

I work as teaching assistant for the following lectures:

Programmierung 1: → Homepage
Praktikum Software Engineering: → Homepage

Universität Bern
Institut für Informatik und angewandte Mathematik
Neubrückstr. 10, 3012 Bern
Office 110
Phone: +41 (0)31 631 86 46
spescha@iam.unibe.ch
PGP-Public Key