[PRL] Fwd: Send us your students!

[David Van Horn]

If you know good undergraduates that might be interested in a PhD, 
please let them about the program at UMD.

Thanks,
David


-------- Original Message --------
Subject: Send us your students!
Date: Wed, 23 Oct 2013 08:24:44 -0400
From: Michael Hicks <mwh at cs.umd.edu>
CC: Jeff Foster <jfoster at cs.umd.edu>, David Van Horn <dvanhorn at ccs.neu.edu>

Dear colleague.

I am writing to ask that you encourage your undergraduate students 
interested in programming languages, as well as computer security, to 
apply to Maryland for graduate school.

Some exciting things have happened in the last couple of years:

- We have hired David Van Horn, whom you probably know is an outstanding 
young researcher with interests in static analysis and functional 
programming, particularly in application to security problems.

- We continue to do core PL and SE work on (gradual, dynamic) type 
systems, declarative debugging, program synthesis, dynamic software 
updating, incremental computation, and more.

- We are developing a significant body of collaborative work with 
researchers in our Maryland Cybersecurity Center (MC2) in which PL is 
playing a major role:

-- Elaine Shi, just hired last year, and I have been collaborating on 
topics in privacy-preserving and verified computation, combining ideas 
involving architecture, crypto, and PL. (See papers at this year's CSF 
and next year's POPL.)

-- Jon Katz, a top-notch crypto researcher, and I have been applying 
static analysis and semantics ideas to reasoning about and optimizing 
secure multiparty computation. (See papers at this year's and last 
year's PLAS.)

-- Jeff Foster and David have been working on static analysis of mobile 
applications, and we have begun collaborations involving Michael 
Clarkson and others to strengthen this work.

- And we continue to use the Scrum-style management strategy that 
fosters an open/collaborative environment that allows students to thrive.

Thanks for reading this far; I hope to see you at upcoming conferences, 
and to see your students' applications!

Best,
-Mike (and Jeff and David)