Curriculum Vitae

I enjoy building tools as part of a community that empowers domain experts to control and modify their digital workflows by tearing down the boundaries typically imposed by siloed applications from different vendors.

Modern computing is far too rigid. Applications can only function in preset ways determined by some far away team. Software is trapped in hermetically sealed silos and is rewritten many times over rather than recomposed. This community catalogs and experiments with malleable software and systems that reset the balance of power.

• Researching reliable debugging and malleable software with Dr. Stephen Kell

• Building open, decentralized, secure communications for all via Matrix
• Planning delivery with product team to ship high quality features on time
• Exploring Matrix-native projects beyond chat

• Exploring formal semantics for debugging info with Dr. Stephen Kell

• Explored correctness of VPN software through symbolic execution and formal verification using KLEE, Z3, and LLVM in cooperation with Prof. George Candea’s lab
• Took courses in decentralized systems, concurrent algorithms, and machine learning

• Lead engineer for Firefox Developer Tools team
• Rewrote portions of Firefox CSS engine in Rust enabling large performance gains from concurrency while preserving memory safety
• Led Spectre attack mitigation efforts for Firefox Developer Tools
• Leveraged Rust CSS engine in Firefox Developer Tools via WebAssembly
• Built new tools to simplify responsive web design for designers and developers
• Mentored junior developers on the team to improve their skills

• Lead engineer for Firefox mobile web developer tools
• Simplified mobile debugging using WiFi connections instead of USB cables
• Guided other team members on compatibility support between devices

• Lead engineer for client-configurable social visualization platform
• Improved flexibility of client-side code drastically via tools like RequireJS and Grunt
• Rebuilt visualizations for best UX across the device spectrum
• Created a tool to demo our visualizations on the websites of prospective clients

• Lead engineer for the end user UI to display and submit user-generated content (UGC)
• Led organization-wide effort to reduce release cycle to two weeks
• Redesigned media submission flow to support multiple data centers
• Created virtualized UI support to simplify testing of simultaneous client changes
• Mentored new team members to distribute technical knowledge and improve their skill set
• Implemented GWT UI and back end allowing client change deployment at any time
• Acted as Agile scrum master for the team

• Built a variety of new features for our end user UI from the database layer all the way up to HTML and JavaScript on the client
• Implemented code search and cross referencing tool for our entire code base in spare time
• Balanced feature flexibility against impact to Client Services organization
• Built data generation tools to reduce testing time
• Enhanced search i18n through customization of Solr

• Responsible for all technical aspects of client’s implementation of end user UGC UI
• Configured features and customized design (HTML, CSS, Tapestry, FreeMarker) to match client requirements
• Supported clients with any issues they encountered during implementation

• Designed communication API to provide a unified interface for any application
• Implemented data compression using wavelets on nodes
• Created reference implementation of networking API
• Built numerous tools to simplify sensor network research