About the Author

I have been an academic (Ph.D., Harvard, Philosophy), a software engineer, a serial entrepreneur, and a research scientist. My engineering experience includes assembler, interpreter, compiler and analyzer/transformer development for several languages, employing many languages. I have founded and managed two successful venture capital backed startups in software re-engineering. I have been a Chief Scientist for a small software company, and a marketing strategist for a very large one (IBM). As a research scientist, I have been both a Principal Investigator and a contributor on research contracts (for NSA, DARPA, DHS, AFRL and NASA) involving natural language processing, knowledge capture and representation, domain axiomatization, cryptographic key management modeling and protocol analysis, reverse engineering of binaries, correct-by-construction language processors, abstract interpretation, partial evaluation, detecting exploitable software vulnerabilities, and proving memory safety. I have a lapsed security clearance at the TS/SCI/TK level. 

As a logician, I have always been interested in applications of Natural Language Processing where correctness and valid reasoning are important. For the last 20 years or so of my professional life, I have been the human conduit between natural language sources (verbal and written) and formal artifacts. I am now automating myself.