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.

Masteroppgaver

Jeg veileder gjerne både korte og lange masteroppgaver, gjerne innen modellering av ting og tang i Maude. Enten velger man selv felt/problemstilling man er interessert i, eller så kan jeg foreslå oppgaver, for eksempel innen formalisering av modelleringsstandarder for utvikling av flysystemer, modellering av avanserte skeduleringsprotokoller for multicore systemer utviklet ved UIUC, cloud computing systemer, etc. Ta kontakt hvis du er interessert.

More Recent "Press Photos"

From the last couple of years: in Singapore and the Grand Sumo tournament in Fukuoka (sitting next to Musashimaru!)

Miscellaneous

Life at the University



peterol@ifi.uio.no