He was assistant professor at Rutgers university in New Jersey,[3] then Member of Technical Staff at Bell Labs.
[5][6] After 17 years at IBM, he formed his own company, where he works on Internet Business Logic,[7] a system for social knowledge acquisition and use in executable English.
He continued in grammar-based research[10] by showing how Bayes' theorem can be used to fit a stochastic regular grammar to a collection of data, a result that can be used to inductively infer hidden Markov models.
A logical theory of knowledge developed in[14] [15] is applied in a system on the Web (reference 7, below) that combines three kinds of semantics – (a) data, as in SQL or Resource Description Framework, (b) inference, and (c) English, to answer questions over networked databases, and to explain the results in hypertexted English.
This contrasts with other social media, such as Twitter and Facebook, in which knowledge written in English is readable, but cannot be executed as a computer program.