Faculty Positions at DePaul University
FACULTY POSITIONS IN COMPUTER SCIENCE
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 email@example.com, 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