Patrick Eugster

Università della Svizzera italiana (USI)
Faculty of Informatics
Via alla 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, and currently am serving as associate editor for IEEE TSE. 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.

08/10  Paper on CHC model validation with proof guarantees to appear at iFM'23
07/23  Startup project Securified selected for BoldBrain accelerator program
07/23  Paper on challenges in quantum network verification to appear at QuNet'23
05/23  Keynote talk on confidential computing at ACM DEBS'23
04/23  Paper on mechanism-independent confidentiality-preserving data analytics to appear 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
12/22  Paper on faster symbolic model checking for TLA+ accepted at TACAS'23
12/22  Seed grant from Hasler Foundation for our work on network function chaining
09/22  Paper on secure smart contracts to appear in ACM Transactions on Privacy and Security
07/22  Project on cross-platform integry preservation supported by award from Facebook Research in Security
07/22  EU Marie Curie Actions Staff Exchange project on data center computing funded
07/22  Paper on secure and reliable network updates to appear in ACM Transactions on Privacy and Security

Several open positions at the PhD student and postdoctoral levels on a broad collaboration on datacenter computing with SAP!


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