Terence Rokop
Software Engineer @Heliax
Beaverton, OR, US
EMAILS
MOBILE NUMBERS
+91 *********19
Signup · Get unlimited contacts
WORK HISTORY
Jun 2021 — Present
Software Engineer @Heliax
View department →
Formal verification and blockchain implementation.
SKILLS
File SystemsDevice DriversStorage Area NetworksNasFirmwareHigh AvailabilityKernelUnixDistributed SystemsScsiStorageNfsLinuxShell Scripting
ABOUT TERENCE ROKOP
I work on formal verification in dependently-typed languages, and blockchain…
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.