Software engineer @ Facebook. Author of several research publications in the areas of programming languages and computer security.