Raj and Neera Singh Term Assistant Professor
Levine Hall, Office 604
3330 Walnut Street
Philadelphia, PA 19104
Email: sebastian.angel at cis.upenn.edu
Phone: +1 (215) 898-9252
Public key: sga (on keybase)
I'm an assistant professor of Computer and Information Science at UPenn, and I'm part of the Distributed Systems Laboratory. I also run Penn's security reading group. Prior to joining Penn, I was a visiting academic at NYU's Courant Institute of Mathematical Sciences, and spent a lot of time working with amazing folks at Microsoft Research in the Cambridge, Redmond, and New York City labs.
My work studies different aspects of systems, security, privacy, and networking. I'm particularly interested in:
My recent projects include a messaging system that hides communication metadata from all network and service providers, and a framework for building concurrent state machines that can prove their state transitions in zero-knowledge (an application of this is a banking service that can prove to regulators that it is processing transactions correctly without revealing the parties or amounts involved in a transaction).
Deferred Runtime Pipelining for contentious multicore software transactions
Proving the correct execution of concurrent services in zero-knowledge
PIR with compressed queries and amortized query processing