As CTO, my task is to develop technology strategies at Kadena and communicate why these lines of action are in alignment with corporate goals — both internally, and externally. As I set direction, I work with my managers to build a unified vision among the engineers who work with me, so that we can build products that make sense for our users as well as for our future as a company and as a group of dedicated software developers.On a technical level: in additional to working on formal models of the Pact language in both Coq and Haskell, I introduced several ZK initiatives, and aided in the design of features to make it possible to more easily connect our smart contract language, Pact, with the benefits of ZK proofs. I also established ongoing partnerships that will lead to our first ZK bridge to Ethereum.My time is primarily spent either coordinating with the teams at Kadena, to ensure we deliver quality products in a timely manner; spending time coordinating with partners; or discovering new partnerships to help us keep in step with everything new happening in and around blockchain and secure smart contracts.

At DFINITY I worked in many roles, starting in the Wasm execution layer (using the V8 engine in C++), then built an integration testing framework in Haskell for testing the Haskell version of the blockchain, then helped define standards and direction for the port to Rust including a fair bit of architectural work. I then served as technical lead for a variety of teams: Infra ("devops" team), Operational Readiness, the Replica team (node software), Testing & Verification, the NNS (governance layer), and lastly Formal Security. I have used Coq and Haskell in many of these roles for modeling and building reference implementations, while the engineering work was in Haskell or Rust.

Formal verification of blockchain consensus algorithms and their implementation.

I maintain the GNU Emacs editor for the Free Software Foundation (FSF). There are many volunteers who work on this project regularly, so my primary role is to facilitate, make decisions about overall direction, and ensure that everything is running smoothly.

I worked in a research group mostly on projects funded by DARPA, mostly in the area of programming language design, functional programming and formal verification methods using Haskell, Coq and ACL2.

The majority of my time at FP Complete was spent building out the back-end of their web-based Haskell IDE, a highly asynchronous framework communicating with GHC servers inside isolated containers.

BoostPro is dedicated to commercial support and development services for the Boost libraries, C++ compiler technology (including the Clang and EDG front-ends, and the LLVM backend) and other related software. Our software engineers and domain experts deliver the power of advanced C++ into the hands of programmers-in-the-trenches through development, support, and training services.

New Artisans offers consulting services in the field of systems programming. One of our main clients so far has been Edison Design Group, maker of a well-known C++ front-end. For them, we implemented a high-quality floating point conversion library.

At CEG I work on Java J2EE-based web applications, most notably http://www.bizcard.com. I also spend time on Linux system administration, security concerns, and planning overall technical direction for the company.

Jobvite offers a website providing job opportunities that can be searched for considering the job seeker's resume. I worked on the first search engine Jobvite used, as well as back-end database and coding for the ASP.NET website http://imaginingourselves.imow.org/pb/Welcome.aspx.

In charge of the C++ compiler parser and also the incremental linker. Rewrote the template code to support nested and partial specializations properly, as used by the STL. Supported the cScript engine that shipped with Borland C++ 5.0.

Supported Insight++, a memory debugger for UNIX applications. Major contribution was GUS, a ``Grand Unified Symbol table and stack frame reader''. GUS (still in production) is a separate library to produce stack traces on MIPS, Intel, Alpha, Sparc, HPPA, and RISC/6000 architectures. GUS reads ELF, a.out, COFF and HP-SPECTRUM symbol tables, and DWARF, STABS, ECOFF, XCOFF and HP-SPECTRUM debug tables.Using Parasoft's parser technology, also designed a new product for the company which is now selling, in a different form, under the name CodeWizard.

Worked on several projects centered around an automated system for ship-to-shore communications.Toward the end, wrote a C++ class library, for accessing OS resources in a safe and system-independent manner.

Helped support their UNIX memory debugger, Sentinel. The technology employed is different than with Parasoft's debugger, but the end concept is the same.

Ported their FTP client software to Windows (which until then had run only under MS-DOS).