resume: Additional rephrasing of projects and positions

master
Mike Gerwitz 2023-12-19 23:45:53 -05:00
parent 325265a019
commit 8d45c27edc
Signed by: mikegerwitz
GPG Key ID: 8C917B7F5DC51BA2
1 changed files with 32 additions and 32 deletions

View File

@ -101,15 +101,16 @@
I am a self-driven and passionate hacker with over twenty years'
experience in many areas of software development and computer
science. I am an activist for user freedom with a focus on
user privacy and security. I seek an innovative team of
hackers that are passionate about their work and will challenge my
wide range of skills and interests. I 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.
user privacy and security. I 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 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
@ -130,17 +131,17 @@
<section id="experience">
<h2>Experience</h2>
<dl id="experience">
<dt>Ryan Specialty Group (formerly LoVullo Associates, Inc.)</dt>
<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 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
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
@ -170,8 +171,7 @@
<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).
Worked as a freelance web developer primarily through RentACoder.
</dd>
</dl>
</section>
@ -195,29 +195,28 @@
<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.
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,
driven by higher-order predicates.
with conditional logic 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.
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),
numerous compilers for various targets
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.
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>.
@ -282,12 +281,13 @@
<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.
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 integrates and shares code
with the server using Node.js.
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">