Eleftherios  (Lef) Ioannidis

Software Engineer at Bridgewater Associates. Bachelors in MIT and Masters in MIT CSAIL with Frans Kaashoek and Nickolai Zeldovich, on Compilers and Formal Methods. Principal Engineer and then Software Architect for UnifyID.
I like Formal Methods, Programming Languages, Category Theory, Security and building secure, scalable systems. You can refer to my publications, talks, classes and open source work.