Sign In
Get Clay Free →

Suggestions

    Jacob Lorch

    Senior Principal Researcher at Microsoft

    Jacob Lorch is a distinguished computer systems researcher with a focus on distributed systems, software verification, trusted computing, privacy, cloud computing, and energy management.

    He is adept at building fault-tolerant systems and has contributed significantly to projects like SMART, Shroud, TrInc, Memoir, GreenUp, FARSITE, and IronFleet.

    An expert in Paxos and its variations, Jacob and his team achieved the first-ever implementation of Paxos with a machine-checked proof of safety and liveness in the IronFleet project.

    His work often integrates trusted computing to tackle intricate security and privacy challenges, as evidenced by projects like TrInc, Shroud, and Ironclad.

    Jacob Lorch completed his Doctor of Philosophy (Ph.D.) in Computer Science at the University of California, Berkeley, after obtaining a Bachelor's degree in Mathematics and Computer Science from Michigan State University.

    With a rich research background, Jacob held significant positions at Microsoft, including Senior Principal Researcher, Principal Researcher, Senior Researcher, and Researcher.

    Jacob Lorch
    Add to my network

    Location

    Bellevue, Washington, United States