生物：

我是计算机科学博士生科罗拉多大学波德分校，建议人帕沃尔采恩.

我对编程语言在分布式系统中的应用很感兴趣。我在这一领域的目标是找到语言抽象，使分布式程序能够自然地编写、机械地验证，并非正式地将其视为传统的顺序程序。