Home

Faculty

Students

Edward Amsden
Eric Holk
Aaron Hsu
Roshan James
Abhishek Kulkarni
Lindsey Kuper
Nilesh Mahajan
Paul Ojanen
Chun-Yu Shei
Zach Sparks
Cameron Swords
wren ng thornton
John-Paul Verkamp
Yin Wang

Some recent alumni

Michael Adams (Ph.D. 2011)
Claire Alvis (B.S. 2011)
Billy Bowman (M.S. 2012)
Will Byrd (Ph.D. 2009)
Adam Foltzer (M.S. 2012)
Steve Ganz (Ph.D. 2006)
Abdulaziz Ghuloum (Ph.D. 2009)
Andy Keep (Ph.D. 2013)
Joseph P. Near (B.S. 2008)
Dipanwita Sarkar (Ph.D. 2008)
Rebecca Swords (M.S. 2011)
Hongyan Wang (M.S. 2012)

Faculty emeriti

Kent Dybvig

Former members

Jamie Perconti
Kyle Ross

Research

Our group's research interests cover a wide spectrum of topics related to the semantic and logic foundations of programming languages, language design, type theory, compilers, program analysis and optimization, program specification and construction, and emerging models of computation.

Colloquium series

Mailing list

pl-wonks-l, our official mailing list

Regularly offered courses

CSCI C311/B521: Programming Language Principles
CSCI B522: Programming Language Foundations (recent offerings: spring 2013, spring 2012, spring 2011, fall 2009)
CSCI P423/P523: Compilers

Recent special topics courses

CSCI B629 Fall 2012: Advanced Functional Programming: Agda
CSCI B629 Fall 2011: Domain-Specific Languages and Compilers: Performance meets Productivity
CSCI B629 Spring 2011: Reversible and Quantum Computing
CSCI B629 Fall 2010: Integrating Static and Dynamic Typing
CSCI B629 Spring 2010: Language-Based Approaches to Security

Some related groups at IU

Activities

Dan Friedman's 60th birthday celebration
2009 Quantum Logic Inspired by Quantum Computation workshop at IU
POPL 2012 road trip