Paul Tarau

Research Interests
Inferential Aspects of Programming Languages, Logic and Functional Programming, Natural Language Processing,  Computational Mathematics, Combinatorial Generation, Circuit Synthesis,  Compilers and Abstract Machines,  Agent Infrastructures

Contact Information
E-mail :  t a r a u@cs.unt.edu
WWW : http://www.cs.unt.edu/~tarau
Address: Department of Computer Science and Engineering, University of North Texas, P.O. Box 311366, Denton, Texas 76203-6886, USA
Phone :  +1-940-565-2806, +1-940-565-2767
Fax : +1-940-565-2799

Teaching

Fall 2008: Office Hours: MW 4:50pm-6:20pm

CSCE 4430/5450: Programming Languages MW 03:30pm-04:50pm NTRP B142
CSCE 5420:  Software Development MW  06:30pm-07:50pm NTRP B192

NLP Research Group Meeting: To be Determined

Spring 2008 CSCE 4430/5450: Programming Languages CSCE 5430: Topics in Software Enginnering
Fall 2007: CSCE 4430/5450: Programming Languages CSCE 5420: Software Development
Spring 2006: CSCE 5210: Artificial Intelligence  CSCE 5450: Programming Languages
Fall  2005:  CSCE 5450: Programming Languages CSCE 4430:  Programming Languages
Spring  2005: CSCI 5410:  Artificial Intelligence CSCI  4300:   Survey of Computer Languages
Fall  2004: CSCI 4410:  Introduction to Artificial Intelligence CSCI 4250:   Survey of Computer Languages
Spring  2004: CSCI 5410: - Artificial Intelligence CSCI 3400: - Data Structures
Fall  2003: CSCI 6330: Advanced Topics in Software Agents CSCI 4250: Survey of Computer Languages
Spring 2003: CSCI 5250: - Programming Languages CSCI 5540: - Operating Systems
Fall 2002:  CSCI 4250 Survey of Computer Languages, CSCI 5250 Programming Languages,
Spring 2002: CSCI 5530 Topics in Software Engineering CSCI 5550 Compiler Design
Fall 2001:  CSCI 4250 Survey of Computer Languages, CSCI 5250 Programming Languages,
Spring 2001: CSCI 5530 Topics in Software Engineering CSCI 5550  Compiler Design
Fall 2000:  CSCI 4250 Survey of Computer Languages, CSCI 5250 Programming Languages,
Spring 2000: CSCI 5530 Topics in Software Engineering CSCI 6330  Advanced Internet Programming
Fall 1999:  CSCI 4250 Survey of Computer Languages, CSCI 5250 Programming Languages
Spring 1999: CSCI 5530 Topics in Software Engineering,  CSCI 6330 Intelligent Mobile Agents
Fall 1998: CSCI 4250 Survey of Computer Languages, CSCI 5250 Programming Languages.

Academic position: Associate Professor
Education: Ph.D. Univ. of Montreal, Canada 1990 (Computer Science), M.Sc. Univ. Laval, Canada 1986 (Computer Science)

Recent program committees: ACM SAC'09, CICLOPS'08, ICLP'07, ACM SAC'06,  ICLP'04, PADL'04,  INAP'04, SONA'04, PADL'03, PADL'02, CICLOPS2002, PPDP'2000, CL2000,JFPLC'2000, ESAW'2000,MAS'99, COCL'99,IDL'99,DIPLCLP'99,WETICE'98, JICSLP'98,JFPLC'98,COCL'98, ILPS'97, JICSLP'96, JFPL'96, ICLP'95, LOPSTR'95

Refereeing: Theory and Practice of Logic Programming, 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 organizing:
IDL'99 International Workshop on Implementation of Declarative Languages at PLI'99
DIPLCL'99 International Workshop on Distributed and Internet Programming with Logic and Constraint Languages at ICLP'99
ICLP'97: 2nd International Workshop on Logic Programming Tools for Internet Applications
CP'97 Workshop on Constraint Reasoning for the Internet
JICSLP'96: 1st International Workshop on Logic Programming Tools for Internet Applications
ILPS'94: Implementation of Logic Programming Languages
ICLP'93: Blackboard Based Logic Programming

Invited talks:
I2CS2001,AGP'99, JELIA'98, PITCLPL'98, WWW6 LP and the Web workshop, LP and Internet tutorial at ILPS'97, The Logic Programming Paradigm, Current Trends and Future Directions'98, 2000 International  Summer School in Computational Logic  (ISCL 2000),  Summer School 99 on (Constraint) Logic Programming

Keynote Speech at: INAP'96

• Circuit Synthesis, Combinatorics, Computational Mathematics in Haskell and Prolog
  
• Jinni: a multi-threaded Prolog compiler, written in Java supporting Agents and Object Oriented Logic Programming
  BinProlog:  a high performance, multi-threaded Prolog compiler featuring distributed programming tools
• Word Net based Conversational Agent
• Prolog3D Agent Based 3D Animation and 3D Graph Visualisation Framework
• Open Source Kernel Prolog
• BinProlog + Assumption Grammars based VRML 2.0 generator
• LogiMOO  multi-user Virtual World programmable in controlled English
• jProlog an experimental Prolog to Java translator (precompiled version here)

Online papers: browse ,  References to papers

Impact of recent work: WWW Visit BinNet a software company providing commercial versions of BinProlog, Jinni and hosting their  open source variants.

Visitors since Jan 14 1996: