Gang Chen's Home Page

Gang Chen's Homepage

_{Research Interests}

Guarded Recursive Datatype Constructor
Intersection Types and Modularity
Formal Verification and Automatic Theorem Proving
Subtyping Theory and Dependent Types
Process Calculus and Join Calculus
Programming Languages and Type Systems
Proof Assistants, Artificial Intelligence, Machine Learning
Database System and Information Management System

_Education

PhD in computer science, University Paris VII, France.
MS in computer science, Pekin University, China.
BS in mathematics, Zhejian University, China.

_{Research Experience}

2001 - now: Research assocaite, Boston University, USA.
1999 - 2001: Software engineer, Motorola Adelaide Software Center, Australia.
1998 - 2001: Research fellow, and then adjunct lecturer, Uni. of South Australia.
1994 - 1998: Research intern, Uni. Paris 7 and Ecole Normale Superieure, France.
1986 - 1994: Lecturer, Shanghai Jiaotong University, China.

_Publication

recently available list

Software
The graphical user interfaces I've developed on Windows 95/NT,

For Coq : download WinCoq

For Ocaml :download WinOcaml

For SML of New Jersey: download WinSML

Teaching in University of South Australia
   Computer Science 4 (Automata, Formal Language and Complexity)
     Slides :                            week1      week2     week3      week4     week5
      2000   Tuesday               ps.gz       ps.gz       ps.gz        ps.gz      ps.gz
                 Thursday             ps.gz        ps.gz       ps.gz        ps.gz

Links

Researchers and Publications in Modularity.

Universities where I stayed .

gangchen@types.bu.edu