Up
Resume

Bullet Caltech, MIT, Stanford education. Master's Degree in Computer Science.
Bullet Published papers at refereed international conferences. LLMs for Malware Offense and Defense.
Bullet Inventor listed on 17 patents.
Bullet Senior Software Engineer at UnifyID. "Authenticate people, not passwords".
Bullet Senior Staff Software Engineer at Optimizely.
Bullet Principal Software Engineer at Apteligent.
Bullet 10 years at Zenprise from start (tied for "Employee #1" in a rented office) to finish (150+ person company acquired by Citrix).
Bullet One of the 12 "main individuals" responsible for Mathematica. (Acknowledgments page xxi of Mathematica, A System for Doing Mathematics by Computer, Second Edition, published by Addison-Wesley.)
Bullet Currently: Researching topics in symbolic integration, symbolic asymptotics, automated theorem proving, higher order logic, type theory, program verification, and LLMs.
Bullet Science Fiction stories coauthored with ChatGPT 4o.
Bullet What is Planet Quantum? Find out HERE.
Bullet Let's play Taj Life! Learn more HERE.
Bullet iOS, macOS, Swift, Xcode, Android, Android Studio, GitHub, JIRA, Confluence, Google Docs, JetBrains, Python, Jupyter, PyPlot, NumPy, C, C++, Java, JavaScript, HTML5, RWD, XML, Windows, Visual Studio, C#, AWS, Math, CAS, ChatGPT, Claude
Bullet Microsoft Certified Professional.
Bullet Computational Linguistics, Lexical Functional Grammar.
Bullet Multiple release cycles developing successful commercial products including UnifyID, Optimizely, Apteligent, XenMobile, Mathematica, and Maple.
Bullet You can try out code I've worked on: UnifyID, Optimizely, Apteligent and Integrals. You can buy code I've worked on: Optimizely, Apteligent, XenMobile, Mathematica, and Maple.