Tiến sĩ Raghavendra Ramesh
VP phòng Nghiên cứu và Phát triển
Tiến sĩ Khoa học máy tính & Tự động
Viện Khoa học Ấn Độ
Tìm hiểu thêm
Tiến sĩ Raghavendra Ramesh có bằng Tiến sĩ Khoa học máy tính, chuyên về phương pháp chính thức (formal methods), từ Indian Institute of Science tại Bengaluru, Ấn Độ. Sau khi hoàn thành bằng tiến sĩ và một thời gian ngắn làm nghiên cứu sau tiến sĩ tại IIITB, Tiến sĩ gia nhập Oracle Labs tại Brisbane. Tại đây, ông đã làm việc trong lĩnh vực giao thoa giữa các phương pháp chính thức và an ninh mạng, phát triển các công cụ phân tích tĩnh để phát hiện các lỗ hổng bảo mật trong các thư viện mã Java lớn.
Tiến sĩ Raghavendra Ramesh bị thu hút bởi tiềm năng của công nghệ Blockchain và đã chuyển sang làm việc tại ConsenSys. Ông đã đóng góp cho hệ sinh thái Ethereum bằng cách phát triển các công nghệ Atomic Crosschain, chứng minh chính thức sự an toàn của các giao thức đồng thuận và tham gia vào các phương pháp tiếp cận không trạng thái của Ethereum.
Lấy cảm hứng từ Joshua Tobkin, CEO của Supra, ông đã tham gia vào team để cùng giúp sức thực hiện tầm nhìn tham vọng của Supra. Hiện tại, tiến sĩ đảm nhiệm vai trò Phó Tổng Giám đốc Nghiên cứu tại Supra, dẫn dắt các nhóm nghiên cứu trên các giao thức phân tán, ngôn ngữ lập trình và phương pháp hình thức (formal methods). Ông chuyên về Chuyển giao công nghệ: chuyển đổi lý thuyết nghiên cứu một cách hiệu quả và hiệu suất thành thực thi một cách mạnh mẽ.
Sở thích và chuyên môn
Việc kiểm tra nghiêm ngặt đã trở thành một phần không thể thiếu của bất kỳ dây chuyền sản xuất phần mềm nào. Nhưng nó chỉ có thể giúp chúng ta đến một mức độ nhất định. Việc bổ sung kiểm tra với các công cụ và kỹ thuật dựa trên phương pháp chính thức và phân tích chương trình có giá trị to lớn, đặc biệt khi mã nguồn phát triển tự nhiên và trở nên khổng lồ. Tôi theo đuổi đam mê trong lĩnh vực xác minh chính thức và phân tích chương trình để hiểu và nhận ra tính mạnh mẽ của phần mềm đối với tất cả các mối đe dọa có thể.
Việc đưa thêm tư duy khoa học vào một ngôn ngữ lập trình luôn giúp cộng đồng nhà phát triển có những bước nhảy vọt. Các điều kiện bảo đảm có hiệu lực ngay lập tức tại thời gian biên dịch (với các IDE thông minh ngay tại thời điểm lập trình!). Rust, Golang, Lập trình chức năng là những minh chứng cho điều này, và gần đây hơn là Movelang dành cho blockchain. Chúng tôi tại Supra muốn thúc đẩy và hướng dẫn các nhà phát triển cơ sở hạ tầng cũng như các nhà phát triển dapp hướng tới sự trừu tượng, dễ dàng và đơn giản hơn, nhưng đồng thời vẫn đảm bảo an toàn và hiệu suất.
Các giao thức phân tán là nền tảng của các hệ thống phần mềm hiện đại. Việc xây dựng và bảo mật những thiết kế cơ bản này rất quan trọng và ngày càng trở nên cần thiết hơn. Tại Supra, chúng tôi xem xét tất cả các giao thức phân tán từ góc độ gốc rễ và đóng góp những hiểu biết cốt lõi để cả ngành công nghiệp và cộng đồng đều được hưởng lợi.
Bình luận
CEO của chúng tôi, Joshua Tobkin, đã thấm sâu tư duy "nghiên cứu trước" vào tổ chức. Thông qua các sáng kiến, tư duy tiên phong và hiểu biết cốt lõi của mình, anh đã định hướng nhóm nghiên cứu hướng tới việc kết hợp sự hiểu biết sâu rộng với tính ứng dụng thực tế. Chúng tôi đã phát minh ra một nhóm giao thức đồng thuận có thông lượng cao, độ trễ thấp, có thể mở rộng để hỗ trợ định vị Supra là IntraLayer.
Chúng tôi đã suy nghĩ cẩn thận về động lực của giao thức bridge (Bridge Protocol) có độ bảo mật cao từ mô hình Rational thực tế hơn và tạo ra một nhóm giao thức bridge một cách cẩn thận cũng như phân tích chúng một cách nghiêm ngặt bằng cách sử dụng các kỹ thuật lý thuyết trò chơi.
Ấn phẩm nghiên cứu chọn lọc
Xem Trung Tâm Nghiên Cứu để biết thêm
2024
SupraTech | Whitepaper
Supra Containers: AppChains trên Layer 1
với Tiến sĩ Parwat Singh Anjana và Joshua D. Tobkin
SupraTech | PUBLICATION
Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
với Praveen Manjunatha & Isaac Doidge
2023
SupraTech | Whitepaper
HyperLoop: Rationally Secure Cross-chain Bridge
với {{DR_EASWAR_VIVEK_MANGIPUDI_NAME}} & Joshua D. Tobkin
SupraTech | Whitepaper
Dịch vụ Bridgeless HyperNova
với {{DR_EASWAR_VIVEK_MANGIPUDI_NAME}}
SupraTech | PUBLICATION
Moonshot Consensus: Đề xuất lạc quan (Optimistic Proposal) cho việc sao chép State Machine dựa trên Blockchain
với Isaac Doidge & Joshua D. Tobkin • Đọc Litepaper
2022
Giao dịch Chéo Chuỗi nguyên tử cho Các Sidechain của Ethereum
với (đồng tác giả) Research and Applications 3 (1), 100030
2017
Phân tích điểm đến lựa chọn hiệu quả có thể điều chỉnh cho các cơ sở mã lớn
với (Behnaz Hassanshahi, Padmanabhan Krishnan, Bernhard Scholz và Yi Lu •Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis
2012
Kiểm tra mô hình các tính chất dòng thông tin dựa trên đồng dạng cho các hệ thống với trạng thái vô hạn
với Behnaz Hassanshahi •European Symposium on Research in Computer Security
2011
Kiểm tra mô hình các tính chất dòng thông tin dựa trên dấu vết
với Deepak D'Souza, Raveendra Holla và Barbara Sprick • Journal of Computer Security 19 (1), 101-138
Tại Supra, chúng tôi muốn thúc đẩy và cố vấn cho các nhà phát triển cơ sở hạ tầng cũng như các nhà phát triển cấp dapp hướng tới sự trừu tượng, dễ dàng và đơn giản hơn, đồng thời vẫn đảm bảo an toàn và hiệu quả.
Tiến sĩ Raghavendra Ramesh
