Home I’m Heili. I can run down stairs really fast. Click here for more info about me. Projects The Fundamental Theorem of Asynchronous Distributed Models in Intuitionistic Logic Wait-Free Task Solvability of Asynchronous Distributed Models DisClosure: Decentralized Semantics and Verification for Languages with Closures Formalizing May’s Theorem Eva: Type Systems for Functional Reactive Programming Salvia: Secure Aggregation for Federated Learning in Flower Talks The Asynchronous Computability Theorem - A Marriage Between Distributed Systems and Algebraic Topology Understanding the Source Coding Theorem - A Talk on Shannon’s Entropy Misc CV (Last updated: August 2023) Photo (2023 May Bumps) Other stuff