내 연구는 프로그래밍 언어 연구에 중점을두고 있습니다.프로그램 확인andSemanticsCoalgebra, Kleene Algebra, 반복 이론및카테고리 이론. 저의 관심사는 보안, 확률 컴퓨팅, 소프트웨어 정의 네트워크, 분산 시스템, 동시성 및 소프트웨어 테스트를 포함한 여러 응용 프로그램 도메인에 걸쳐 있습니다.

현재, 나는 다음과 관련된 질문에 관심이 있습니다.

• 제어 흐름 변환, 디 컴파일러의 복잡하고 오류가 발생하기 쉬운 구성 요소;
• 속성 기반 테스트, 단위 테스트를 생성하는 편리하고 효과적인 방법;
• 소프트웨어 정의 네트워크, 분산 계산, 동시성66726_66818

내 연구의 이론적 측면은 (CO) 대수에 중점을 둡니다 (때로는 심지어Bialgebraic!) 프로그래밍 언어 및 시스템의 의미론. 나는 생산에 관심이있다구성 프레임 워크and 재사용 가능한 결과 Universal (CO) 대수 및 카테고리 이론과 같은 수학 기술을 활용하여

WPI에 합류하기 전에 저는 University College London 's의 박사후 연구 연구원이었습니다PPLV 그룹, 교수와 협력Alexandra Silva. 박사 학위를 받았습니다. 보스턴 대학교에서 학위, 교수와 협력Marco GaboardiandArthur Azevedo de AmorimKLEENE ALGEBRA. 그 전에 저는 Wheaton College (MA)의 수학 학부 연구를 마쳤습니다.William BlochRochelle Leibowitz. 

직장 밖에서 나는 음식, 요리, 커피를 탐험하고 가족과 함께 시간을 보내고 토끼와 어울리는 것을 즐깁니다. 나는 파머의 시장, 거리 시장, 도서관, 대중 교통 (기차!) 및 스리프를 좋아합니다.