Paolo A. G. Sivilotti

Paolo A. G. Sivilotti works on distributed systems (computer systems made of multiple communicating components) and formal methods for verifying that software behaves correctly, including concurrent programs that run multiple operations at once. His work also touches on how to teach programming concepts like modular reasoning and formal specification to computer science students. Prospective students would likely explore topics such as fault-tolerant communication protocols, failure detection, and rigorous verification techniques for concurrent code.

Publication output has been low and irregular over the last decade, with several zero-output years interspersed with single or occasional double publications, averaging under one paper per year recently.

Generated by claude-sonnet-5 from public bibliographic data · Jul 20, 2026