Paul Tarau  Paul Tarau Personal Links:  My wife Brenda Luderman and our kids  Dylan and Siena Tarau.

Research - Teaching - Papers – New software: Styla, an open source Prolog-in-Scala system.
Research Interests - 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.  Currently working on this NSF supported research project on a  data transformation framework that allows “morphing” between data types sharing the same information. This 158 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 :-)  This Mathematica notebook visualizes some of the isomorphisms and this Coq script verifies some related computations. Related talks at: SAC 2009,  CALCULEMUS 2009,  PPDP 2009, TFP 2010 (slides1, slides2), CALCULEMUS 2010, PPDP 2010,(slides, pics) ICTAC 2010, MSFP 2010 (slides), CiE 2011, ICTAC 2011, SAC’12, PADL’12. And, on a different thread – DAMP2011 (slides), a new TPLP paper and talks at ISMM 2011 (slides) and Coordination 2011 (slides).

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 consider requests for directed studies and projects only for students working on a PhD or MSc thesis. Otherwise, I believe that regular classes, involving team work and presentations are likely to provide a more complete learning experience. Requests to work as TA should be addressed directly to the department. Reference letters from me are not needed, and should not be requested, as the priority list is built independently by the department.

Spring 2012:  Office Hours:  Tuesday 4:30-5:00pm Thu 4:30-6:00pm. Travel: Jan 23-27 – presenting a paper at PADL’12

CSCE 4430 Programming Languages: Tuesday 5:00pm-7:50pm, room B140
CSCE 5430 Topics in Software Engineering: Thursday 6:00pm-8:50pm, room B190

 

Fall 2011 CSCE 5420: Software Development CSCE 6933 Topics in Computational Mathematics

Spring 2011 CSCE 5170: Graph Theory CSCE 4430: Programming Languages

Fall 2010 CSCE 5450: Programming Languages CSCE 6933 Topics in Computational Mathematics

Spring 2010 CSCE 3600: Principles of System Programming CSCE 5430: Topics in Software Engineering

Fall 2009 CSCE 4430/5450: Programming Languages CSCE 5420:  Software Development

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)

Program committees: GPCE’12 , TextGraphs-7,   FLOPS’2012, ACM SAC’12/CM,  PPDP’11, DSL’11, CICLOPS’11, 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 DSL,PPDP,PADL,ICLP, ILPS, JICSLP, PLILP, LOPSTR conferences

Workshops organized:

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

Selected papers and software

Extended CV with List of Recent Publications (PDF)

Online papers: browse ,  References to papers

Impact of recent work: WWW 

Visitors since Jan 14 1996:http://counter.digits.com/wc/-d/5/tarau