[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hi everyone,
I'm looking for PhD students to join me on one of several projects
relating to programming languages, analysis tools and type systems for
parallel, concurrent and high-performance computing. Projects my group
is actively involved in include:
- Performance analysis and optimization for CUDA kernels
- Static analysis of the parallel dependency structure of code in order
to aid reasoning and optimization
- Languages and type systems for ensuring responsiveness and efficiency
in workloads that are both interactive and highly parallel
I'm also open to new projects along these general lines, according to
the interest and experience of students.
It's helpful to have some background in PL formalisms and type systems.
As you can see, most of my active projects touch on concurrency or HPC
in some way; experience and interest here is a plus but not necessary.
Illinois Tech is located a few minutes from downtown Chicago in the
historic, diverse Bronzeville neighborhood. Our high-performance
computing group is among the top in the country and frequently
collaborates with Argonne National Labs, just outside Chicago. Overall,
this is an exciting place to be!
The application is here: https://urldefense.com/v3/__https://www.iit.edu/admissions-aid/apply__;!!IBzWLUs!S3d0q-e3niqRvyO6falyFOXt2sv9qYdnj1MeRCQL7IrcXemOABumHdOKugAaEt8LEWH_2sfxBJItkPtHUycXB20TIfuF_XFl$ . Note
the official deadline is soon (Jan. 31), but the application is fairly
straightforward (and applications may still be considered after the
deadline, but it's not guaranteed). If you're interested and/or you
apply, do drop me an email since the applications all go into the same
pool and I wouldn't want to miss any.
Let me know if you'd like more information, or see my website:
https://urldefense.com/v3/__http://cs.iit.edu/*smuller/__;fg!!IBzWLUs!S3d0q-e3niqRvyO6falyFOXt2sv9qYdnj1MeRCQL7IrcXemOABumHdOKugAaEt8LEWH_2sfxBJItkPtHUycXB20TIRgzav20$
Stefan
--
Stefan Muller
Gladwin Development Chair Assistant Professor
Computer Science Department
Illinois Institute of Technology
