관심사와 전문 지식

저는 올바른 프로그래밍에 깊은 관심을 가지고 있습니다. Oracle Labs Australia와 협력하여 프로그램 분석 분야에서 우수 논문을 완료했습니다. Supra에 합류한 이후, 제 초점은 분산 시스템으로 더 옮겨졌습니다. 제 연구는 상태 기계 복제 및 검증 가능한 데이터 전파를 포함한 비잔틴 내결함성 프로토콜에 중점을 두고 있습니다.

코멘트

Supra에서 제 작업은 주로 분산 시스템에서 적용할 수 있는 새로운 알고리즘과 프로토콜 개발에 초점을 맞추고 있습니다. 여기에는 현재 최첨단 기술을 연구하고, 새로운 디자인을 혁신하며, 이를 형식적 사양으로 구체화하는 작업이 포함됩니다. 저는 이러한 사양을 개념 증명 구현으로 변환하고, 이를 사용하여 우리의 디자인을 평가합니다. 또한, 엔지니어링 팀과 협력하여 우리의 작업을 Supra의 생산 시스템에 통합합니다.

선별 연구 발표 자료