Theoretical computer science researcher. Researching interactions in multi-party systems ensuring safety properties. Investigated language comparisons and type systems through correct encodings.
Browse student work on Vaultt · Jobs · Challenges