• Coordinate agenda for Board of Directors meetings• Manage allocation of funds.• Organize international academic and industrial conferences, such as the International Lisp Conference.• Partake in an effort to unify communities of various Lisp dialects.

Working on quantum computing R&D, with a focus on software.

Invented Quil and ran a team that built a state-of-the-art quantum optimizing compiler and simulator. Built out Forest 1.0 and helped design Quantum Cloud Services.

Writing advanced software for mobile satellite communications.(Continuation of work from Clozure Associates.)

Building machine learning and content recommendation/optimization systems.

Writing advanced software for mobile satellite communications.

Architected, developed, and deployed a Real-time auction engine for principally for high-priced artwork and flash auctions.(7 month contract. Company formerly known as Quick Technologies LLC.)

• On the Parsoid team, helped develop the backend to the VisualEditor project on Wikipedia.• Primarily dealt with bijective parsing, DOM transformations, round-tripping (ensuring idempotence of parsing functions across server boundaries), and concrete syntax trees.• Worked in JavaScript, node.js, git & gerrit, and PHP using the open source MediaWiki software.(3 month contract)

• Developed tools from scratch to assist in analysis of programming languages.• Contributed to Facebook projects which assist the software development cycle and help analyze PHP code.• Contributed to the open source Phabricator project, as well as internal Facebook extensions.• Increased the fault tolerance of massively distributed asynchronous web servers.• Deployed numerous enhancements to user-facing features on facebook.com.

Helped design and implement software for a portable, livescan executive fingerprinting system.• Designed and implemented a database whose data is highly volatile.• Designed and implemented federal and state fingerprint card printing. Data items printed included federally standardized fingerprint images at precise resolutions and measurements.• Designed and implemented a novel database communication system which automatically parses and formats data dynamically according to locale, medium, and datum.• Optimized the display of fingerprints as they are scanned in real time.• Implemented many state and federal data format specifications for storage and transmission.• Implemented and oversaw the coding style guidelines.• Oversaw the refactoring of several key database components.

• Typeset masters/doctoral theses in mathematics, computer science, and physics. Edited and corrected scientific prose and document structure. Provided technical illustrations to clients as both raster and vector images.• Prepared documents for printing on a variety of paper sizes, weights, and styles.• Printed paperback and hardcover books for clients and bound them by hand via perfect binding, thermal binding, and stitching.• Created personalized books, including custom headbands, bookmark ribbons, customized covers, etc.• Repaired paperback and hardcover books whose bindings were damaged. Rebound books entirely, as well as reinforced book spines.

• Used AutoCAD® to design and implement various kinds of product packaging (from boxes for soap to DVD cases). Everything was prototyped on a robotic plotting/cutting table.• Completed miscellaneous technical system administrative tasks.

(18 month contract)Identified issues with a current implementation of high-speed numerics for a stack-based programming language compiler, and developed a custom tailored arbitrary precision numerical system for the client.(4 month contract)Critiqued the design of an algorithm for financial market prediction via the use of high-dimensional convex polytopes to find optimal buying and selling prices based on previous financial data as well as consulted the design of a system for simulating the algorithm based on real-world market data for a London-based software company.