Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types

Chia sẻ

Manage episode 331322505 series 2824530
Thông tin tác giả Galois Inc., Joey Dodds, and Shpat Morina được phát hiện bởi Player FM và cộng đồng của chúng tôi - bản quyền thuộc sở hữu của nhà sản xuất (publisher), không thuộc về Player FM, và audio được phát trực tiếp từ máy chủ của họ. Bạn chỉ cần nhấn nút Theo dõi (Subscribe) để nhận thông tin cập nhật từ Player FM, hoặc dán URL feed vào các ứng dụng podcast khác.

Today we're joined by Nikhil Swamy, Senior Principal Researcher in the RiSE group at Microsoft Research. We are very excited to hear about what he's been working on. In particular, we're going discuss a language that he's co-created and continually develops called F* (pronounced F star). F* is a dependently typed language that you can both program and prove things about the programs that you write. We'll talk about what makes that language special and unique from other similar languages, as well as some of the applications of F*.

Watch all our episodes on the Building Better Systems YouTube channel

Nikhil Swamy: https://www.microsoft.com/en-us/research/people/nswamy/

F*: https://www.fstar-lang.org/

Joey Dodds: https://galois.com/team/joey-dodds/

Shpat Morina: https://galois.com/team/shpat-morina/

Galois, Inc.: https://galois.com/

Contact us: podcast@galois.com

22 tập