About
Every major era of software has its own theory. Software 1.0 has compilers and type theory. Software 2.0 has backpropagation and learning theory. Software 3.0 currently has prompt engineering tips. I founded Base26 to build what’s missing—PLT for Software 3.0 (, ).
Before founding Base26, I was an Assistant Professor of Computer Science at San Francisco State University. Leaving academia was a difficult decision, but the pace of technological change made one thing clear: I needed to build to truly understand what I should teach.
My research spans AI, programming languages/formal methods, and quantum computing. I earned my undergraduate degree from Princeton, my PhD from Harvard, and conducted postdoctoral research at both UC Berkeley and Boston College.