Biography

I work at the intersecion of cryptography and distributed protocols. I also have an interest in verification and logic transformations.

I currently develop and drive the effort for a distributed pricing interconnection system that utilizes data inference and other machine learning techniques. Feel free to contact me, to chat or join the team!

I worked at the DFINITY for some years, where I designed, proved and implemented the byzantnine consensus protocol; and formally analyzed it. I later worked on the overall replica runtime, and did a first prototype of user identity flows among other things. I improved performance 5-fold. At its peak the system handled billions of dollars of transactions per day.

Before, I worked with John C. Mitchell at Stanford Security and Theory Lab. In between, I worked as a Software Engineer responsible for the Core Security on a Distributed OS/Cloud Platform at Apcera focusing on Authentication and Distributed Key Management Mechanisms, Consensus Protocols and Policy Language. Before that I devoted my time working on distributed systems at AT&T - specifically on consensus optimization.

You can find my CV here.