Software Developer & Tech Enthusiast

HOME
ABOUT
PORTFOLIO
SKILLS & EXPERTISE
CONTACT
RESUME
ARCHIVES

Home Resume

Resume

Resume

Download PDF Resume

If the PDF doesn’t display, download it directly.

Recently Updated

Emacs Keybindings: A Comprehensive Reference from Basics to Advanced
TLC Performance and State Space Management: Every Optimization Technique
Raw TLA+ Essentials: The Complete Guide to Writing Specs Without PlusCal
PlusCal Essentials: The Complete Guide to Modeling Concurrent Systems
Cryptographic Key Linking: How Keys Are Derived, Bound, and Hierarchically Related

Trending Tags

distributed-systems model-checking tla-plus formal-verification pluscal yubikey fido2 gpg openpgp advanced

© 2026 Sunil Murthy. Some rights reserved.

Using the Chirpy theme for Jekyll.

Trending Tags

distributed-systems model-checking tla-plus formal-verification pluscal yubikey fido2 gpg openpgp advanced