-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
139 lines (128 loc) · 7.2 KB
/
index.html
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
133
134
135
136
137
138
139
<!DOCTYPE html>
<html>
<head>
<title>Alex Iverson's Resume</title>
<link rel="stylesheet" href="resume.css" />
<style type="text/css" media="screen">
#name {
margin-left: auto;
margin-right: auto;
margin-bottom: 0px;
text-align: center;
font-size: 250%;
}
#contact table{
margin-left: auto;
margin-right: auto;
align-content: center;
}
#contact td:first-child {
text-align: right;
padding-right: 5px;
}
#contact td:last-child {
text-align: left;
padding-left: 5px;
}
#info {
margin-left: 5%;
margin-right: 10%;
}
#info > h2 {
border-width: 1px;
border-color: #33A;
border-style: solid;
border-top-left-radius: 5px;
border-top-right-radius: 5px;
margin-bottom: 0px;
padding-left: 5px;
}
#info > div {
margin-top: -1px;
padding-top: 5px;
padding-left: 2%;
border-width: 1px;
border-color: #33A;
border-style: solid;
border-bottom-left-radius: 5px;
border-bottom-right-radius: 5px;
margin-bottom: 10px;
}
#info p {
padding-right: 1%;
}
.clearfix {
clear: both;
}
</style>
</head>
<body>
<h1 id="name">Alex Iverson</h1>
<div id="contact">
<table>
<tr><td>email:</td><td><a href="mailto://[email protected]">[email protected]</a></td></tr>
<tr><td>phone:</td><td>(970)443-8979</td></tr>
<tr><td>github:</td><td><a href="https://github.com/aiverson">github.com/aiverson</a></td></tr>
</table>
</div>
<div id="info">
<h2>Employment History</h2>
<div>
<h3>Fundament Software — <span>Spring 2020 - Present</span></h3>
<p>Pioneered a new user interface library using advanced metaprogramming techniques for both ease and performance.</p>
<h3>LIGO — <span>Spring 2020 - Winter 2020</span></h3>
<p>Optimized and refactored the existing OCaml interpreter, and built a prototype Michelson compiler in Terra with a 100x performance improvement.</p>
<h3>MultiMedia LLC — <span>Summer 2019 - Winter 2019</span></h3>
<p>Analyzed race-conditions and performance issues in a postgreSQL-based python ORM. Helped maintain the Django webserver.</p>
<h3>Block-G LLC — <span>Summer 2018 - 2019</span></h3>
<p>Founder, Owner, developer writing front end, backend, and system code in various languages. The project is a distributed programming game suitable for use in educational and research contexts. Skills include realtime data analytics, security, compiler internals and sandboxing, and scalability.</p>
<h3>Microsoft — <span>Summer 2017</span></h3>
<p>Software Development Intern writing C# for the Common Data Service. I was an independent developer running the project to create an integration layer between CDS and the Azure Search Service allowing querying on databases with millions of records and shared tenancy for smaller stores. This service is intended to form an internal layer to build consumer facing interfaces.</p>
<h3>Virginia Tech Transportation Institute — <span>Spring 2017</span></h3>
<p>Development and creation of core algorithms for a GIS app tracking traffic redirection around roadwork.</p>
<h3>Virginia Tech Transportation Institute — <span>Summer 2016</span></h3>
<p>Research and development of an app for Android to detect potholes in roads based on IMU data. After researching pothole detection algorithms in the current literature, I was part of a team of two that implemented and tested those algorithms. Using our mathematical background, we then implemented and tested our own ideas. The app was written in Java.</p>
<h3>Oildex — <span>Summer 2015</span></h3>
<p>Webapp development for managing payments and logistics. I worked on a small team and performed a wide variety of duties including automation, UI, front-end, and back-end work. I used javascript, HTML, and Scala.</p>
<h3>Neaera Consulting — <span>Summer 2014</span></h3>
<p>GIS app for Windows 8 and Windows Phone. I was in charge of writing a data abstraction and rendering layer suitable for offline mapping. I wrote in C# and XAML.</p>
<h3>Virginia Tech Transportation Institute — <span>Summer 2014</span></h3>
<p>Developer maintaining and enhancing a web application for collecting and viewing research data. I worked on both front-end and back-end development in Groovy and HTML.</p>
</div>
<h2>Experience</h2>
<div>
<p>I made significant contributions to the core <a href="https://terralang.org/">Terra</a> syntax and am one of the members in charge of designing and implementing the standard library.</p>
<p>I have written <a href="https://github.com/aiverson/luaExtensions">extensions</a> to the Lua compiler and interpreter. I implemented spread access and safe access operators inspired by Groovy.</p>
<p>I wrote <b>Computer Vision</b> applications for FRC and the sparkfun AVC using <b>OpenCV</b>. I have written code for identifying a variety of targets including red balloons, squares of reflective tape, and yellow totes. I have also used CUDA hardware acceleration on a Jetson TK-1. I have written several articles about these including two articles about <a href="http://pleasingsoftware.blogspot.com/2014/06/hardware-accelerated-opencv.html">configuring the Jetson board</a> and <a href="http://pleasingsoftware.blogspot.com/2014/06/identifying-balloons-using-computer.html">tracking balloons.</a></p>
<p>I have been participating in first robotics competitions for over a decade, including four years of high school level robotics, qualifying for the world championships six times. I have been primarily the lead programmer but have also gotten experience in mechanical engineering, electrical engineering, fabrication, and business/logistics.</p>
<p>I <b>embedded Lua</b> on a C++ base for my FRC Team to use during the 2015 season. I created a custom API wrapping for Lua to the robot hardware libraries.</p>
<p>I wrote <a href="https://github.com/aiverson/frlua">FRLua</a>, a library to bring functional reactive constructs to lua.</p>
</div>
<h2>Education</h2>
<div>
<p>CS Major at South Dakota School of Mines and Technology 2016-2019</p>
<p>President of the ACM chapter at SDSM&T for 2017. In this role I organize and schedule meetings and give regular technical presentations including talks on multi-paradigm programming, debugging with gdb and valgrind, and interfacing between multiple languages.</p>
<p>Qualified for the world championships of the ACM International Collegiate Programming Competition in 2017.</p>
<p>TA for the Digital Image Processing class at SDSM&T in 2017 and wrote the software being used to teach the class. This application provides a framework for loading, manipulating, and displaying images as well as reference implementations of all the image manipulation algorithms taught in the class.</p>
<p>Guest lecturer for the Programming Languages class to introduce the Lua programming language in spring and fall 2017.</p>
</div>
<h2>Languages</h2>
<div>
<p>I have worked with many languages including</p>
<ul>
<li>Terra</li>
<li>Lua</li>
<li>Kotlin</li>
<li>C/C++</li>
<li>Typescript</li>
<li>Java</li>
<li>C#</li>
<li>Javascript</li>
<li>Groovy</li>
<li>Python</li>
<li>Lisp</li>
<li>Scala</li>
</ul>
</div>
</body>
</html>