Search this site
Embedded Files
Reed Oei
  • Home
  • Life of Reed Oei
  • Blog
    • Constructive Mathematics and Diaconescu's Theorem in Coq
    • Math Classes Should Be Less Useful
    • Coq (Part 3)
    • Coq (Part 2)
    • Coq (Part 1)
    • Why Prolog?
  • Publications
  • CV
Reed Oei
  • Home
  • Life of Reed Oei
  • Blog
    • Constructive Mathematics and Diaconescu's Theorem in Coq
    • Math Classes Should Be Less Useful
    • Coq (Part 3)
    • Coq (Part 2)
    • Coq (Part 1)
    • Why Prolog?
  • Publications
  • CV
  • More
    • Home
    • Life of Reed Oei
    • Blog
      • Constructive Mathematics and Diaconescu's Theorem in Coq
      • Math Classes Should Be Less Useful
      • Coq (Part 3)
      • Coq (Part 2)
      • Coq (Part 1)
      • Why Prolog?
    • Publications
    • CV

  • 2026 Scholarship Recipient Andy Sorg

    • this is Reed's father... this entry will be updated in June sometime with video of presentation and similar info as below.  I'm traveling thru early June.  You may contact me at scholarship@reedoei.com

  • 2025 Scholarship Recipient Theodore Berente

      • announced on Twitter

  • 2024 Scholarship Recipient Thomas Belcher

      • announced on Twitter

  • 2023 Scholarship Recipient Elijah Diller 

      • announced on Twitter

Google Sites
Report abuse
Page details
Page updated
Google Sites
Report abuse