Peter Csaba Ölveczky
Department of Informatics,
University of Oslo, Norway.
Visiting scholar, Department
of Computer Science,
University of Illinois at
Formal specification and analysis of all kinds of real-time systems, including
wireless sensor network and scheduling algorithms.
Development of the
language and tool supporting the formal specification and
analysis of real-time systems.
More Recent "Press Photos"
From the last couple of years: in Singapore and
the Grand Sumo tournament in Fukuoka (sitting next to Musashimaru!)
Life at the University