This repository has been archived by the owner on Jul 4, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 10
/
people.html
420 lines (378 loc) · 44.7 KB
/
people.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
<!DOCTYPE html>
<html lang="en"><head><meta charset="utf-8" />
<meta http-equiv="X-UA-Compatible" content="IE=edge" />
<meta name="viewport" content="width=device-width, initial-scale=1" />
<meta property="og:title" content="NEU PRL" />
<meta property="og:description" content="Programming Research Laboratory @ Northeastern&nbsp;University" />
<meta property="og:image" content="img/prl-bg.png" />
<title>People - Programming Research Laboratory - Northeastern University</title>
<!-- Bootstrap -->
<link href="css/bootstrap.min.css" rel="stylesheet" />
<!-- Custom css -->
<link href="css/custom.css" rel="stylesheet" />
<!-- Fonts -->
<link href="https://fonts.googleapis.com/css?family=Ubuntu:300" rel="stylesheet" type="text/css" />
<link href="https://fonts.googleapis.com/css?family=PT+Sans" rel="stylesheet" type="text/css" />
<!-- For IE 9 and below. ICO should be 32x32 pixels in size -->
<!-- [if IE]><link rel="shortcut icon" href="img/favicon.ico"><![endif] -->
<!-- Firefox, Chrome, Safari, IE 11+ and Opera. 196x196 pixels in size. -->
<link rel="icon" href="img/favicon.png" />
<!-- HTML5 shim and Respond.js for IE8 support of HTML5 elements and media queries -->
<!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
<!-- [if lt IE 9] -->
<script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
<script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
<!-- <![endif] --> </head>
<body id="pn-top" class="subpages"><nav class="navbar navbar-inverse"><div class="container"><div class="row"><div class="navbar-header"><button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#navbar" aria-expanded="false" aria-controls="navbar"><span class="sr-only">Toggle navigation</span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span></button></div>
<div id="navbar" class="navbar-collapse collapse"><ul class="nav navbar-nav"><li role="presentation"><a href="./">Home</a></li><li role="presentation" class="active"><a href="#">People</a></li><li role="presentation"><a href="teaching.html">Teaching</a></li><li role="presentation"><a href="seminars.html">Seminars</a></li><li role="presentation"><a href="software.html">Software</a></li><li role="presentation"><a href="publications.html">Publications</a></li><li role="presentation"><a href="new-members.html">New Members</a></li><li role="presentation"><a href="contact.html">Contact</a></li><li role="presentation"><a href="blog/index.html">Blog</a></li></ul> </div></div></div></nav>
<div class="jumbotron subpages"><div class="container"><div class="row"><div class="col-md-12"><h1>Staff</h1></div></div></div></div>
<div class="pn-main-wrapper"><div class="content"><div class="container">
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/mitch_wand.jpg" title="Mitch Wand" alt="Mitch Wand" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Mitch Wand</span>
<br />
Emeritus Professor
<br />
<a href="mailto:wand@ccs.neu.edu">wand@ccs.neu.edu</a>
<br />
<a href="http://ccs.neu.edu/home/wand">http://ccs.neu.edu/home/wand</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined Northeastern, 1985<br />Joined Indiana University, 1973<br />PhD, MIT, 1973<br />BS, MIT, 1969</div>
<div class="col-md-12 pn-bio"><p>Over the years, I have worked on a variety of problems associated with semantics of programming languages.
Here is a selected list, in roughly reverse chronological order: probabilistic programming languages, binding-safe programming, aspect-oriented programming, analysis-based program transformation, compiler correctness proofs, continuations, macros.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/karl_lieberherr.jpg" title="Karl Lieberherr " alt="Karl Lieberherr " /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Karl Lieberherr </span>
<br />
Professor
<br />
<a href="mailto:lieber@ccs.neu.edu">lieber@ccs.neu.edu</a>
<br />
<a href="http://ccs.neu.edu/home/lieber/">http://ccs.neu.edu/home/lieber/</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined Northeastern, 1985<br />Joined Princeton, 1979<br />Ph.D. and Diplom ETH Zurich, 1968-1977</div>
<div class="col-md-12 pn-bio"><p>My current research is about using deep reinforcement learning and Monte Carlo Tree Search (a Google/DeepMind algorithm) to synthesize instance-based programs to solve problems formulated in interpreted first-order logic, e.g., algorithmic problems.
My earlier work in programming methodology centers on using (1) context-free grammars for abstract data types and domain-specific languages (the Demeter Method); (2) a succinct and exact definition of a detector for an interesting class of software design problems: The Law of Demeter (Don't Talk to Strangers); it allows for a direct application when writing object-oriented code; (3) aspect-oriented programming.
I am also interested in problem-solving methodology in algorithms and I helped to develop the classical golden-ratio result for Satisfiability.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/matthias_felleisen.jpg" title="Matthias Felleisen" alt="Matthias Felleisen" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Matthias Felleisen</span>
<br />
Trustee Professor
<br />
<a href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</a>
<br />
<a href="http://ccs.neu.edu/home/matthias">http://ccs.neu.edu/home/matthias</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined Northeastern, 2001<br />Joined Rice, 1987<br />PhD, Indiana University, 1987<br />Diplom TH Karlsruhe, 1984<br />MS University of Arizona, 1981</div>
<div class="col-md-12 pn-bio"><p>I explore all aspects of program design and programming language design. My current research involves work on behavioral software contracts, gradual typing of scripting languages, language interoperability, language extensibility, and module systems. I also engage in educational outreach work. For the past 20 years, I have worked with middle schools, high schools, after-school programs, and college faculty on injecting design ideas into mathematics and computer science courses. Such educational interactions often inspire our research, and many research efforts end up improving my educational work.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/olin_shivers.jpg" title="Olin Shivers" alt="Olin Shivers" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Olin Shivers</span>
<br />
Professor
<br />
<a href="mailto:olin@ccs.neu.edu">olin@ccs.neu.edu</a>
<br />
<a href="http://www.ccs.neu.edu/home/shivers/">http://www.ccs.neu.edu/home/shivers/</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined Northeastern, 2006<br />Joined Georgia Tech, 1999<br />Joined MIT, 1993<br />PhD, Carnegie Mellon University, 1991<br />BS, Yale University, 1983</div>
<div class="col-md-12 pn-bio"><p>My principal research interests include the construction of robust, complex software artifacts and the design of tools that assist programmers in this task; the interaction between systems and programming languages, primarily higher-order typed languages; the design and analysis of programming languages; and compilers. Before coming to Northeastern, I was a research scientist at MIT’s Artificial Intelligence Lab, a founder and CTO of the Smartleaf Corporation, and a faculty member at the Georgia Institute of Technology.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/amal.jpg" title="Amal Ahmed" alt="Amal Ahmed" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Amal Ahmed</span>
<br />
Associate Professor
<br />
<a href="mailto:amal@ccs.neu.edu">amal@ccs.neu.edu</a>
<br />
<a href="http://ccs.neu.edu/home/amal">http://ccs.neu.edu/home/amal</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined Northeastern, 2011<br />Joined Indiana University, 2009<br />Joined Toyota Technological Institute, 2006<br />Joined Harvard University, 2004<br />PhD Princeton University, 2004</div>
<div class="col-md-12 pn-bio"><p>I work on problems involving semantics of programming languages, including advanced type systems for programs that manipulate memory, correct and secure compilation, gradual typing, and language interoperability. My prior work has shown how to scale the logical relations proof method to realistic languages. This technique has been used in numerous contexts, e.g., to prove compiler correctness, to verify concurrent code, to establish guarantees provided by type systems for confidentiality or differential privacy. My present focus is on how to build verified compilers that ensure safe linking of code compiled from different programming languages.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/ben_lerner.jpg" title="Ben Lerner" alt="Ben Lerner" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Ben Lerner</span>
<br />
Lecturer
<br />
<a href="mailto:blerner@ccs.neu.edu">blerner@ccs.neu.edu</a>
<br />
<a></a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined Northeastern, 2014<br />PhD, University of Washington, 2011</div>
<div class="col-md-12 pn-bio"><p>I have worked on problems in web programming semantics, including designing and analyzing extensibility mechanisms for browsers, studying the interactions between extensions and each other or with intended browser behavior. With colleagues at Brown, I have been helping to design and implement a language that focuses on the linguistic support needed for introductory-level pedagogy.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/jan_vitek.jpg" title="Jan Vitek" alt="Jan Vitek" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Jan Vitek</span>
<br />
Professor
<br />
<a href="mailto:vitekj@me.com">vitekj@me.com</a>
<br />
<a href="http://janvitek.org">http://janvitek.org</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined Northeastern, 2014<br />Joined Purdue, 1999<br />PhD, University of Geneva, 1999<br />MSc, University of Victoria, 1995</div>
<div class="col-md-12 pn-bio"><p>I work on the design and implementation of programming languages. I led the implementation of the first real-time Java virtual machine to be flight-tested. With Noble and Potter, I proposed what became known as Ownership Types. I tried to understand JavaScript by dynamic analysis and am now looking at supporting scalable data analysis in R.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/frank_tip.jpg" title="Frank Tip" alt="Frank Tip" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Frank Tip</span>
<br />
Professor
<br />
<a href="mailto:tip@acm.org">tip@acm.org</a>
<br />
<a href="http://www.franktip.org/">http://www.franktip.org/</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined Northeastern, 2016<br />Joined Samsung Research America, 2014<br />Joined University of Waterloo, 2012<br />Joined IBM T.J. Watson Research Center, 1995<br />PhD University of Amsterdam, 1995</div>
<div class="col-md-12 pn-bio"><p>My research is in the areas of Programming Languages and Software Engineering and is focused on the use of program analysis in tools that help increase programmer productivity and software quality. Specific topics that I've worked on in recent years include tools for detecting and localizing bugs, refactoring, test generation, and optimization.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/jhemann.jpg" title="Jason Hemann" alt="Jason Hemann" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Jason Hemann</span>
<br />
Clinical Lecturer
<br />
<a href="mailto:jhemann@ccis.neu.edu">jhemann@ccis.neu.edu</a>
<br />
<a href="http://hemann.pl">http://hemann.pl</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined Northeastern, 2018<br />PhD, Indiana University, 2018</div>
<div class="col-md-12 pn-bio"><p>My research interests include functional and logic programming. I
focus on embeddings and extensions to support logic programming in
numerous host languages and transforming functional programs to
relational ones. The microKanren model has inspired scores of
implementations (more than 120), in over 40 host languages, in just five
years. My other interests concern novel uses of logic programming and
symbolic constraint systems and typesafe embeddings of logic
languages.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/john_h_reppy.jpg" title="John H. Reppy" alt="John H. Reppy" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">John H. Reppy</span>
<br />
Visiting Professor
<br />
<a href="mailto:jhr@cs.uchicago.edu">jhr@cs.uchicago.edu</a>
<br />
<a href="http://people.cs.uchicago.edu/~jhr/">http://people.cs.uchicago.edu/~jhr/</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Visiting Northeastern, 2019–2020<br />Joined University of Chicago, 2002</div>
<div class="col-md-12 pn-bio"><p>My main area of research is in the design and implementation of advanced programming languages, including functional languages, object-oriented languages, and concurrent languages. My current research focus is on parallel language design and implementation for multicore architectures and real-time graphical applications.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/arjun_guha.png" title="Arjun Guha" alt="Arjun Guha" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Arjun Guha</span>
<br />
Associate Professor
<br />
<a href="mailto:a.guha@northeastern.edu">a.guha@northeastern.edu</a>
<br />
<a href="https://ccs.neu.edu/~arjunguha/">https://ccs.neu.edu/~arjunguha/</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined Northeastern, 2020<br />Joined University of Massachusetts Amherst, 2013<br />Postdoc, Cornell University, 2012–2013<br />PhD, Brown University, 2012<br />BA, Grinnell College, 2006</div>
<div class="col-md-12 pn-bio"><p>I have broad interests in programming languages, but usually work on language-based approaches to security, reliability, and performance. I've spent several years thinking about JavaScript (semantics, type checking, static analysis, reactive programming, and more). I also spent several years working on programming languages for software-defined networking. These days, I study problems that arise in cloud computing, system configurations, and robotics, through the lens of programming languages.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/jon_bell.jpg" title="Jon Bell" alt="Jon Bell" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Jon Bell</span>
<br />
Assistant Professor
<br />
<a href="mailto:jon@jonbell.net">jon@jonbell.net</a>
<br />
<a href="https://www.jonbell.net/">https://www.jonbell.net/</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined Northeastern, 2020<br />Joined George Mason University, 2016<br />PhD, Columbia University, 2016<br />M.Phil, Columbia University, 2014<br />MS, Columbia University, 2011<br />BS, Columbia University, 2010</div>
<div class="col-md-12 pn-bio"><p>I apply a systems perspective to software engineering challenges, observing the issues that developer face when creating reliable software, and then designing new mechanisms to support developers. My research focuses on improving existing developer-written tests, making them run faster and more reliably while amplifying them to be more comprehensive and also tracking their overall quality. Rather than focus solely on finding a handful of high-value “million dollar bugs” in a small pool of high-assurance software, my research aims to have very broad impacts, helping everyday developers just as much as experts.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/john_boyland.jpg" title="John Boyland" alt="John Boyland" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">John Boyland</span>
<br />
Visiting Professor
<br />
<a href="mailto:j.boyland@northeastern.edu">j.boyland@northeastern.edu</a>
<br />
<a href="http://www.cs.uwm.edu/faculty/boyland/">http://www.cs.uwm.edu/faculty/boyland/</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Visiting Northeastern, 2020–2021<br />Joined University of Wisconsin-Milwaukee, 1998<br />Joined Carnegie Mellon University, 1996<br />PhD University of California, Berkeley 1996</div>
<div class="col-md-12 pn-bio"><p>I am interested in language description and meta-programming. My work is in (most recent first) gradual typing, logical meta-programming, permission systems, attribute grammars and compiler construction. I particularly enjoy collaboration with others on their projects.</p></div></div></div></div></div>
<div class="pn-separator-img"><h2>Students</h2></div>
<div class="container">
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/leif_andersen.jpg" title="Leif Andersen" alt="Leif Andersen" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Leif Andersen</span>
<br />
Advisor: Matthias Felleisen
<br />
<a href="mailto:leif@ccs.neu.edu">leif@ccs.neu.edu</a>
<br />
<a href="http://ccs.neu.edu/home/leif">http://ccs.neu.edu/home/leif</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined 2014</div>
<div class="col-md-12 pn-bio"><p>I study programming languages in PLT at Northeastern University. I study compilers, domain specific languages for writing compilers, and performance tools.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/Samuel-Caldwell-Index-Image.jpg" title="Sam Caldwell" alt="Sam Caldwell" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Sam Caldwell</span>
<br />
Advisor: Matthias Felleisen
<br />
<a href="mailto:samc@ccs.neu.edu">samc@ccs.neu.edu</a>
<br />
<a href="http://ccs.neu.edu/home/samc">http://ccs.neu.edu/home/samc</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined 2015</div>
<div class="col-md-12 pn-bio"><p>I came to Northeastern from Austin, Texas, where I did my undergrad and spent several years working in embedded software. I’m interested in using ideas and tools from programming languages to make the world a better place for everyone that uses computers.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/Benjamin-Chung-Index-Image.jpg" title="Benjamin Chung" alt="Benjamin Chung" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Benjamin Chung</span>
<br />
Advisor: Jan Vitek
<br />
<a href="mailto:bchung@ccs.neu.edu">bchung@ccs.neu.edu</a>
<br />
<a href="http://benchung.github.io">http://benchung.github.io</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined 2015</div>
<div class="col-md-12 pn-bio"><p>I usually work on types, currently focusing on gradual type systems.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/olivier_fluckiger.jpg" title="Olivier Flückiger" alt="Olivier Flückiger" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Olivier Flückiger</span>
<br />
Advisor: Jan Vitek
<br />
<a href="mailto:o@o1o.ch">o@o1o.ch</a>
<br />
<a href="http://www.o1o.ch/about">http://www.o1o.ch/about</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined 2015</div>
<div class="col-md-12 pn-bio"><p>My passion lies in language implementation — creating the tools and techniques required to get from powerful abstractions to efficient execution.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/daniel_patterson.jpg" title="Daniel Patterson" alt="Daniel Patterson" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Daniel Patterson</span>
<br />
Advisor: Amal Ahmed
<br />
<a href="mailto:dbp@ccs.neu.edu">dbp@ccs.neu.edu</a>
<br />
<a href="https://dbp.io">https://dbp.io</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined 2016</div>
<div class="col-md-12 pn-bio"><p>I'm interested in language and type system interoperability — in particular, languages with very different type systems interacting easily and safely.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/yee-crop.jpg" title="Ming-Ho Yee" alt="Ming-Ho Yee" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Ming-Ho Yee</span>
<br />
Advisor: Jan Vitek
<br />
<a href="mailto:mhyee@ccs.neu.edu">mhyee@ccs.neu.edu</a>
<br />
<a href="http://mhyee.com/">http://mhyee.com/</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined 2016</div>
<div class="col-md-12 pn-bio"><p>I'm interested in programming language design and implementation, as well as static program analysis.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/aviral-goel.jpeg" title="Aviral Goel" alt="Aviral Goel" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Aviral Goel</span>
<br />
Advisor: Jan Vitek
<br />
<a href="mailto:goel.av@husky.neu.edu">goel.av@husky.neu.edu</a>
<br />
<a href="http://aviral.io/">http://aviral.io/</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined 2017</div>
<div class="col-md-12 pn-bio"><p>Currently, I am working on static program analysis. I am interested in all aspects of programming languages — syntax, semantics, type-systems, and compilers.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/aaron_weiss.jpg" title="Aaron Weiss" alt="Aaron Weiss" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Aaron Weiss</span>
<br />
Advisor: Amal Ahmed
<br />
<a href="mailto:weiss@ccs.neu.edu">weiss@ccs.neu.edu</a>
<br />
<a href="https://aaronweiss.us/">https://aaronweiss.us/</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined 2017</div>
<div class="col-md-12 pn-bio"><p>I'm interested in type systems and verification. I want to help build a world where the critical software that runs our lives is provably safe.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/ballantyne.jpg" title="Michael Ballantyne" alt="Michael Ballantyne" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Michael Ballantyne</span>
<br />
Advisor: Matthias Felleisen
<br />
<a href="mailto:michael.ballantyne@gmail.com">michael.ballantyne@gmail.com</a>
<br />
<a href="http://mballantyne.net">http://mballantyne.net</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined 2017</div>
<div class="col-md-12 pn-bio"><p>I find delight in programming languages that allow extension of their notation, syntactic forms, type systems, runtime behaviors, and development environments. My research aims to build the foundations needed to bring these extensibility features into widespread use.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/artem_pelenitsyn.jpg" title="Artem Pelenitsyn" alt="Artem Pelenitsyn" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Artem Pelenitsyn</span>
<br />
Advisor: Jan Vitek
<br />
<a href="mailto:a.pelenitsyn@gmail.com">a.pelenitsyn@gmail.com</a>
<br />
<a href="http://mmcs.sfedu.ru/~ulysses">http://mmcs.sfedu.ru/~ulysses</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined 2018</div>
<div class="col-md-12 pn-bio"><p>I am interested in typed functional programming and corresponding languages, mostly Haskell, type and effect systems, mathematics of program construction. Lately, I was working on a principled approach to the Julia programming language.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/julia_belyakova.jpg" title="Julia Belyakova" alt="Julia Belyakova" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Julia Belyakova</span>
<br />
Advisor: Jan Vitek
<br />
<a href="mailto:julbinb@gmail.com">julbinb@gmail.com</a>
<br />
<a href="http://julbinb.github.io/">http://julbinb.github.io/</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined Northeastern, 2018<br />Joined Czech Technical University in Prague, 2017<br />Joined Southern Federal University, 2014<br />MS, Southern Federal University, 2014</div>
<div class="col-md-12 pn-bio"><p>My primary research interests are programming languages and type theory. I am also fond of theorem proving, generic programming, object-oriented and functional programming, software engineering, programming by contracts, software testing. Currently I work on formalizing subtyping for the Julia programming language.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/alexi_turcotte_small.jpg" title="Alexi Turcotte" alt="Alexi Turcotte" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Alexi Turcotte</span>
<br />
Advisor: Jan Vitek
<br />
<a href="mailto:alexi@ccs.neu.edu">alexi@ccs.neu.edu</a>
<br />
<a href="https://reallytg.github.io/">https://reallytg.github.io/</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined 2018</div>
<div class="col-md-12 pn-bio"><p>I like reasoning about programs and implementing languages. Programming makes me happy. Programming about programming makes me happier.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/ellen_arteca_small.jpg" title="Ellen Arteca" alt="Ellen Arteca" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Ellen Arteca</span>
<br />
Advisor: Frank Tip
<br />
<a href="mailto:ellen@ccs.neu.edu">ellen@ccs.neu.edu</a>
<br />
<a href="https://emarteca.github.io/">https://emarteca.github.io/</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined 2018</div>
<div class="col-md-12 pn-bio"><p>My previous work was in gradual typing; now I'm starting a project looking at program analysis for asynchronous JavaScript.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/olek_gierczak.jpg" title="Olek Gierczak" alt="Olek Gierczak" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Olek Gierczak</span>
<br />
Advisor: Amal Ahmed
<br />
<a href="mailto:gierczak.o@husky.neu.edu">gierczak.o@husky.neu.edu</a>
<br />
<a></a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined 2019</div>
<div class="col-md-12 pn-bio"><p>I like reasoning about programming languages and compilers, using pencil and paper or proof assistants.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/cameron_camoy.jpg" title="Cameron Moy" alt="Cameron Moy" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Cameron Moy</span>
<br />
Advisor: Matthias Felleisen
<br />
<a href="mailto:camoy@ccs.neu.edu">camoy@ccs.neu.edu</a>
<br />
<a href="http://camoy.name">http://camoy.name</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined 2019</div>
<div class="col-md-12 pn-bio"><p>I enjoy flexible programming languages and elegant software. I'm interested in designing tools that enable everyday developers to build more robust programs.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/nate_yazdani.jpg" title="Nate Yazdani" alt="Nate Yazdani" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Nate Yazdani</span>
<br />
Advisor: Amal Ahmed
<br />
<a href="mailto:nyazdani@ccs.neu.edu">nyazdani@ccs.neu.edu</a>
<br />
<a href="https://nateyazdani.github.io/">https://nateyazdani.github.io/</a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined Northeastern, 2019<br />MS, University of Washington, 2019</div>
<div class="col-md-12 pn-bio"><p>I like types, proofs, and occasionally programs.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/andrew_wagner.jpeg" title="Andrew Wagner" alt="Andrew Wagner" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Andrew Wagner</span>
<br />
Advisor: Amal Ahmed
<br />
<a href="mailto:ahwagner@ccs.neu.edu">ahwagner@ccs.neu.edu</a>
<br />
<a></a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined 2020</div>
<div class="col-md-12 pn-bio"><p>I like to design domain-specific languages with strong guarantees, which are usually supported by rich type systems and formal methods. My current research is on language-based security.</p></div></div></div></div>
<div class="row pn-person"><div class="col-md-12 pn-row-eq-height"><div class="col-md-3 pn-photo"><div class="img-wrapper"><img src="img/Katherine_Hough.png" title="Katherine Hough" alt="Katherine Hough" /></div></div>
<div class="col-md-9"> <div class="col-md-4 pn-contact"><span class="pn-name">Katherine Hough</span>
<br />
Advisors: Jonathan Bell and Frank Tip
<br />
<a href="mailto:hough.k@northeastern.edu">hough.k@northeastern.edu</a>
<br />
<a></a></div>
<div class="col-md-5 pn-muted col-md-offset-3">Joined 2020<br />MS, George Mason University<br />BS, George Mason University</div>
<div class="col-md-12 pn-bio"><p>My research focuses on helping developers identify and correct software bugs and vulnerabilities.</p></div></div></div></div></div>
<div class="pn-separator-img"><h2>PRL Alumni and Former Members</h2></div>
<div class="container"><div class="row"><div><div class="col-md-4"><ul><li><a href="http://cm.bell-labs.com/cm/cs/who/oliva/">Dino Oliva</a> 1992 <a href="ftp://www.ccs.neu.edu/pub/people/wand/papers/oliva-thesis-94.ps.Z">(dissertation)</a> </li><li><a href="http://thefirstchurch.org/">Ian Holland</a> 1992 <a href="ftp://ftp.ccs.neu.edu/pub/people/lieber/theses/holland/thesis.ps">(dissertation)</a> (First Swampscott Church)</li><li><a>Cun Xiao</a> 1994 <a href="ftp://ftp.ccs.neu.edu/pub/people/lieber/theses/xiao/thesis.ps">(dissertation)</a> (Oracle)</li><li><a href="http://researcher.watson.ibm.com/researcher/view.php?person=us-isilval">Ignacio Silva-Lepe</a> 1994 <a href="ftp://ftp.ccs.neu.edu/pub/people/lieber/theses/silva-lepe/thesis.ps">(dissertation)</a> (IBM Research, Yorktown)</li><li><a href="http://www.cis.umassd.edu/~pbergstein/">Paul Bergstein</a> 1994 <a href="ftp://ftp.ccs.neu.edu/pub/people/lieber/theses/bergstein/thesis.ps">(dissertation)</a> (UMass, Dartmouth)</li><li><a href="http://www.ccs.neu.edu/home/steck/">Paul Steckler</a> 1994 <a href="ftp://www.ccs.neu.edu/pub/people/wand/papers/steckler-thesis-94.ps">(dissertation)</a> (Galois Connections)</li><li><a href="https://ch.linkedin.com/in/walterhuersch">Walter Hürsch</a> 1995 <a href="ftp://ftp.ccs.neu.edu/pub/people/lieber/theses/huersch/thesis.ps">(dissertation)</a> (BlueCare AG)</li><li><a>David Gladstein</a> 1996 <a href="ftp://www.ccs.neu.edu/pub/people/wand/papers/gladstein-thesis-94.ps.Z">(dissertation)</a> </li><li><a href="http://sites.jcu.edu/math/professor/linda-m-seiter/">Linda Seiter</a> 1996 <a href="ftp://ftp.ccs.neu.edu/pub/people/lieber/theses/seiter/thesis.ps">(dissertation)</a> (John Carrol University)</li><li><a href="http://www.ics.uci.edu/~lopes/">Crista Lopes</a> 1997 <a href="ftp://ftp.ccs.neu.edu/pub/people/lieber/theses/lopes">(dissertation)</a> (UC Irvine)</li><li><a href="http://www.ai.mit.edu/%7Egregs">Greg Sullivan</a> 1997 <a href="ftp://www.ccs.neu.edu/pub/people/wand/papers/sullivan-thesis-97.ps">(dissertation)</a> Advisor: Mitch Wand, Employer: BAE Systems</li><li><a href="http://www.soi.city.ac.uk/%7Esbbc287/">Igor Siveroni</a> 2001 <a href="http://www.siveroni.com/imperial/papers/thesis.ps">(dissertation)</a> </li><li><a href="http://www.ccs.neu.edu/home/lth/">Lars Hansen</a> 2001 <a href="http://www.ccs.neu.edu/home/lth/thesis/index.html">(dissertation)</a> </li><li><a>Paul Graunke</a> 2003 <a href="http://www.ccs.neu.edu/scheme/pubs/thesis-graunke.pdf">(dissertation)</a> (Galois Connections)</li><li><a href="http://www.ccs.neu.edu/home/gwilliam">Galen Williamson</a> 2004 </li><li><a href="http://www.ccs.neu.edu/home/johan">Johan Ovlinger</a> 2004 <a href="http://www.ccs.neu.edu/research/demeter/theses/ovlinger/thesis.pdf">(dissertation)</a> </li><li><a href="http://steak.place.org/dougo/">Doug Orleans</a> 2005 <a href="http://www.ccs.neu.edu/research/demeter/theses/orleans">(dissertation)</a> (Gensym)</li><li><a href="http://www.csc.calpoly.edu/%7Eclements/index.html">John Brinckerhoff Clements</a> 2005 <a href="http://www.ccs.neu.edu/scheme/pubs/dissertation-clements.pdf">(dissertation)</a> (California Polytechnic, San Luis Obispo, CA)</li><li><a>Philippe Meunier</a> 2006 <a href="http://www.ccs.neu.edu/racket/pubs/dissertation-meunier.pdf">(dissertation)</a> (Sirindhorn International Institute of Technology, Tahmmasat University)</li></ul></div><div class="col-md-4"><ul><li><a href="http://www.scss.tcd.ie/Vasileios.Koutavas/">Vassilis Koutavas</a> 2008 <a href="http://www.scss.tcd.ie/Vasileios.Koutavas/publications/dissertation.pdf">(dissertation)</a> (Trinity College, Dublin)</li><li><a href="http://www.ccs.neu.edu/home/cobbe/">Richard Cobbe</a> 2009 <a href="http://www.ccs.neu.edu/scheme/pubs/dissertation-cobbe.pdf">(dissertation)</a> (MathWorks)</li><li><a href="http://bryanchadwick.com/">Bryan D. Chadwick</a> 2010 <a href="http://www.ccs.neu.edu/home/chadwick/files/thesis-single.pdf">(dissertation)</a> (Broadway Technology)</li><li><a href="http://calculist.org/">Dave Herman</a> 2010 <a href="http://www.ccs.neu.edu/home/dherman/research/papers/dissertation.pdf">(dissertation)</a> (Mozilla Research)</li><li><a href="http://www.ccs.neu.edu/home/dfisher/">David Fisher</a> 2010 <a href="http://www.ccs.neu.edu/home/dfisher/diss.pdf">(dissertation)</a> </li><li><a>Pengcheng Wu</a> 2010 <a href="http://www.ccs.neu.edu/home/lieber/theses/wu/Dissertation.pdf">(dissertation)</a> </li><li><a href="http://www.peterd.org/">Peter Dillinger</a> 2010 <a href="http://www.peterd.org/pcd-diss.pdf">(dissertation)</a> (Coverity, Inc.)</li><li><a href="http://www.ccs.neu.edu/home/ryanc/">Ryan Culpepper</a> 2010 <a href="http://www.ccs.neu.edu/scheme/pubs/dissertation-culpepper.pdf">(dissertation)</a> (Northeastern University)</li><li><a href="http://www.ccs.neu.edu/home/samth/">Sam Tobin-Hochstadt</a> 2010 <a href="http://www.ccs.neu.edu/racket/pubs/dissertation-tobin-hochstadt.pdf">(dissertation)</a> Advisor: Matthias, now at Indiana University</li><li><a href="http://www.ccs.neu.edu/home/skotthe/">Theo Skotiniotis</a> 2010 <a href="http://www.ccs.neu.edu/home/lieber/theses/skotiniotis/skotiniotis-dissertation.pdf">(dissertation)</a> </li><li><a href="http://www.ccs.neu.edu/home/pnkfelix/">Felix Klock</a> 2011 <a href="http://www.ccs.neu.edu/home/pnkfelix/thesis/klock11-diss.pdf">(dissertation)</a> (Mozilla Research)</li><li><a href="http://www.ccs.neu.edu/home/cce/">Carl Eastlund</a> 2012 <a href="http://www.ccs.neu.edu/racket/pubs/dissertation-eastlund.pdf">(dissertation)</a> (Jane Street Group, LLC)</li><li><a href="http://people.seas.harvard.edu/~chrdimo/">Christos Dimoulas</a> 2012 <a href="http://www.ccs.neu.edu/racket/pubs/dissertation-dimoulas.pdf">(dissertation)</a> (Harvard University)</li><li><a href="http://dimvar.github.io/">Dimitris Vardoulakis</a> 2012 <a href="http://dimvar.github.io/papers/diss.pdf">(dissertation)</a> (Google)</li><li><a href="http://users.eecs.northwestern.edu/~jesse/">Jesse A. Tov</a> 2012 <a href="http://users.eecs.northwestern.edu/~jesse/pubs/dissertation/">(dissertation)</a> (Northwestern University)</li><li><a href="http://sstrickl.net/">Stevie Strickland</a> 2012 <a href="http://www.ccs.neu.edu/racket/pubs/dissertation-strickland.pdf">(dissertation)</a> (Google)</li><li><a href="http://www.ccs.neu.edu/home/turon/">Aaron J. Turon</a> 2013 <a href="http://www.ccs.neu.edu/home/turon/thesis.pdf">(dissertation)</a> (Mozilla Research)</li><li><a href="http://www.ccs.neu.edu/home/mohsen/HomePage/index.html">Ahmed Abdelmeged</a> 2014 <a href="http://www.ccs.neu.edu/home/lieber/theses/abdelmeged/scg/ahmed-thesis.html">(dissertation)</a> </li><li><a href="http://www.ccs.neu.edu/home/jtpercon/">James T. Perconti</a> 2014 </li></ul></div><div class="col-md-4"><ul><li><a href="https://deeglaze.github.io">Dionna Amalie Glaze</a> 2015 <a href="https://deeglaze.github.io/diss.pdf">(dissertation)</a> (Google)</li><li><a href="http://www.ccs.neu.edu/home/ejs/">Erik Silkensen</a> 2015 </li><li><a href="http://www.ccs.neu.edu/home/mates/">Phillip Mates</a> 2015 (Dimagi)</li><li><a href="http://users.eecs.northwestern.edu/~stamourv/">Vincent St-Amour</a> 2015 <a href="http://users.eecs.northwestern.edu/~stamourv/papers/dissertation.pdf">(dissertation)</a> Advisor: Matthias, now at Northwestern University</li><li><a href="http://www.ccs.neu.edu/home/asumu/">Asumu Takikawa</a> 2016 <a href="https://repository.library.northeastern.edu/files/neu:cj82n981x">(dissertation)</a> (Igalia)</li><li><a href="http://www.ccs.neu.edu/home/pauls/">Paul Stansifer</a> 2016 <a href="https://repository.library.northeastern.edu/files/neu:cj82mb52h">(dissertation)</a> </li><li><a href="https://leastfixedpoint.com/">Tony Garnock-Jones</a> 2017 <a href="http://syndicate-lang.org/tonyg-dissertation/">(dissertation)</a> </li><li><a href="https://kevinclancy.github.io/">Kevin Clancy</a> 2018 (Carnegie Mellon University)</li><li><a href="https://www.williamjbowman.com">William J. Bowman</a> 2018 <a href="https://www.williamjbowman.com/#dissertation">(dissertation)</a> (University of British Columbia)</li><li><a>Andrew Cobb</a> 2019 </li><li><a href="http://celestehollenbeck.com">Celeste Hollenbeck</a> 2019 (University of Edinburgh)</li><li><a>Di Zhong</a> 2019 </li><li><a href="https://hyeyoungshin.github.io/">Hyeyoung Shin</a> 2019 (Czech Technical University in Prague)</li><li><a href="http://jschuster.org/">Jonathan Schuster</a> 2019 <a href="http://hdl.handle.net/2047/D20318587">(dissertation)</a> (Google)</li><li><a href="http://ccs.neu.edu/home/types/">Ben Greenman</a> 2020 <a href="http://ccs.neu.edu/home/types/resources/pdf/g-dissertation-2020.pdf">(dissertation)</a> (Brown University)</li><li><a href="https://jrslepak.github.io/">Justin Slepak</a> 2020 <a href="http://ccs.neu.edu/~jrslepak/Dissertation.pdf">(dissertation)</a> (Facebook)</li><li><a href="http://maxsnew.com/">Max S. New</a> 2020 (Wesleyan University)</li></ul></div></div></div></div>
<div class="container"><div class="row"><h3 style="text-align: center;">Former Associates (Research Scientists, Post-Docs)</h3>
<div><div class="col-md-4"><ul><li><a href="http://dblp.uni-trier.de/pers/hd/k/Krentel:Mark_W=">Mark Krentel</a> 1989 (Rice University)</li><li><a href="https://www.thoughtworks.com/profiles/rebecca-parsons">Rebecca Parsons</a> 1992 (ThoughtWorks)</li><li><a href="http://www.cs.indiana.edu/~sabry/">Amr Sabry</a> 1994 (Indiana University)</li><li><a>Andrew K. Wright</a> 1994 (Cisco)</li><li><a href="https://ds26gte.github.io/">Dorai Sitaram</a> 1994 (Verizon Labs, Waltham, MA)</li><li><a href="http://www.cs.wpi.edu/~kfisler/">Kathi Fisler</a> 1996 (Worcester Polytechnic Institute)</li><li><a href="https://users.soe.ucsc.edu/~cormac/">Cormac Flanagan</a> 1997 (UC Santa Cruz)</li><li><a>Joe Marshall</a> 1999 (Google)</li><li><a href="http://www.ai.sri.com/~latendre/">Mario Latendresse</a> 1999 (SRI International)</li></ul></div><div class="col-md-4"><ul><li><a href="http://www.cs.utah.edu/~mflatt/">Matthew Flatt</a> 1999 (University of Utah)</li><li><a href="https://cs.brown.edu/~sk/">Shriram Krishnamurthi</a> 2001 (Brown University)</li><li><a href="https://www.eecs.northwestern.edu/~robby/">Robby Findler</a> 2002 (Northwestern University)</li><li><a href="http://www.is.ocha.ac.jp/~asai/">Kenichi Asai</a> 2004 (Ochanomizu University)</li><li><a href="http://www.ccs.neu.edu/home/riccardo/">Riccardo Pucella</a> 2004 (Olin College)</li><li><a href="http://www.barzilay.org/">Eli Barzilay</a> 2005 </li><li><a href="http://www.cs.umd.edu/~dvanhorn/">David van Horn</a> 2009 (University of Maryland)</li><li><a href="http://fikovnik.net/">Fillip Křikava</a> 2017 (Czech Technical University in Prague)</li><li><a href="http://gallium.inria.fr/~scherer/">Gabriel Scherer</a> 2017 (INRIA Saclay)</li></ul></div><div class="col-md-4"><ul><li><a href="https://kondziu.github.io">Konrad Siek</a> 2017 (Czech Technical University in Prague)</li><li><a href="https://palez.github.io">Paley Li</a> 2017 (Oracle)</li><li><a href="http://www.ccs.neu.edu/home/ryanc/">Ryan Culpepper</a> 2017 (Czech Technical University in Prague)</li><li><a href="https://www.ece.ubc.ca/~saba/">Saba Alimadadi</a> 2019 (Simon Fraser University)</li><li><a href="https://stchang.github.io/">Stephen Chang</a> 2020 (University of Massachusetts Boston)</li></ul></div></div></div></div>
<div class="container"><div class="row"><h3 style="text-align: center;">Former Faculty</h3>
<div><div class="col-md-4"><ul><li><a href="http://heather.miller.am/">Heather Miller</a> 2018 (Carnegie Mellon University)</li><li><a href="https://en.wikipedia.org/wiki/William_Clinger_(computer_scientist)">Will Clinger</a> 2019 </li></ul></div></div></div></div>
<footer class="footer"><p><a href="https://twitter.com/neu_prl" class="twitter-follow-button" data-show-count="false" data-lang="en">Follow the PRL</a><script type="text/javascript">!function(d,s,id){
var js,fjs=d.getElementsByTagName(s)[0];
if(!d.getElementById(id)){
js=d.createElement(s);
js.id=id;
js.src="https://platform.twitter.com/widgets.js";
fjs.parentNode.insertBefore(js,fjs);
}
}(document,"script","twitter-wjs");</script></p>
<p>© Copyright Programming Research Laboratory 2015-2019 | made by Catchexception s.r.o. | source on <a href="https://github.com/nuprl/website">GitHub</a></p>
<a class="pn-top pn-dark" href="#pn-top"><img src="img/up-arrow.png" alt="top" /></a></footer>
<!-- jQuery (necessary for Bootstrap's JavaScript plugins) -->
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.2/jquery.min.js"></script>
<!-- Include all compiled plugins (below), or include individual files as needed -->
<script src="js/bootstrap.min.js"></script>
<!-- Custom scripts -->
<script src="js/custom.js"></script>
<script src="js/analytics.js"></script></div></div></body></html>