Researcher in distributed data systems and security, author, software engineer, and entrepreneur at University of Cambridge

algorithm, annette bieniusa, bracket, communication protocol, computer programming, consensus (computer science), discrete time and continuous time, distributed computing, formal verification, function (mathematics), functional programming, ig20, igl137, ignite, ignite 2020, kevin jahns, martin kleppmann, mathematical induction, microsoft, microsoft ignite, microsoft ignite 2020, microsoft ignite live, ms ignite, ms ignite 2020, msft ignite, msft ignite 2020, number, parameter, parameter (computer programming), pattern matching, programming language, pseudocode, recursion, reserved word, software bug, software testing, subroutine, system, the future of data systems | igl137, truth, undecidable problem

We use cookies on this website to enhance your browsing experience, measure our audience, and to collect information useful to provide you with more relevant content. By continuing to use this website, by closing this box, or by clicking here, you are indicating your consent to our use of cookies.