Mark Tullsen
Sr Technical Staff at Galois, Inc.
Beaverton, Oregon, United States
Summary
🤩
Rockstar🎓
Top SchoolMark Tullsen is a senior technical staff engineer based in Beaverton, Oregon, with a decade of industry experience and an academic foundation that includes a PhD in Computer Science from Yale and a BS in EECS from UC Berkeley. He has been with Galois, Inc. since 2003, applying research-grade rigor to practical software and systems problems and bridging deep theory with real-world engineering. Mark brings strengths in formal methods and high-assurance software given his long tenure at a research-driven firm, and he is comfortable navigating complex, multidisciplinary challenges. Colleagues rely on him for thoughtful architecture, subtle tradeoff analysis, and mentoring that translates academic insights into production-quality solutions.
10 years of coding experience
BS, Electrical Engineering and Computer Science, BS, Electrical Engineering and Computer Science at University of California, BerkeleyPhD, Computer Science, PhD, Computer Science at Yale University
Github Skills (27)
structures10
datalog10
scripting10
scripting-language10
plutus10
relational-algebra10
networking9
fhe9
blockchain9
cardano9
hackage9
sat-solver9
haskell9
cabal9
network9
Programming languages (3)
Github contributions (5)
mtullsen/ouroboros-network
May 2022 - Sep 2023
An implementation of the Ouroboros family of consensus algorithms, with its networking support
Contributions:79 pushes, 10 branches in 1 year 4 months
ospfconsensuszeromqnetworkingconsensus-algorithms
mtullsen/cardano-node
May 2023 - Aug 2023
The core component that is used to participate in a Cardano decentralised blockchain.
Contributions:15 pushes, 3 branches in 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.