Peter Csaba Ölveczky

Peter Csaba Ölveczky

Professor, Department of Informatics, University of Oslo, Norway.

Visiting scholar, Department of Computer Science, University of Illinois at Urbana-Champaign.

Research Interests

Rewriting logic.
Formal specification and analysis of all kinds of real-time systems, including wireless sensor network and scheduling algorithms.
Development of the Real-Time Maude 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