Eric Seidel
Architect at Bridgewater Associates
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolEric Seidel is an architect and software engineer with 15 years of experience building DSLs, compilers, and robust backend systems from research prototypes to production at firms like Bridgewater and Bloomberg. He blends deep PL theory—PhD-level work on type systems and LiquidHaskell—with pragmatic engineering, contributing to heavyweight open-source projects including GHC and the widely used librdkafka C/C++ Kafka client. At Bloomberg he drove low-latency feature-flag caching and DSL testing pipelines; at Bridgewater he designs domain-specific languages for financial and economic modeling. Eric’s work frequently straddles verification and performance, from proving termination properties in LiquidHaskell to fixing subtle Kafka consumer polling and error-code integrations. Based in New York, he pairs academic rigor with hands-on systems expertise to tame complexity in high-stakes, low-latency environments.
16 years of coding experience
11 years of employment as a software developer
University of California San DiegoBS, Computer Science, 3.93, BS, Computer Science, 3.93 at City University of New York City College
English, German, French
Stackoverflow
2,851reputation
77kreached
15answers
7questions
Github Skills (26)
c-language10
type-check10
kafka10
librdkafka10
c1110
c1710
compiler-design10
ghc10
functional-programming10
type-checking10
apache-kafka10
cprogramming-language10
haskell10
documentation10
develop9
Programming languages (17)
Github contributions (5)
ucsd-progsys/liquidhaskell
Jan 2013 - Oct 2018
Liquid Types For Haskell
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1015 commits, 91 PRs, 415 pushes in 5 years 10 months
Contributions summary:Eric is working on the development of a type system for the Haskell library. The commits indicate that they are working on improving the formal specification of the system, and are adding support for new features such as the verification of termination. They are also fixing bugs and making adjustments to improve the system's overall robustness.
haskellrefinement-typessmtverification
ghc-proposals/ghc-proposals
Feb 2019 - Sep 2021
Proposed compiler and language changes for GHC and GHC/Haskell
Role in this project:Technical Writer
Technical WriterContributions:67 reviews, 11 commits, 8 PRs in 2 years 7 months
Contributions summary:Eric primarily contributes to the repository by modifying and updating proposal documents. Their work involves refining the language, correcting typos, and adding metadata to proposals, specifically related to changes in the GHC compiler and Haskell language. The contributions include updating existing proposals, such as renaming and adapting them to incorporate new feature specifications. The user also updates the references and metadata within the proposals.
compilerghchaskell
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.