Jed Liu
Jed Liu
Jed Liu
Founding Engineer
jed-harvey@uma.litech.org PGP key
About me

I am a recovering academic who enjoys taking ideas from programming languages (type systems, semantics, logic, &c.) and applying them to distributed systems and security. To give a flavour, some previous projects are listed below. Nowadays, I am having fun with an awesome team, building out the back end for Akita.

  • p4v, a tool for verifying P4 data planes (and a related tool for generating input/output tests).
  • Cyber–physical systems security, a collaboration between Cornell's CS, ECE, and MAE departments for developing verifiable security for collision avoidance in autonomous vehicles [ ECE project website ]
  • Fabric, a federated platform for securely storing and computing on shared information
  • Jif, a Java extension that protects data by controlling information flow
  • Swift, a framework for building secure web applications
  • JMatch, a Java extension with pattern matching and interruptible iterators
  • Polyglot, an extensible compiler framework
  • PolyJ, Java with bounded parametric polymorphism
Peer-reviewed publications
Technical reports and manuscripts
Professional activities