Terence Rokop Email & Phone Number | I work on formal verification in dependently-typed languages, and blockchain implementation. Most of my prior professional experience is in filesystems, block storage, clustering, and kernel internals, along with a bit of group communications, user interfaces, and user-land utilities. My ambitions are to design and write correct, efficient software of broad utility, particularly to other programmers, such as in the areas of formal verification and language design, and to contribute to the development and refinement of the algorithms with the most potential to improve people’s well-being, such as distributed decision-making. My software hobby for years has been the design and implementation (at a glacial pace) of a specification language for the formal verification of existing and future programming languages in existing and future logics.

Terence Rokop

I work on formal verification in dependently-typed languages, and blockchain implementation. Most o...
Beaverton, Oregon, United States

*50 free lookup(s) per month.

Terence Rokop’s Email terence@heliax.dev

Terence Rokop’s Phone Numbers

Get TERENCE’s Phone Number (For Free)

Social Media

Terence Rokop’s Location Beaverton, Oregon, United States

Terence Rokop’s Current Industry Heliax

Find accurate emails & phone numbers for over 700M professionals.

Software Engineer

2021-06-01 00:00:00 - Present

Core Engineer

2020-05-01 00:00:00 - 2021-04-01 00:00:00

Software Architect

2017-08-01 00:00:00 - 2020-05-01 00:00:00

Software Engineer

2010-02-01 00:00:00 - 2011-08-01 00:00:00

Software engineer

2007-01-01 00:00:00 - 2010-02-01 00:00:00

Software Engineer

2000-05-01 00:00:00 - 2007-05-01 00:00:00

Software engineer

1998-01-01 00:00:00 - 2000-01-01 00:00:00

No Skills Available

No Languages Available

Terence Rokop is a I work on formal verification in dependently-typed languages, and blockchain implementation. Most of my prior professional experience is in filesystems, block storage, clustering, and kernel internals, along with a bit of group communications, user interfaces, and user-land utilities. My ambitions are to design and write correct, efficient software of broad utility, particularly to other programmers, such as in the areas of formal verification and language design, and to contribute to the development and refinement of the algorithms with the most potential to improve people’s well-being, such as distributed decision-making. My software hobby for years has been the design and implementation (at a glacial pace) of a specification language for the formal verification of existing and future programming languages in existing and future logics.

Terence Rokop has prior
experience in the following industries:
Stellar Development Foundation | Drobo | Lsi Logic | Hewlett Packard | Polyserve | Sequent Computer Systems

Terence Rokop has the following professional experience:
Heliax | Stellar Development Foundation | Drobo | Lsi Logic | Hewlett Packard | Polyserve | Sequent Computer Systems