Paul Tarau
Professor at University of North Texas
Flower Mound, Texas, United States
Summary
👤
Senior🎓
Top SchoolPaul Tarau is a professor at the University of North Texas whose research spans programming languages, logic and functional programming, natural language processing, and the design of memory-managed runtime and distributed systems. He pursues curiosity-driven inquiry, translating theoretical ideas into practical implementations across Prolog, Haskell, Scala, Java, and C, including large-scale projects with thousands of lines of code. He is the author or contributor to notable open-source systems such as Styla, Jinni Prolog, BinProlog, Kernel Prolog, Giant Numbers, and Bijective Gödel Numberings. His work encompasses compiler construction, memory management, agent infrastructures, mobile code, Internet programming, 3D animation, and graph layout algorithms, illustrating a rare breadth of impact in CS research. Based in Flower Mound, Texas, he maintains an active scholarly profile with publications spanning computer science theory and systems engineering.
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 (35)
summaries10
stanza9
post-processing9
document-classification9
keyword9
pagerank9
prolog9
filter9
medium9
nlp8
sentence-similarity8
turkish8
graphs8
lda8
logic-programming8
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.