Professor at UNT
Ph.D. University of Montreal, M.Sc. Laval University, B.Sc. University of Bucharest
Research
Research Interests
Generative AI, Natural Language Processing, Logic Programming, Theorem Proving, Abstract Machines, Tree-based Arithmetic Systems, Combinatorics of Lambda Terms.
Personal
My wife Brenda Luderman, and our kids Dylan and Siena.
Projects & Grants
Professional Activities
Extended CV
Full list of publications: PDF