Currently:
I'm researching topics in symbolic integration, symbolic asymptotics,
automated theorem proving, higher order logic, type theory, and
program verification.
|
|
Senior Software Engineer at UnifyID.
"Authenticate people, not passwords".
|
|
Senior Staff Software Engineer at
Optimizely.
|
|
Principal Software Engineer at Apteligent.
|
|
10 years at
Zenprise
from start (tied for "Employee #1" in a rented office)
to finish (150+ person company acquired by Citrix).
Inventor listed on
17 patents.
|
|
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.)
|
|
Caltech,
MIT,
Stanford
education. Master's Degree in Computer Science.
|
|
|
Let's play
Taj Life! Learn more
HERE.
|
|
What is
Planet Quantum? Find out
HERE.
|
|
iOS SDK, Swift, Xcode, Android SDK, Android Studio,
GitHub, JIRA, Confluence, Google Docs, JetBrains, Python, C, C++,
Java, JavaScript, HTML, XML, Visual Studio, C#, AWS, Math, CAS
|
|
Microsoft Certified Professional.
|
|
Published
papers at refereed international conferences.
LLMs
for Malware Offense and Defense.
|
|
Computational Linguistics,
Lexical Functional Grammar.
|
|
Multiple release cycles developing successful commercial products including
UnifyID,
Optimizely,
Apteligent,
XenMobile,
Mathematica,
and
Maple.
|
|
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.
|
|
