Kei Davis
Guest Scientist at Los Alamos National Laboratory
Los Alamos, New Mexico, United States
Summary
👤
Senior🎓
Top SchoolKei Davis is a seasoned research scientist and software engineer with over 25 years of experience in high-performance and parallel computing, currently a Guest Scientist at Los Alamos National Laboratory. He combines deep theoretical foundations (PhD from Glasgow and an MSc from Oxford) with hands-on systems work, from writing a Haskell compiler and C runtime for an auto-parallelizing functional language to contributing to LLVM-based Fortran tooling. Known for pioneering work on lazy functional language runtimes and projection-based strictness analysis, he blends language design, compiler construction, and performance engineering. Based in Los Alamos, he has a track record of turning ambitious research prototypes into practical tools for supercomputing environments, and maintains a quietly influential presence across academic and national-lab collaborations.
11 years of coding experience
32 years of employment as a software developer
M.Sc., Computation, Mathematics, Philosophy, M.Sc., Computation, Mathematics, Philosophy at University of OxfordB.S., Computer Science, Mathematics, Chemistry, B.S., Computer Science, Mathematics, Chemistry at New Mexico State UniversityPh.D., Computing Science, Ph.D., Computing Science at University of Glasgow
Github Skills (25)
modular9
toolchain9
clang8
llvm8
compiler6
intermediate6
llvm-ir5
hpc-applications5
effort5
metadata4
chain4
hackage4
ghc3
servant3
cabal3
Programming languages (4)
Github contributions (5)
lanl/APPFL
Mar 2015 - Apr 2019
Contributions:482 commits, 8 pushes, 1 branch in 4 years 2 months
lanl/ares
Feb 2016 - Jun 2016
Contributions:10 commits, 9 pushes in 4 months
llvmllvm-irtoolchainslevel-intermediatecompiler
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.