MikeĀ Hicks
Applied Scientist
Philadelphia, Pennsylvania, United States
Summary
š¤©
RockstarMike Hicks is an Applied Scientist with a decade of experience blending low-level systems engineering and research-driven software development. Based in Philadelphia, he has contributed significant runtime and memory-management work to the widely respected F* proof-oriented language, integrating stack allocation, pointer tracking bitmasks, and OCaml FFI support to strengthen memory safety and GC interactions. His profile suggests a strong affinity for compiler infrastructure and safe systems programming, paired with experience at the intersection of academia and industry implied by roles like Senior Principal Applied Scientist and Emeritus Professor. Mike brings a pragmatic, detail-oriented approach to productionizing research ideas, with a track record of improving language runtimes that enable formal verification tools to operate reliably in real systems.
10 years of coding experience
Github Skills (12)
memory-management10
fs10
c-language10
f10
cffi10
ffi10
foreign10
ocaml10
fstar10
garbage-collection10
programming-language9
dependent-types8
Programming languages (11)
Github contributions (5)
FStarLang/FStar
Jul 2015 - Oct 2015
A Proof-oriented Programming Language
Role in this project:
Back-end Developer & Systems Engineer
Back-end Developer & Systems EngineerContributions:97 commits, 40 pushes, 3 comments in 3 months
Contributions summary:Mike primarily focused on low-level system programming and compiler infrastructure development for the F* programming language. Their contributions involved implementing and debugging memory management routines, including stack allocation and bitmasking for tracking pointers within stack frames. They also worked on integrating these features with the OCaml foreign function interface (FFI) and contributing to the source code extraction process. Their work directly impacted the language's runtime environment, particularly related to memory safety and garbage collection.
homotopy-type-theorycoq-librarytype-theorysat-solvercompiler
mwhicks1/mwhicks1.github.io
Dec 2021 - Mar 2025
Homepage
Contributions:2 PRs, 70 pushes, 3 branches in 3 years 3 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.