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 (15)
toolchain8
llvm7
hpc-applications7
compiler6
llvm-ir6
fortran4
frontend3
newsletter3
haskell3
flang3
recursive2
programming-language2
javascript1
cookie1
visualize1
Programming languages (5)
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
Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applications. At the project's core is the High Level Intermediate Representation, or HLIR, for common compiler toolchains. HLIR is built ontop of the LLVM IR, using metadata to represent high-level parallel constructs.
Contributions:10 commits, 9 pushes in 4 months
compilerhpc-applicationsllvm-irtoolchain
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.