Iain Moncrief
Visiting Researcher at Oregon State University
Honolulu, Hawaii, United States
Summary
🤩
Rockstar🎓
Top SchoolIain Moncrief is a research-focused software engineer and visiting researcher with nine years of practical experience bridging programming language theory, formal verification, and high-performance machine learning. Currently based in Honolulu and pursuing Mathematics and Computer Science at Oregon State University, he has contributed to PL and compiler research using Coq and Lean4 and built GPU‑accelerated ML tooling (autograd, CUDA/ROCm) for Chapel at HPE. His work spans formal logic and rule systems for verification as well as hands-on HPC implementations and benchmarking of neural networks on supercomputing platforms. Iain’s profile combines deep theoretical interests—category theory and type systems—with applied systems experience in manufacturing software and ML library engineering, reflecting an unusual mix of abstract math and production-scale performance engineering.
9 years of coding experience
2 years of employment as a software developer
Johannes Gutenberg University MainzMathematics and Computer Science, Mathematics and Computer Science at Oregon State UniversityBrigham Young UniversityAssets SchoolComputer Science, Computer Science at Windward Community CollegeSummer Program, Summer Program at University of California, Davis
Stackoverflow
211reputation
764reached
3answers
6questions
Github Skills (126)
programming-language10
parallel10
distributed-computing10
parallel-computing10
visual-studio10
gpu10
assemblyscript10
scientific-computing10
concurrency10
editor10
compiler10
wolfram-language10
electron10
typescript10
vscode-extension10
Programming languages (16)
Github contributions (5)
osu-cs290-sp21/final-project-a-c-i-d
May 2021 - Jun 2021
Foo Flight is a web platform game with bird sprites and platforms to bounce off from. 🐤
Contributions:2 releases, 201 commits, 152 PRs in 1 month
flightweb-platformgameplatformsgame-development
Iainmon/hslr
Mar 2021 - Feb 2022
Contributions:47 commits, 43 pushes, 1 branch in 11 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.