Paul
Tarau
Research
Interests - Link to Papers
Inferential
Aspects of Programming
Languages, Logic and Functional Programming,
Computational Mathematics, Combinatorial Generation, Circuit Synthesis,
Compilers
and Abstract Machines,
Natural
Language
Processing, Agent Infrastructures.
Impact index of
past publications: here.
NEW: this 150 pages literate Haskell paper and code (also here) describes isomorphic mappings between fundamental data types - a kind of "Theory of Everything" - well, just everything computational, for now :-) Related talks at: CALCULEMUS 2009 and PPDP 2009.
Personal
NEWS:
My wife Brenda
Luderman and
myself are happy to announce that we have a new family member, Siena Marlene
Tarau. Here are a few pictures with
her.
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
Policy
on directed studies and projects: I will only consider requests
for directed studies and projects only
for students working on a PhD and MSc thesis. Otherwise, I believe that
regular classes, involving team work and presentations are likely to
provide a more complete learning experience.
Fall 2009: Office Hours: MW 3:10pm-3:30pm, 4:50pm-6:30pm
CSCE 4430/5450: Programming Languages
MW 3:30pm 4:50pm NTRP B142
CSCE 5420: Software
Development
MW
6:30pm-7:50pm NTRP B192
Spring 2009 CSCE
4430/5450:
Programming
Languages CSCE 5430: Topics in Software
Enginnering
Fall
2008 CSCE 4430/5450: Programming Languages CSCE 5420: Software Development
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.
Curriculum Vitae
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:
CICLOPS 2009 9th
International Colloquium on Implementation of Constraint and LOgic
Programming Systems at ICLP'09
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
Selected
software
- 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)
Extended CV with List
of Recent Publications: PDF PostScript HTML
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: