Associate Professor
Computer Science Department
Carnegie Mellon University
Office: GHC 9101
Executive assistant: Jessica Packer, jpacker@cs.cmu.edu, 412-268-2565, GHC 9006
I research theory and practice of programming, including the design, analysis, and implementation of programming languages and algorithms. I am also interested in applications of computer science to education and lead the development of Diderot platform. I received my degrees from Bilkent University (B.S, 1997), UT Austin (MA, 1999), and Carnegie Mellon (PhD, 2005).Research
Publications
Recent Awards- 2021: Distinguished paper award (POPL 2021)
- 2020: ACM SIGPLAN Research Highlight (PPOPP 2019)
- 2019: CMU Teaching Innovation Award (Diderot Project)
Teaching
Students and Post-Docs
Diderot is a learning and engagement platform that re-imagines online learning by bringing together traditional learning materials (e.g., textbooks, quizzes, homeworks, etc) around a core of communication and interaction services. Diderot is rapidly evolving and has been used by thousands of students at Carnegie Mellon.
Funding and Acknowledgments
Diderot is generously supported by SCS Innovation Fund, National Science Foundation, Amazon Web Services, Google Cloud.
15897: Parallelism and Concurrency (Fall 2019, 2020)
Class times: Mon-Wed 10:30-11:50
Place: Gates 4303
Diderot: Please see Diderot for the course schedule and course materials.
This course covers topics in parallelism and concurrency. Specific topics include the following.
- Models of parallelism.
- Parallel algorithms for sequences
- Parallel algorithms for trees
- Parallel algorithms for graphs
- Algorithms for thread scheduling, e.g., greedy scheduling, online scheduling, and work stealing
The lectures will aim at bridging Church's and Turing's different formulations of computation and attempt at developing a "unified theory" of the fundamental concepts in computing, parallelism, and concurrency. The students will also do a project. The project could be individual or team work and on a topic that will be agreed upon by the instructor or the student(s).
|
|
