John Wiegley Email & Phone Number

Brooklyn, New York, US

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.

Brooklyn, New York, US

Zurich, CH

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.

Zurich, CH

Formal verification of blockchain consensus algorithms and their implementation.

Boston, MA, US

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.

Falls Church, Virginia, US

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.

Charlotte, North Carolina, US

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.

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.

Denver, Colorado, US

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.

Newbury, Berkshire, GB

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.

Monrovia, CA, US

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.

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.

Molesworth Street, Dublin 2, IE

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

Jacksonville, Florida, US

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