diff --git a/src/about/resume.html b/src/about/resume.html index b03e33d..3d74952 100644 --- a/src/about/resume.html +++ b/src/about/resume.html @@ -10,9 +10,9 @@
- Full-time software engineer with a passionate team of + Software engineer or researcher with a passionate team of hackers that respect - users' freedoms, strive to innovate, and embrace - challenge. Looking to at some point transition into an educator - and/or research role in any of my areas of expertise. + users' freedoms, strive to innovate, embrace + challenge, and seek to make a positive social and cultural impact.
I am a self-driven and passionate hacker with over twenty years' - experience in various areas of software development. I am - a free - software activist with a focus on user privacy and - security; a volunteer and maintainer for - the GNU Project; and both author and - contributor to various free software projects. I seek an - innovative team of hackers that are passionate about their work - and will challenge my wide range of skills. A prospective - employer must be willing to use and write + 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. +
++ 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. +
++ A prospective employer must be willing to use and write free software, and be positive toward software freedom and the free software - movement. I am also interested in academic/research settings as - both a hacker and as an educator. + movement.
@@ -134,18 +133,18 @@- 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 - Projects page - for a full list. -
++ 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 + Projects page + for a full list. +
+I am an avid technical writer and activist; my writings are available - on my + on my personal website. This section highlights the most notable. Direct links are provided in the online version of this résumé. @@ -379,18 +354,18 @@
+ These are from my early teenage years: +
+ +- Each item below is ordered by experience, descending. - Languages actively used are those that I most often write projects in, - either personally or at work. - Infrequent languages are those that I have used to write or - modify software, but do not have intimate knowledge - of. Date, if present, indicates last year used. -
-- There are a few languages that I no longer use because they are - either non-free - or focus on non-free operating systems. -
- -- Studies differ from interests in that the former are actively - or have been in the past researched; whereas the latter are - occasionally visited, but otherwise pending formal study. -
-