Faculty Positions at DePaul University

                          DEPAUL UNIVERSITY

The School of Computer Science, Telecommunications and Information
Systems (CTI) of DePaul University invites applications for multiple
tenure-track positions beginning September 2001.        

Our research group in Foundations of Programming Languages would
particularly welcome applicants interested in research topics related
to the foundations and implementation of programming languages, such
as operational semantics, type theory, model checking, concurrency
theory, language implementation, models of distributed systems,
security, and categorical models of computation.

The FPL group faculty interests include:

  Alan Jeffrey: Semantic and categorical models of programming
  languages, typed semantics for concurrent and distributed systems,
  higher-order and object-oriented languages.

  Karen Bernstein Jeffrey: Data synchronization, mobile systems,
  concurrency theory, semantics of programming languages.

  John Maraist: Linear logic, lambda calculi, design patterns.

  Will Marrero: Security, model checking.

  Corin Pitcher: Higher-order and non-deterministic programming
  languages, categorical logic and type theory, operational and
  denotational semantics, security.

  James Riely: Distributed programming languages, type systems, static
  analysis, security, optimizing compilers.

CTI is a young and growing school in downtown Chicago, offering B.S.,
M.S. and Ph.D. degrees in Computer Science, Information Systems,
Software Engineering, Human-Computer Interaction, Telecommunications,
E-Commerce Technology and Distributed Systems.  CTI currently has over
70 full-time faculty, 35 Ph.D. students and a student body currently
growing at a rate of 30% per year.

For further information, please email ajeffrey@cs.depaul.edu, or see:

  http://fpl.cs.depaul.edu/                              FPL group home page
  http://www.cs.depaul.edu/                              CTI home page
  http://bach.cs.depaul.edu/recruitment/faculty_ad.htm   Faculty advert


Alan Jeffrey, CTI, DePaul University, 243 S Wabash, Chicago IL 60604
ajeffrey@cs.depaul.edu            http://fpl.cs.depaul.edu/ajeffrey/