John Feser
Research Scientist at Basis
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolJohn Feser is a research scientist based in New York with 13 years of experience at the intersection of programming languages and probabilistic programming. He holds a PhD from MIT and has transitioned seamlessly between academia and industry, including roles as an assistant professor and research positions at MIT and Basis. His work spans language tooling and concurrency—evidenced by substantive contributions to the OCaml language server where he introduced fibers for RPC loop concurrency and improved developer ergonomics with code actions. John combines deep theoretical grounding (program synthesis and probabilistic models) with practical systems engineering, having built production-facing components and developer tools. He is comfortable shipping low-level refactors and user-facing features alike, and often brings academic rigor to real-world software problems. Colleagues describe him as a researcher-engineer who prefers solving hard correctness and concurrency challenges with elegant, maintainable solutions.
13 years of coding experience
9 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at Massachusetts Institute of TechnologyMaster's degree, Computer Science, Master's degree, Computer Science at Rice UniversityUniversity of Illinois Laboratory High School
Stackoverflow
445reputation
55kreached
1answer
10questions
Github Skills (12)
fiber10
language-server10
language-server-protocol10
act10
fibers10
ocaml10
google-cloud-functions6
android-recyclerview6
firebase6
android-fragments6
android6
firebase-cli6
Programming languages (11)
Github contributions (5)
ocaml/ocaml-lsp
Dec 2019 - Oct 2022
OCaml Language Server Protocol implementation
Role in this project:
Backend Developer
Backend DeveloperContributions:20 reviews, 9 commits, 20 PRs in 2 years 10 months
Contributions summary:John primarily contributed to the OCaml Language Server Protocol implementation. Their work included refactoring the server to utilize `cmdliner` for command-line argument parsing and introducing fibers to manage the loop in the RPC component for enhanced concurrency. Further development involved adding a code action to add a missing `rec` keyword and providing code actions for marking unused variables, along with refactoring the inline action feature.
coc-nvimlwtdubdocstringsocaml
jfeser/ocaml-lsp
Dec 2019 - May 2024
OCaml Language Server Protocol implementation
Contributions:68 pushes, 24 branches in 4 years 5 months
lwtdubquery-languageocamldune
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.