Kristoffer Rose
Lab Rat
Village of Scarsdale, New York, United States
Summary
👤
Senior🎓
Top SchoolKristoffer Rose is a seasoned compiler and programming languages researcher with over three decades of deep technical engagement and 12 years in industry roles, currently working as a Lab Rat at Two Sigma and teaching Compiler Construction at NYU. He brings rare expertise in writing compilers and compiler-compilers, formal semantics, higher-order and term rewriting, and practical scripting paradigms for big-data querying, grounded in a PhD in computer science. His background spans research scientist work at IBM on virtualized data integration and a long-standing Debian developer presence, reflecting both academic rigor and pragmatic engineering. Comfortable across Haskell, Java, C, Perl, XML/XQuery/XSLT and functional/dataflow paradigms, he combines theory-driven designs with production-focused tooling. Notably, he has taught and published on explicit substitutions and term rewriting, a niche foundation that informs robust compiler-generation frameworks.
12 years of coding experience
14 years of employment as a software developer
Ph.D. Computer Science, Ph.D. Computer Science at Københavns Universitet - University of CopenhagenAfgangsprøve Folkeskolen, Afgangsprøve Folkeskolen at Skovshoved Skolestudent mat-fys, student mat-fys at Gammel Hellerup Gymnasium
English, Danish, French
Stackoverflow
1reputation
0reached
1answer
0questions
Github Skills (8)
linux6
csv6
bash6
awk6
sed6
compiler3
math1
mathjax1
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.