Patrick Eugster

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

Welcome

Ciao! 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). 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, 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.

News

09/25  Papers on synchronous consensus and confidential analytics accepted at ACM SoCC '25
09/25  R. Otoni joins University of Groningen as assistant professor. Congrats!
09/25  Joining the program committee of ACM/USENIX/IFIP Middleware'26
08/25  Paper on verification of quantum network protocols accepted at ACM OOPSLA '25
06/25  Paper on reliable failure detection in datacenters accepted at USENIX ATC '25
06/25  Joining the program committee of ACM PLDI '26
05/25  TACAS '25 paper on validation of unsatisfiability of Horn clauses receives best paper award
04/25  Paper on lightweight probabilistic broadcast (IEEE DSN '01) receives IFIP Jean-Claude Laprie Award in Dependable Computing '25
04/25  Paper on datacenter network microburst analysis accepted at ACM SIGMETRICS '25
03/25  Paper on deterministic data paths for 6G accepted at IEEE Network
02/25  S. Mangipudi awarded SNSF Bridge Proof of Concept grant for our work on secure cloud-based data processing. Congrats!
01/25  Paper on validation of CHC satisfiability accepted at ACM Formal Aspects of Computing
01/25  Paper on building systems around security policies accepted at IEEE Security & Privacy
12/24  Elected to join the Research Council of the Swiss National Science Foundation
12/24  Paper on more efficient TCAM encoding accepted at IEEE INFOCOM '25
12/24  Paper on validation of unsatisfiability of Horn clauses accepted at TACAS '25
10/24  P. Chuprikov joins Télécom Paris, Institut Polytechnique de Paris as assistant professor. Congrats!
09/24  Paper on revisiting web caching accepted at ACM HotNets '24

Publications

Please check DBLP or similar sites.

Ongoing projects

Current team members (by role and alphabet. order)

Former team members (by role and chronol. order)

Awards, fellowships, and honors