thoughts/src/about/resume.html

619 lines
26 KiB
HTML
Raw Permalink 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 to collaborate with
and learn from an innovative team of hackers that are equally
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
beyond compiler construction include programming language history
and theory, formal methods, 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 (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 is pursuant to developing complex online systems to
provide comparative insurance quotes from thousands of
conditional inputs 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 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 and Ryan
Specialty 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,
with conditional logic driven by higher-order predicates.
Calculations and predicates are written declaratively without
regard for order of execution.
The system is used to define tens of thousands of calculations
and predicates across thousands of inputs.
</dd>
<dd class="desc">
TAME consists of a macro processor (implementing a metalanguage),
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 project was originally 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 and Ryan Specialty to handle the collection and
processing of thousands of complex conditional inputs
for online comparative rating systems.
Programs are defined using a declarative DSL which compiles into
JavaScript.
The&nbsp;client is a web application which 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://forge.mikegerwitz.com/mikegerwitz/ulambda">Ulambda</a>
</dt>
<dd class="period">2017&ndash;2018</dd>
<dd class="type">Author</dd>
<dd class="desc">
A self-hosting Scheme compiling into JavaScript.
The project is incomplete, but it does
<a href="https://mikegerwitz.com/ulambda/bootstrap.html">successfully bootstrap</a>
a very limited Scheme-like Lisp.
</dd>
<dd class="desc">
<ul class="lang detail-list">
<li>JavaScript</li>
<li>Scheme</li>
<li>Node.js</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>
</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>