Peter Csaba Ölveczky

• Designing Reliable Distributed Systems
• Formal Aspects of Component Software
• Formal Aspects of Component Software
• Formal Techniques for Safety-Critical Systems
• Logic, Rewriting, and Concurrency
• Rewriting Logic and Its Applications
• Theoretical Aspects of Computing - ICTAC 2021