-
Notifications
You must be signed in to change notification settings - Fork 2
Expand file tree
/
Copy pathindex.html
More file actions
132 lines (103 loc) · 6.42 KB
/
index.html
File metadata and controls
132 lines (103 loc) · 6.42 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html>
<head>
<title>Michael D. Nahas's Professional Website</title>
</head>
<body>
<h1>Michael D. Nahas</h1>
<hr/>
<img src="michael_nahas_notie.jpg" alt="Photo of Michael D. Nahas" style="width:200px;height:200px">
<div>
<p> <b>Contact:</b> firstname@lastname.com or <a href="tel:+1-646-318-0208">+1 646-318-0208</a> </p>
<p> If you're wondering if this is the right Michael Nahas, read <a
href="bio.html"><b>my bio</b></a>.</p>
<p> <b>Find me elsewhere:</b>
<a href="blog/index.html">Blogs</a>
<a href="https://github.com/mdnahas">GitHub</a>
<a href="https://www.linkedin.com/in/michael-nahas-1012232">LinkedIn</a>
<a href="https://www.facebook.com/michael.nahas.7">Facebook</a>
<a href="https://twitter.com/michaeldnahas">Twitter</a>
</p>
</div>
<hr/>
<p>I've been lucky enough to work in multiple fields. Sometimes for pay, sometimes for fun. Some results are below.</p>
<p></p>Economics:
<ul style="margin-top:0px;">
<li>A <a href="doc/PensionReport_2025-11-20.pdf">Report on Austin's Borrowing from Pensions<a> that wastes $240M per year.</li>
<li>A list of 15 <a href="doc/Economic_Recommendations_for_Austin.pdf">Economic Recommendations for the City of Austin<a></li>
<li>A website covering the economics of <a href="HousingCrisis/index.html">Austin's Housing Crisis<a></li>
<li>Covered Interest Parity and Long-term Bonds <a href="doc/nahas_econ_masters_thesis.pdf">Masters thesis<a></li>
<li><a href="doc/austin_land_regression/index.html">Regression of land prices in Austin, Texas</a></li>
<li>Report on Payday Lending <i>Available for purchase</i></li>
<li>Report on Infrastructure Spending <i>Available for purchase</i></li>
<li>Report on Gender Pay Gap <i>Available for purchase</i></li>
<li>Report on Behavior-Economics Techniques for Get-Out-the-Vote<i>Available for purchase</i></li>
<li><a href="doc/market_analysis_2013.pdf">The Outlook for Formal Proof</a></li>
<li>Overview of the Online Dating Market <i>Available for purchase</i></li>
<li>An old class project on <a href="doc/EconomicSchedulerClassReport.pdf"> scheduling computer resources using bidding</a> </li>
</ul>
<p></p>Computer Science:
<ul style="margin-top:0px;">
<li><a
href="http://parchive.sourceforge.net/docs/specifications/parity-volume-spec/article-spec.html">
Parity Volume Set Specification 2.0<a> (De-facto standard on Usenet, clients downloaded 10,000,000+ times)</li>
<li><a href="EasyEncryptionEverywhere.html">Easy Encryption Everywhere</a> creates password-protected files</li>
<li>Patent pending, U.S. Application Serial No. 13/741,793, Filed January 15, 2013</li>
<li>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. <a
href="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.6848">
Available on CiteSeerX</a></li>
<li><a href="http://www.comm.toronto.edu/hypercast/papers/delaunay-short-submit.pdf">
Application Layer Multicast with Delaunay Triangulations, with
Jörg Liebeherr, Global Telecommunications Conference 3: 1651-1655,
2001.</a></li>
<li>Data Cache Performance When Vector-Like Accesses Bypass the Cache <a href="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.5447">Available on CiteSeerX</a></li>
<li>Proof that my Delaunay Triangulation Algorithm is self-stabilizing in N
dimesions <a href="doc/mobihoc_submission.pdf">version submitted to Mobihoc 2003</a></li>
<li>Proof that my Delaunay Triangulation Algorithm is self-stabilizing in 2
dimesions <a href="doc/DT_2D_proof_incomplete.ps">unfinished, with Jörg Liebeherr</a></li>
<li>Hypercast Design Document are available <a
href="http://www.comm.utoronto.ca/hypercast/">here</a> </li>
</ul>
<p></p>Math:
<ul style="margin-top:0px;">
<li><a href="http://homotopytypetheory.org/book/">Homotopy Type Theory book</a> published with amazing people including <a href="https://en.wikipedia.org/wiki/Per_Martin-L%C3%B6f">Per Martin-Lof</a> and <a href="https://en.wikipedia.org/wiki/Vladimir_Voevodsky">Vladimir Voevodsky</a></li>
<li>Mike Nahas's Rocq (formerly known as Coq) Tutorial ,
in <a href="doc/nahas_tutorial.html">HTML</a>
or <a href="doc/nahas_tutorial.v">Rocq</a> </li>
<ul style="margin-top:0px;">
<li>I translated the tutorial's proofs to <a href="doc/NahasTutorialModule.html">Agda</a> and <a href="doc/NahasTutorial.lean">Lean</a>.</li>
</ul>
<li>Reading HoTT in Coq,
in <a href="d
oc/Reading_HoTT_in_Coq.pdf">PDF</a>
or <a href="doc/Reading_HoTT_in_Coq.v">Coq</a> </li>
<li>Decomposing Linear Algebra <i>Draft available upon request</i> </li>
<li>Design for <a href="https://coq.inria.fr/files/coq5_submission_6.pdf">A Decentralized Proof-term Library for Coq</a> presented at Coq Workshop 2013</li>
<li>An <a href="https://github.com/mdnahas/Peano_Book/raw/master/Peano.pdf">English translation of the original book of Peano's Axioms</a>, which I rescued from deletion, translated the math to modern notation and added commentary.</li>
</ul>
<p></p>Advocacy:
<ul style="margin-top:0px;">
<li><a href="doc/jigsaw_puzzle/index.html">How to Create Jigsaw Puzzles with a Lasercutter.</a> (A fundraiser to fight gerrymandering.)</li>
<li><a href="doc/Deciding_Vote_Percentage_v1.pdf">Deciding Vote Percentage<a>, a way to measure gerrymanding</li>
</ul>
<p></p>Teaching:
<ul style="margin-top:0px;">
<li><a href="doc/Git_in_the_Classroom.html">Git in the Classroom<a></li>
<li><a href="doc/CS216Outline.html">Outline for Data Structures Class</a> taught at the University of Virginia</li>
<li><a href="doc/binary_search.html">Binary Search and Exclusive Upper Bounds<a></li>
</ul>
<p></p>Fun:
<ul style="margin-top:0px;">
<li><a href="http://community.advancednflstats.com/2014/06/infinite-field-football.html">Infinite Field Football<a>, a way to compare teams playing American football.</li>
<li><a href="doc/football/New_First_Down_Probability_explains_EPA.html">New First Down Probability explains Expected Points Added<a> also analyzed American football.</li>
<li>I collected <a href="doc/Moms_Recipes.html">my family's recipes<a></li>
<li>I read the Checklist Manifesto and made a <a href="doc/packing_checklist.html">packing checklist<a></li>
<li><a href="xmassong/index.html">An explanation</a> of how the <i>12 Days of Christmas</i> obfuscated-C program works</li>
</ul>
<hr/>
<br/>
<br/>
</body>
</html>