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 (17)
pagerank10
prolog10
virtual-machine9
unification9
question-answering9
type-inference8
bert8
java8
interpreter8
algorithms8
algorithm8
python7
neural-network5
fine-tuning5
deep-learning5
Programming languages (4)
Github contributions (5)
ptarau/TextGraphCrafts
Dec 2019 - Mar 2020
Contributions:48 commits, 48 pushes, 2 branches in 2 months
ptarau/iProlog
Aug 2017 - Mar 2022
Java-based lightweight Prolog virtual machine
Contributions:9 commits, 16 pushes, 1 branch in 4 years 8 months
javaprologvirtual-machine
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.