Sở thích và chuyên môn

Tôi có một niềm đam mê sâu sắc về lập trình chính xác. Tôi đã hoàn thành luận văn tốt nghiệp của mình trong lĩnh vực Program Analysis kết hợp với Oracle Labs Australia. Kể từ khi gia nhập Supra, tôi đã chuyển hướng nhiều hơn sang Hệ thống phân tán. Nghiên cứu của tôi đã tập trung nhiều vào các giao thức Byzantine Fault Tolerant, bao gồm các giao thức cho State Machine Replication và Verifiable Data Dissemination.

Bình luận

Công việc của tôi tại Supra chủ yếu tập trung vào việc phát triển các thuật toán và giao thức mới cho ứng dụng trong hệ thống phân tán của chúng tôi. Điều này bao gồm việc nghiên cứu các công nghệ tiên tiến nhất hiện nay, đổi mới các thiết kế mới và thể hiện chúng trong các thông số kỹ thuật chính thức. Tôi chuyển đổi các thông số kỹ thuật này để triển khai proof of concept và sử dụng chúng để đánh giá thiết kế của chúng tôi. Tôi cũng làm việc cùng với đội ngũ kỹ sư để tích hợp công việc của chúng tôi vào hệ thống của Supra.

Ấn phẩm nghiên cứu chọn lọc