Peter Csaba Ölveczky
Professor,
Department of Informatics,
University of Oslo, Norway.
Research Interests
Rewriting logic.
Formal specification and analysis of all kinds of real-time systems.
Development of the
Real-Time Maude
language and tool supporting the formal specification and
analysis of real-time systems.
Introductory Book on Rewriting Logic for Distributed Systems
I have written an
introductory
textbook, Designing Reliable Distributed Systems,
on the use of rewriting logic and Maude
for specifying and analyzing distributed systems, including:
-
transport protocols
such as Alternating Bit and Sliding Window,
- classic distributed algorithms such as
2-phase commit, distributed leader election algorithms, distributed mutual
exclusion algorihms,
- and cryptographic protocols.
The book also covers the basics of
equational logic and term rewrite systems, including termination and
confluence,
equational logic and inductive theorems, and basics on their algebraic
models.
Since this is an introductory textbook it assumes no previous
knowledge of either
formal methods or distributed systems.
Page with known errors and Maude code of the examples
in the book.
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"
In Singapore and
the Grand Sumo tournament in Fukuoka (sitting next
to Musashimaru!), one from late 2018 in
Ouvéa (Kanaky/New Caledonia), one from
Singapore 2019, and finally one from
Georgia 2022.
Some Photos
peterol@ifi.uio.no
