Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Paul Tarau's Home Page

Paul Tarau

Visit BinNet Corp. , a new Internet technology company selling and supporting commercial versions of BinProlog and Jinni.

Research Interests

Java and Prolog based Implementation Technologies for Intelligent Mobile Agents,
Compilers and Abstract Machines, Distributed Logic Programming, Agent Coordination Protocols,
Internet Technologies, Natural Language Processing/Speech IO, Shared Virtual Worlds

Contact Information

E-mail : <replace with my family name>@cs.unt.edu
WWW : http://www.cs.unt.edu/~tarau
Address: Department of Computer Science, University of North Texas, P.O. Box 311366, Denton, Texas 76203, USA
Phone : Tel : +1-940-565-2822, +1-940-565-2767,
Fax : +1-940-565-2799

Teaching, Fall 1998: CSCI 4250 CSCI 5250 Links: Office Hours: GAB 525F TUES/THUR 12:30-13:30, 18:30-19:30

Vita

Title: Associate Professor
Education: PhD. Univ. de Montreal 1990 (Comp. Sci.), MSc. Univ. Laval 1986 (Comp. Sci)
Recent Funding: NSERC Research + Equipment, FESR of Univ. Moncton and ICTL research grants, BC innovative teaching grant
Recent program committees: WETICE'98, JICSLP'98, JFPLC'98, COCL'98, ILPS'97, JICSLP'96, JFPL'96, ICLP'95, LOPSTR'95
Refereeing: Journal of Logic Programming, Journal of LISP and Symbolic Computation, TOPLAS, Journal of Computer Languages and ILPC, ILPS, JICSLP, PLILP, LOPSTR, ACM-SAC conferences
Workshop co-organizing: ICLP'93: Blackboard Based Logic Programming,
ILPS'94: Implementation of Logic Programming Languages,
JICSLP'96: 1st International Workshop on Logic Programming Tools for Internet Applications
ICLP'97: 2nd International Workshop on Logic Programming Tools for Internet Applications
CP'97 Workshop on Constraint Reasoning for the Internet
JICSLP'98 Workshop: Parallelism and Implementation Technologies for (Constraint) Logic Programming Languages
Keynote Speech at: INAP'96
Invited talks: JELIA'98, PITCLPL'98, WWW6 LP and the Web workshop, tutorial at ILPS'97
Invited participations: The Logic Programming Paradigm, Current Trends and Future Directions'98

Selected software:

Jinni: a multithreaded networked Java component based on a lightweight agent scripting language with deductive reasoning abilities
Internet-ready BinProlog , a high performance compiler featuring distributed programming tools (integrated Linda client and server) available from: http://www.cs.unt.edu/BinProlog
BinProlog+ Assumption Grammars based VRML 2.0 generator
Try it out here (requires CosmoPlayer or WorldView)
Multi-threaded Java version of the Linda Interactor , a coordination package for high-level distributed programming
LogiMOO, A multi-user Virtual World programmable in controlled English
jProlog , an experimental Prolog to Java translator, get it from here!

Extended CV with List of Recent Publications: http://www.cs.unt.edu/~tarau/art/art.html

Online papers : http://www.cs.unt.edu/~tarau/research : References to papers (bibref):

Impact of recent work: WWW, Usenet

Married to: Mai-Phuong Nguyen.

Try a BinProlog based CGI Web-counter Visitors since Jan 14 1996: