mdnahas.github.io/bio.html at master · mdnahas/mdnahas.github.io · GitHub

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
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html>

<head>
<title>Biography for Michael D. Nahas</title>
</head>

<body>
<h1>Biography for Michael D. Nahas</h1>

<img src="michael_nahas_notie.jpg" alt="Photo of Michael Nahas" style="width:300px;height:300px">


<p> <i>This is not meant to be an accurate biography - it's meant for people
who said &quot;Is this the right Michael Nahas, that I knew from
XXX?&quot;</i> </p>

<h2> Where I've lived and worked </h2>

<p> I was born in Indiana, but moved to Pennsylvania at age 3.  I
lived in Reading, PA until I was 10 and then moved to Allentown, PA.
I played soccer and went to summer camp at CTY in Lancaster, PA.  At 17,
I moved to Austin, TX, where I finished high school. </p>

<p>  I did my undergraduate in Computer Science at Notre Dame from 1991 to
1995.  During that time, I worked summers in Austin at Motorola and
spent the Spring of 1994 in London, UK.  I did my graduate work in
Computer Science at the University of Virginia from 1995 to 2001.  I
taught one summer for The Center for Talented Youth at the Franklin
and Marshall Campus in Lancaster, PA. </p>

<p>  I spent 2001 to 2002 in Austin.  From 2002 to 2004, I lived in Eden
Prairie, MN and worked at Architecture Technology Corp..  From there,
I moved to NYC and worked for Broadway Technology LLC from 2004 to
2007. Some of that time was spent at Cantor Fitzgerald as a
consultant.  I spent the spring and summer of 2007 in Berkely, CA
sailing on San Francisco Bay.  From 2007 to 2010, I was back in NYC
working for Walleye Trading LLC.  In 2011, I went to work for Tower
Research LLC and then in 2012 for OkCupid.com. </p>

<p>  In 2012 and 2013, I researched writing mathematical proofs on a
computer.  I started working in NYC, but then became a Visitor at the
Institute for Advanced Study in Princeton, NJ.  In the summer of 2013,
I spent 90 days in Nijmegen, the Netherlands while working with
researchers at Radboud University Nijmegen. </p>

<p> In late 2013, I moved to Austin, TX to help my brother who had
fractured his femur.  In 2014, I was working at the Capital Factory
and sitting in on classes at UT Austin.  I did some work at
RetailMeNot before returning to school for a Masters in Economics at
University of Texas at Austin, from 2015 to 2017.

Since 2018, I've been working with <a href="https://aura-atx.org/">AURA</a>, a non-profit focused on housing and transportation in Austin.</p>

<hr/>
<h2> What I've worked on </h2>

I've worked on many things, but a few professional interests are:

<ul>
  <li>Urban Economics</li>
  <li>International bond prices</li>
  <li>Predicting stock prices</li>
  <li>Distributed systems</li>
  <li>Formal proof and Interactive theorem provers</li>
  <li>Reverse engineering and obfuscation of programs</li>
  <li>Delaunay triangulation</li>
  <li>Data recovery</li>
  <li>Software transactional memory</li>
  <li>Graph theory</li>
  <li>Type theory</li>
  <li>Elegant programming</li>
</ul>

Some amateur interests are:

<ul>
  <li>&quot;Sabermetrics&quot; for American football</li>
  <li>The scientific method</li>
  <li>Non-parametric statistics</li>
  <li>Education measurement and funding</li>
  <li>Better writing about mathematics</li>
  <li>Intellectual property law</li>
  <li>Rhetoric</li>
</ul>

<hr/>
<a href="./index.html">My professional website.</a>

</body>

</html>