[TYPES/announce] PhD positions at the University of Illinois at Chicago

[Mansky, William Ernest]

Hello, all,

The University of Illinois at Chicago is expanding its programming languages and formal methods group and is looking for PhD students. Current faculty include:

Luís Pina (luispina at uic.edu<mailto:luispina at uic.edu>) - software reliability, dynamic analysis, dynamic software updating
William Mansky (mansky1 at uic.edu<mailto:mansky1 at uic.edu>) - language semantics, program logics, verification of concurrent and communicating programs
Lenore Zuck (zuck at uic.edu<mailto:zuck at uic.edu>) - verification, concurrency, translation validation, specification-based testing of network protocols
Prasad Sistla (sistla at uic.edu<mailto:sistla at uic.edu>) - formal methods, verification of concurrent programs, privacy and security, database systems
Venkat Venkatakrishnan (venkat at uic.edu<mailto:venkat at uic.edu>), Rigel Gjomemo (rgjome1 at uic.edu<mailto:rgjome1 at uic.edu>) - program analysis and transformation for security


Funding is available for a range of projects in the listed areas and others. Students interested in those areas, or programming languages/formal methods more broadly, are strongly encouraged to apply. Applicants should hold, or be about to obtain, a bachelors or masters degree in Computer Science or Mathematics. Please see https://cs.uic.edu/graduate/admissions/ for application information, and feel free to contact one or more professors in your areas of interest as well.

---------------------------------------------

William Mansky
Assistant Professor
Department of Computer Science
University of Illinois at Chicago

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20191104/38d1b8a5/attachment-0001.html>