Paul Tarau
Professor at University of North Texas
Flower Mound, Texas, United States
Summary
👤
Senior🎓
Top SchoolPaul Tarau is a Professor of Computer Science at the University of North Texas with over two decades of academic and software development experience focused on programming languages, logic and functional programming, and computational linguistics. He combines deep theoretical research—reflected in a long publication record and a PhD from Université de Montréal—with extensive systems work, having written roughly 100,000 lines of production code across Prolog, Haskell, Scala, Java and C. Paul designs and implements compilers, runtime systems, memory management, agent infrastructures and distributed web services, and has built multiple open-source Prolog systems (BinProlog, Jinni, Kernel Prolog, Styla) that remain in use. His work bridges playful creativity and rigorous engineering: he pursues unconventional research directions driven by intuition about what matters next. Based in Flower Mound, Texas, he brings a rare blend of hands‑on implementation skill and long-term research vision to large-scale software system development. An intriguing recurring theme in his projects is novel numeric representations and bijective Gödel numberings, showing his taste for elegant, foundational solutions.
14 years of coding experience
Doctor of Philosophy (Ph.D.), Doctor of Philosophy (Ph.D.) at Université de Montréal
English, French
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (32)
summaries10
stanza9
post-processing9
document-classification9
keyword9
pagerank9
prolog9
filter9
medium9
nlp8
sentence-similarity8
turkish8
lda8
logic-programming8
datalog8
Programming languages (3)
Github contributions (5)
ptarau/PythonProvers
Sep 2018 - Nov 2022
Contributions:22 commits, 63 pushes, 1 branch in 4 years 2 months
ptarau/recursors
Jun 2023 - Jan 2025
Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
Contributions:1 PR, 106 pushes, 1 branch in 1 year 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.