Keshav Kini
Senior Member Of Technical Staff at Oracle
Belmont, California, United States
Summary
🤩
Rockstar🎓
Top SchoolKeshav Kini is a Senior Member of Technical Staff with 15 years of experience building cloud-scale systems, currently developing the control plane for Oracle MySQL HeatWave in Belmont, CA. He blends research-grade formal methods and theorem-proving experience (ACL2) with practical cloud engineering—earlier work includes ML-based anomaly detection for Oracle Cloud and formal verification of SPARC hardware and low-level software. A longtime open-source Emacs contributor, he improves editor ecosystems (spacemacs, editorconfig-emacs, el-get) by refining package management, configuration and build recipes, showing attention to developer UX and maintainability. With a strong mathematical foundation (B.Sc. First Class Honors) and an MS in Computer Science from UT Austin, he brings rigorous reasoning to complex distributed systems and developer tooling. Non-obvious strength: he moves comfortably between formal verification, machine learning systems, and everyday developer ergonomics, making him effective at bridging research and production.
15 years of coding experience
Master’s Degree, Computer Science, Master’s Degree, Computer Science at The University of Texas at AustinBachelor of Science (B.Sc.), Mathematics, 1st Class Honors, Bachelor of Science (B.Sc.), Mathematics, 1st Class Honors at Nanyang Technological UniversityComputer Science, Computer Science at Portland State University
English, Japanese
Stackoverflow
1,781reputation
200kreached
18answers
4questions
ssh
top-5%
windows-xp
top-5%
Github Skills (29)
package-management10
configuration-management10
emacs-lisp10
editorconfig10
emacs10
configuration-file10
spacemacs10
configurations10
elisp10
debug9
maintenance9
windows-xp9
binding9
ssh9
bind9
Programming languages (20)
Github contributions (5)
syl20bnr/spacemacs
Mar 2015 - Nov 2020
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:7 commits, 7 PRs, 50 comments in 5 years 9 months
Contributions summary:Keshav contributed to the Spacemacs Emacs distribution, focusing on configuration and user experience. Their work included adding keybindings, fixing typos, and optimizing macros within the Emacs configuration files. They also addressed issues related to package management and the Helm and package upgrade workflows. The user demonstrated a good understanding of Emacs Lisp and the Spacemacs configuration structure.
configurationvimspacemacsemacsemacs-lsp
dimitri/el-get
May 2012 - Jun 2014
Manage the external elisp bits and pieces upon which you depend!
Role in this project:Full-stack Developer
Full-stack DeveloperContributions:5 commits in 2 years 1 month
Contributions summary:Keshav primarily contributes to package recipes, defining and updating configurations for various Emacs packages. They add new packages such as `cython-mode`, update existing recipes, and fix dependencies. The user also corrects coding style by ensuring trailing spaces, and modifies the build process for certain packages. Their work focuses on integrating and managing external Emacs Lisp packages.
elispspacemacsmagitemacsbits
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.