thoughts/src/about/resume.html

614 lines
26 KiB
HTML
Raw Blame History

This file contains ambiguous Unicode characters!

This file contains ambiguous Unicode characters that may be confused with others in your current locale. If your use case is intentional and legitimate, you can safely ignore this warning. Use the Escape button to highlight these characters.

<!DOCTYPE html>
<html>
<head>
<title>Mike Gerwitz&mdash;Résumé</title>
<link rel="stylesheet" href="resume/style.css" type="text/css" />
<link rel="stylesheet" href="resume/style-print.css" type="text/css" media="print" />
<meta charset="utf-8" />
<meta name="viewport" content="initial-scale=1.0" />
</head>
<body>
<div id="header">
<div class="leftcol">
<h1 class="name">Mike Gerwitz</h1>
<h2 class="name-subline">
Software Engineer, Activist For User Freedom
</h2>
</div>
<div id="infobox">
<dl class="contact">
<dt>E-mail:</dt>
<dd>
<a href="mailto:mike@mikegerwitz.com">mike@mikegerwitz.com</a>
</dd>
<dt>Website:</dt>
<dd>
<a href="https://mikegerwitz.com/">https://mikegerwitz.com/</a>
</dd>
<dt>GPG:</dt>
<dd>
<tt>D6E9 B930 028A 6C38 F43B</tt><br />
<tt>2388 FEF6 3574 5E6F 6D05</tt>
</dd>
</dl>
</div>
<ul class="links">
<li>
<a href="https://gitlab.com/u/mikegerwitz">
<img src="/images/gitlab.svg"
width="42" height="42"
alt="See me on Gitlab"
title="See me on Gitlab" />
</a>
</li>
<li>
<a href="/about/githubbub">
<img src="/images/octoright-42.png"
width="42" height="42"
alt="Don't see me on GitHub"
title="Don't see me on GitHub" />
</a>
</li>
<li>
<a href="https://savannah.gnu.org/users/mikegerwitz">
<img src="/images/meditate-42.png"
width="42" height="42"
alt="See me on Savannah"
title="See me on Savannah" />
</a>
</li>
<li>
<a href="https://news.ycombinator.com/user?id=mikegerwitz"
title="mikegerwitz on Hacker News"
class="hn-icon">HN</a>
</li>
<li>
<a href="https://www.fsf.org/register_form?referrer=5804">
<img src="/images/fsf-42.png"
width="42" height="42"
alt="FSF Member #5804"
title="FSF Member #5804"
/>
</a>
</li>
<li>
<a href="https://www.eff.org/">
<img src="/images/eff-42.png"
width="42" height="42"
alt="EFF Member"
title="EFF Member"
/>
</a>
</li>
</ul>
</div>
<div class="clear head">&nbsp;</div>
<div id="content">
<section id="objective">
<h2>Objective</h2>
<p>
Software engineer or researcher with a passionate team of
hackers that <a href="https://gnu.org/philosophy/free-sw.html">respect
users' freedoms</a>, strive to innovate, embrace
challenge, and seek to make a positive social and cultural impact.
</p>
</section>
<section id="summary">
<h2>Summary</h2>
<p>
I am a self-driven and passionate hacker with over twenty years'
experience in many areas of software development and computer
science. I&nbsp;am an activist for user freedom with a focus on
user&nbsp;privacy and security. I&nbsp;seek an innovative team of
hackers that are passionate about their work and will challenge my
wide range of skills and interests. I&nbsp;focus primarily on
compiler construction and the creation of declarative
domain-specific languages and abstractions to simplify development
and improve the correctness of complex systems. Some of my
personal interests include programming language history and
theory, formal methods and proofs, logic and type theory,
cryptography, philosophy and ethics, and writing.
</p>
<p>
The focus of my research in recent years has been pursuant to
addressing problems of practical user freedom—to make various
aspects of freedom in computing accessible to more users in
concrete and tangible ways that are meaningful to them beyond
abstract principle and philosophy.
</p>
<p>
A&nbsp;prospective employer must be willing to use and write
<a data-print="true"
href="https://gnu.org/philosophy/free-sw.html">free software</a>,
and be positive toward software freedom and the free software
movement.
</p>
</section>
<section id="experience">
<h2>Experience</h2>
<dl id="experience">
<dt>Ryan Specialty Group (formerly LoVullo Associates, Inc.)</dt>
<dd class="period">March 2009&ndash;Present</dd>
<dd class="desc">
Principal software engineer.
Designs, develops, and maintains compilers for domain-specific
languages (DSLs); application frameworks; server software; and
web applications for an Excess and Surplus Lines Insurance
Agency. Most work involves developing complex online raters to
provide comparative insurance quotes; integrating and automating
various systems; and providing a suite of development tools and
DSLs to support those systems. Responsible for developer
training and knowledge transfer through design discussions,
documentation, peer programming, and code review. Involved in
every aspect of the development process and many decisions
regarding the technical direction of the organization.
</dd>
<dd class="desc">
A number of projects written for my employer have
been <a data-print="true" href="https://github.com/lovullo"
title="LoVullo Associates on GitHub">released as free
software</a>.
</dd>
<dd class="desc">
<ul class="lang detail-list">
<li>Rust</li>
<li>JavaScript (ECMAScript)</li>
<li>TypeScript</li>
<li>XSLT</li>
<li>Shell&nbsp;(POSIX, Bash)</li>
<li>PHP</li>
<li>Texinfo</li>
<li>TeX&nbsp;(Plain, LaTeX2e)</li>
<li>HTML</li>
<li>CSS</li>
</ul>
</dd>
<dt>Freelance Web Developer</dt>
<dd class="period">March 2006&ndash;March 2009</dd>
<dd class="desc">
Worked as a freelance web developer primarily through vWorker
(previously RentACoder).
</dd>
</dl>
</section>
<section id="projects">
<div class="sec-header">
<h2>Projects</h2>
<p>
Listed here are both my own projects and those to which I have
made notable contributions.
I have many miscellaneous projects and scripts that are not
listed here; see my
<a data-print="true"
href="https://mikegerwitz.com/projects">Projects page</a>
for a full list.
</p>
</div>
<dl data-print-links="true">
<dt><a href="https://forge.mikegerwitz.com/employer/tame">TAME</a>
</dt>
<dd class="period">2012&ndash;Present</dd>
<dd class="type">Author</dd>
<dd class="desc">
This system was developed at LoVullo Associates to handle the
complexity of comparative insurance rating systems.
It is a domain-specific language&nbsp;(DSL) that is itself
a metalanguage through the use of templates,
encouraging the creation of specialized sub-DSLs.
TAME processes only numerical input and output,
driven by higher-order predicates.
Calculations and predicates are written declaratively without
regard for order of execution.
The system has powerful dependency resolution and data flow
analysis capabilities.
</dd>
<dd class="desc">
TAME consists of a macro processor (implementing a metalanguage),
numerous compilers for various targets
(JavaScript, HTML documentation and debugging environment,
LaTeX, dependency graph output, and others),
linkers,
and supporting tools.
The input grammar is embedded within&nbsp;XML,
and the majority of the project
(including the macro processor, compilers, and linkers)
is written in XSLT.
The project is undergoing a
<a href="https://forge.mikegerwitz.com/employer/tame/src/branch/main/tamer">rewrite
in Rust&nbsp;(TAMER)</a>.
</dd>
<dd class="desc">
<ul class="lang detail-list">
<li>Rust</li>
<li>XSLT 2&ndash;3</li>
<li>JavaScript (ECMAScript 2016)</li>
<li>AWK</li>
<li>Sed</li>
<li>Shell (Bash)</li>
<li>PHP</li>
<li>Autotools (Autoconf, Automake)</li>
</ul>
</dd>
<dt><a href="https://gnu.org/s/easejs">GNU ease.js</a></dt>
<dd class="period">November 2010&ndash;2017</dd>
<dd class="type">Author</dd>
<dd class="desc">
A Classical Object-Oriented framework for JavaScript, intended to
eliminate boilerplate code and &ldquo;ease&rdquo; the transition
into JavaScript from other Object-Oriented languages. Features
include simple and intuitive class definitions; classical
inheritance; abstract classes and methods; interfaces; access
modifiers; static and constant members; and traits as
mixins. Became a GNU project in December of 2013.
</dd>
<dd class="desc">
GNU ease.js
<a href="https://www.gnu.org/software/easejs/manual/About.html">was
created</a> as a personal project to simplify development of a
project at LoVullo Associates, and supports ECMAScript 3 browsers
(as far back is IE
5.5). <a href="https://www.gnu.org/software/easejs/manual/Implementation-Details.html">Implementation
details and rationale</a> are documented extensively in the manual
and comprehensive test cases. See
also my paper <a href="http://mikegerwitz.com/papers/coope"
class="title">Classifical Object-Oriented Programming with
ECMAScript</a>. Copyright has been assigned to the Free Software
Foundation. I no longer maintain this project, and recommend
TypeScript in its place, which provides most of ease.js'
features and is a compiler rather than a framework.
</dd>
<dd class="desc">
<ul class="lang detail-list">
<li>JavaScript (ECMAScript 3, ECMAScript 5)</li>
<li>Shell (POSIX, Bash)</li>
<li>Autotools (Autoconf, Automake)</li>
<li>Texinfo</li>
<li>AWK</li>
<li>Sed</li>
<li>LibreJS-Compatible</li>
</ul>
</dd>
<dt><a href="https://forge.mikegerwitz.com/employer/liza">Liza Data
Collection Framework</a>
</dt>
<dd class="period">2010&ndash;Present</dd>
<dd class="type">Author</dd>
<dd class="desc">
Data collection and processing framework developed at LoVullo
Associates to handle thousands of complex conditional inputs for
even more complex comparative rating systems.
Programs are defined using a declarative DSL which compiles into
JavaScript.
The&nbsp;client is a web application which integrates and shares code
with the server using Node.js.
It also contains its own tools for debugging and introspection.
</dd>
<dd class="desc">
This project integrates tightly with TAME for its classification
system and depenedency analysis.
</dd>
<dd class="desc">
<ul class="lang detail-list">
<li>Rust</li>
<li>XSLT 2&ndash;3</li>
<li>JavaScript (ECMAScript 2016)</li>
<li>Node.js</li>
<li>Shell (Bash)</li>
<li>Autotools (Autoconf, Automake)</li>
</ul>
</dd>
<dt><a href="https://gnu.org/s/guix">GNU Guix</a></dt>
<dd class="period">October 2016&ndash;Present</dd>
<dd class="type">Contributor</dd>
<dd class="desc">
Improvements to <tt>guix environment</tt> container
support; package contributions.
</dd>
<dd class="desc">
<ul class="lang detail-list">
<li>Guile Scheme</li>
<li>Shell</li>
</ul>
</dd>
<dt><a href="https://gnu.org/s/screen">GNU Screen</a></dt>
<dd class="period">November 2013&ndash;July 2015</dd>
<dd class="type">Contributor</dd>
<dd class="desc">
Refactoring and cleanup of window message system and related code;
creation of supporting abstractions; introduced unit
tests.
</dd>
<dd class="desc">
This began as a cooperative effort between myself and Amadeusz
Sławiński to resurrect the stalled development of GNU
Screen. Amadeusz is now a co-maintainer of the project and
<a href="http://git.savannah.gnu.org/cgit/screen.git/log/?qt=author&amp;q=Mike+Gerwitz">my
changes have been merged upstream</a>.
</dd>
<dd class="desc">
<ul class="lang detail-list">
<li>C (ANSI C, C11)</li>
<li>Gnulib (Test Headers)</li>
</ul>
</dd>
</dl>
</section>
<section id="articles">
<h2>Articles, Talks, and Papers</h2>
<p>
I am an avid technical writer and activist; my writings are
available
<a data-print="true" href="/papers">on my
personal website</a>. This section highlights the most
notable. <span class="print-only">Direct links are provided in the
online version of this résumé.</span>
</p>
<dl>
<dt>
<a href="/papers/tpl.pdf">
The TAME Programming Language Living Document</a></dt>
<dd class="period">May 2021&ndash;Present</dd>
<dd class="desc">
This document is an attempt to formally consider certain parts of
TAME as it undergoes redesign and reimplementation as part of the
TAMER project. It is considered a living document&mdash;it is not
likely to ever be a finished work.
</dd>
<dt>
<a href="/talks">
Adopting Free Software Ideals</a></dt>
<dd class="period">March 2021</dd>
<dd class="desc">
My talk
at <a href="https://libreplanet.org/2021/">LibrePlanet&nbsp;2021</a>
about practical ethics and ideals as it relates to user freedom.
</dd>
<dt>
<a href="/talks">
Computational Symbiosis: Methods That Meld Mind and Machine</a></dt>
<dd class="period">March 2019</dd>
<dd class="desc">
My talk
at <a href="https://libreplanet.org/2019/">LibrePlanet&nbsp;2019</a>
exploring how to empower users to do their own computing without
developers. Explores core concepts of the Unix philosophy.
</dd>
<dt>
<a href="/2019/02/ghcq-exceptional-access-e2ee-decentralization-reproducible">
GHCQs “Exceptional Access”, End-To-End Encryption,
Decentralization, and Reproducible Builds</a></dt>
<dd class="period">Feb 2019</dd>
<dd class="desc">
Refutation of the GHCQ's “Principles for a More Informed
Exceptional Access Debate”.
</dd>
<dt>
<a href="/talks">
The Ethics Void</a></dt>
<dd class="period">March 2018</dd>
<dd class="desc">
My talk
at <a href="https://libreplanet.org/2018/">LibrePlanet&nbsp;2018</a>
focusing on the lack of ethical consideration in software and technology.
</dd>
<dt>
<a href="/talks">
The Surreptitious Assault On Privacy, Security, and Freedom</a></dt>
<dd class="period">March 2017</dd>
<dd class="desc">
My talk
at <a href="https://libreplanet.org/2017/">LibrePlanet&nbsp;2017</a>
surveying some of the most pressing privacy and security concerns
of today, with nearly 130&nbsp;references.
</dd>
<dt>
<a href="/talks">
Restore Online Freedom!</a></dt>
<dd class="period">March 2016</dd>
<dd class="desc">
My talk
at <a href="https://libreplanet.org/2016/">LibrePlanet&nbsp;2016</a>
about privacy, surveillance, and freedom on the&nbsp;Web.
</dd>
<dt>
<a href="https://about.gitlab.com/2015/05/20/gitlab-gitorious-free-software/">
Gitlab, Gitorious, and Free Software</a></dt>
<dd class="period">May 2015</dd>
<dd class="desc">
Guest post written at the request of GitLab B.V. CEO Sytse
Sijbrandij to both explain the controversy surrounding GitLab's
acquisition of Gitorious, and to celebrate our joint effort to
license all of GibLab EE's JavaScript code&mdash;and any code that
generates it&mdash;as free software.
</dd>
<dt>
<a href="/2013/06/national-uproar-a-comprehensive-overview-of-the-nsa-leaks-and-revelations">
National Uproar: A Comprehensive Overview of the NSA Leaks and Revelations</a></dt>
<dd class="period">June 2013</dd>
<dd class="desc">
An extensive article with over sixty references written just after
the Guardian released the Verizon Order for the collection of
telephone metadata, acquired by the now-known Edward
Snowden. Maintained first or second ranking on Google for the
search term &ldquo;NSA leak summary&rdquo; for days, and to this
day is still within the top fifteen search results.
</dd>
<dt>
<a href="/2012/05/a-git-horror-story-repository-integrity-with-signed-commits">
A Git Horror Story: Repository Integrity With Signed Commits</a></dt>
<dd class="period">May 2012</dd>
<dd class="desc">
An in-depth article on Git commit signing written shortly after
support was added to Git. It
maintained <a href="https://news.ycombinator.com/item?id=4007229">the
top rank on HackerNews</a> for the entire business day, largely
introducing the Git commit signing concept to the
community. Widely cited, notably
by <a href="https://community.rapid7.com/community/metasploit/blog/2013/11/06/weekly-update">Metasploit</a>,
<a href="https://www.whonix.org/forum/index.php?topic=538.10">Whonix</a>,
<a href="https://secwiki.org/w/Migrating_Nmap_to_Git">Nmap</a>,
<a href="https://developer.atlassian.com/blog/2014/12/git-2-2-0-released/">Atlassian</a>,
and
the <a href="https://sufficientlysecure.org/wp-content/uploads/cryptocall.pdf">CryptoCall
project thesis</a>. <span class="print-only">References provided
in online résumé.</span>
</dd>
<dt>
<a href="/papers/coope.pdf">
Classical Object-Oriented Programming with ECMAScript</a></dt>
<dd class="period">February 2012&ndash;April 2012</dd>
<dd class="desc">
A paper
exploring methods of implementing classical object-oriented
programming in ECMAScript&nbsp;3. This paper describes common
patterns; addresses performance concerns; explores alternatives,
problems, and exploitations; and begins discussing the
<a href="https://www.gnu.org/software/easejs/manual/Implementation-Details.html">the
implementation used by GNU ease.js</a>. Paper is incomplete.
</dd>
</dl>
<p>
These are from my early teenage years:
</p>
<dl>
<dt>
<a href="http://web.archive.org/web/20080507155153/http://www.pcmag.com/article2/0,2817,1586638,00.asp">
PC Magazine Mention&mdash;iBrowser</a></dt>
<dd class="period">June 2004</dd>
<dd class="desc">
Mention in PC Magazine at the age of fourteen for a project
named iBrowser, a voice recognition web browser. Created with a
remote friend. Personally handled voice recognition, popup
blocker, and most other aspects of development.
</dd>
<dt>
<a href="http://web.archive.org/web/20040213235111/http://www.planet-source-code.com/vb/contest/AllTimeHallOfFame.asp?lngWId=1">
Planet Source Code Superior Coding Contest Winner</a></dt>
<dd class="period">February 2003</dd>
<dd class="desc">
Received Planet Source Code's Superior Coding Contest Award for
the voice recognition tutorial &quot;Talk To Your Computer&quot;
at the age of thirteen.
</dd>
</dl>
</section>
<section id="affiliations">
<h2>Affiliations</h2>
<dl>
<dt>
<a href="https://gnu.org">
GNU Project</a></dt>
<dd class="period">December 2013&ndash;Present</dd>
<dd class="desc">
I serve on the <a href="https://www.gnu.org/contact/gnu-advisory">GNU
Advisory Committie&nbsp;(GAC)</a>; was previously one of
the <a href="https://www.gnu.org/help/evaluation.html">GNU&nbsp;software
evaluators</a> that review software offered to GNU; and used to exercise
various administrative duties&nbsp;(GNUisance). I participate in
general activism pursuant to the goals of GNU, including
addressing the issue
of <a data-print="true" href="https://www.gnu.org/s/easejs/whyfreejs.html">non-free
JavaScript</a>. Notably, I worked with Sytse Sijbrandij (GitLab
B.V. CEO)
to <a href="https://about.gitlab.com/2015/05/20/gitlab-gitorious-free-software/">freely
license all GitLab EE JavaScript</a>, and worked on the
<a href="https://www.gnu.org/software/repo-criteria.html">GNU
ethical repository criteria</a>.
Much of my free time was historically dedicated toward GNU volunteer work.
</dd>
<dt>
<a href="https://fsf.org">
Free Software Foundation</a></dt>
<dd class="period">October 2007&ndash;Present</dd>
<dd class="desc">
Associate member
<a href="http://www.fsf.org/register_form?referrer=5804">(#5804)</a>
of the Free Software Foundation
(<abbr title="Free Software Foundation">FSF</abbr>) and a strong
supporter of the free software movement. Actively involved in
the <a href="https://gnu.org/philosophy/free-sw.html">free
software</a> community. I&nbsp;have had the pleasure of meeting
with and working with the FSF&nbsp;staff on a number of occasions.
I am also on the JavaScript Developers Task Force, part of the
FSF's <a data-print="true" href="https://fsf.org/campaigns/freejs">Free JavaScript
campaign</a>.
</dd>
<dt>
<a href="https://www.eff.org">
Electronic Frontier Foundation</a></dt>
<dd class="period">August 2017&ndash;Present</dd>
<dd class="desc">
Member of the Electronic Frontier Foundation (<abbr
title="Electronic Frontier Foundation">EFF</abbr>).
I closely follow and support many of their causes.
</dd>
<dt>
<a href="http://www.buffalotkd.com">
Master Chong's World Class Tae Kwon Do</a></dt>
<dd class="period">February 2010&ndash;February 2012</dd>
<dd class="desc">
Student at Master Chong's World Class Tae Kwon Do. While not a
technical affiliation, it was an enjoyable and rewarding
experience, and was an important part of my life. Volunteered
when possible and attended class most days of the week.
I unfortunately had to stop attending classes due to a hip injury
and subsequent birth of my first child. I hope to return one day.
</dd>
</dl>
</section>
</div>
<div id="misc">
<a href="/about/inside" id="gnuinside">
<img src="/images/gnu-inside.png" alt="GNU/Linux Inside!" />
</a>
</div>
<div id="footer">
<p class="copyright">
Copyright &copy; 2023 <a href="https://mikegerwitz.com/">Mike Gerwitz</a>
</p>
</div>
<div id="footer-print" class="print-only">
<p>
This document is a print version of my online résumé; it has been
modified to display certain information inline, while removing
other information not suitable for paper. For the complete
résumé, please visit:
<br />
https://mikegerwitz.com/about/resume
</p>
<p>
Copyright &copy; 2023 Mike Gerwitz
</p>
</div>
</body>
</html>