Patrick Eugster

Università della Svizzera italiana (USI)
Faculty of Informatics
Via la Santa 1
CH-6900 Viganello
Phone: +41 58 666 4913
Fax: +41 58 666 4536
Office: Campus EST, Office D2.07


I'm a full professor at USI where I lead the Software Systems (SWYSTEMS) group. SWYSTEMS is part of USI's Computer Systems Institute, of which I am a founding member and current director. Prior to that I was a regular faculty member at Purdue University (2005 - 2016) and TU Darmstadt (2014 - 2017). I have also been a visiting faculty member at MIT (2012/2013). I had the privilege to serve as program chair of ACM OOPSLA'15. Throughout the years I had the pleasure to collaborate with, and receive support from, several corporate partners including Amazon, Cisco, Facebook, Google, HP, IBM, NetApp, and SAP.

I'm interested in various aspects of distributed software systems. Distribution is here to stay as it is a choice often made consciously to address limitations of single computers (e.g., to parallelize computations), but, almost more importantly, it is frequently a given with applications allowing humans to interact directly or indirectly through respective devices. Challenges arise from the need of achieving efficiency without forfeiting consistency in corresponding applications, in the presence of failures and security threats.


02/24  Paper on first steps towards quantum network specification and verification accepted at ACM PLDI'24
12/23  Startup project Securified ranked third place at
BoldBrain startup challenge
12/23  Paper on network function chain scheduling leveraging reinforcement learning accepted at IEEE INFOCOM'24
11/23  Seed grant from Hasler Foundation for our work on quantum network specification and verification
10/23  Paper on robust control for 6G Networks to appear in IEEE Network
10/23  Talk on mediating between different security mechanisms and guarantees at workshop on software abstractions for hardware security
08/23  Paper on CHC model validation with proof guarantees accepted at iFM'23
07/23  Paper on challenges in quantum network verification accepted at QuNet'23
05/23  Keynote talk on confidential computing at ACM DEBS'23
04/23  Paper on mechanism-independent confidentiality-preserving data analytics accepted at ACM PLDI'23
03/23  Paper on control theory for data center network congestion control to appear in IEEE Transactions on Parallel and Distributed Systems


Please check DBLP or similar sites.

Ongoing projects

Some past projects

Some upcoming and recent events

Current team members (by role and alphabet. order)

Former team members (by role and chronol. order)

Awards, fellowships, and honors