Michael D. Nahas

I've been lucky enough to work in multiple fields. Sometimes for pay, sometimes for fun. Some results are below.

• A list of 15 Economic Recommendations for the City of Austin
• A website covering the economics of Austin's Housing Crisis
• Covered Interest Parity and Long-term Bonds Masters thesis
• Regression of land prices in Austin, Texas
• Report on Payday Lending Available for purchase
• Report on Infrastructure Spending Available for purchase
• Report on Gender Pay Gap Available for purchase
• Report on Behavior-Economics Techniques for Get-Out-the-VoteAvailable for purchase
• The Outlook for Formal Proof
• Overview of the Online Dating Market Available for purchase
• An old class project on scheduling computer resources using bidding

• Parity Volume Set Specification 2.0 (De-facto standard on Usenet, clients downloaded 10,000,000+ times)
• Easy Encryption Everywhere creates password-protected files
• Patent pending, U.S. Application Serial No. 13/741,793, Filed January 15, 2013
• Application Layer Multicast with Delaunay Triangulations, with Jörg Liebeherr and Weisheng Si, IEEE Journal on Selected Areas in Communications 20(8): 1472-1488, 2002. Available on CiteSeerX
• Application Layer Multicast with Delaunay Triangulations, with Jörg Liebeherr, Global Telecommunications Conference 3: 1651-1655, 2001.
• Data Cache Performance When Vector-Like Accesses Bypass the Cache Available on CiteSeerX
• Proof that my Delaunay Triangulation Algorithm is self-stabilizing in N dimesions version submitted to Mobihoc 2003
• Proof that my Delaunay Triangulation Algorithm is self-stabilizing in 2 dimesions unfinished, with Jörg Liebeherr
• Hypercast Design Document are available here

• Homotopy Type Theory book published with amazing people including Per Martin-Lof and Vladimir Voevodsky
• Mike Nahas's Coq Tutorial, in HTML or Coq
• I translated the tutorial's proofs to Agda.
• Reading HoTT in Coq, in PDF or Coq
• Decomposing Linear Algebra Draft available upon request
• Design for A Decentralized Proof-term Library for Coq presented at Coq Workshop 2013
• An English translation of the original book of Peano's Axioms, which I rescued from deletion, translated the math to modern notation and added commentary.

• How to Create Jigsaw Puzzles with a Lasercutter. (A fundraiser to fight gerrymandering.)
• Deciding Vote Percentage, a way to measure gerrymanding

• Git in the Classroom
• Outline for Data Structures Class taught at the University of Virginia
• Binary Search and Exclusive Upper Bounds

• Infinite Field Football, a way to compare teams playing American football.
• New First Down Probability explains Expected Points Added also analyzed American football.
• I collected my family's recipes
• An explanation of how the 12 Days of Christmas obfuscated-C program works