-
Notifications
You must be signed in to change notification settings - Fork 3
/
people.html
221 lines (213 loc) · 22.3 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
<!DOCTYPE html>
<html lang="en"><head><meta charset="UTF-8" />
<meta name="description" contents="Gradual Typing Across the Spectrum" />
<meta name="keywords" content="programming, language, gradual, typing" />
<title>Gradual Typing Across the Spectrum</title>
<link rel="stylesheet" href="css/bootstrap.min.css" /><link rel="stylesheet" href="css/animate.css" /><link rel="stylesheet" href="css/custom.css" />
<link href="http://fonts.googleapis.com/css?family=Ubuntu:300" rel="stylesheet" type="text/css" />
<link href="http://fonts.googleapis.com/css?family=PT+Sans" rel="stylesheet" type="text/css" />
<link rel="shortcut icon" type="image/x-icon" size="16x16" href="images/logo/gtp-4.ico" /> <script src="js/wow.min.js"></script>
<script type="text/javascript" src="js/jquery.min.js"></script><script type="text/javascript" src="js/bootstrap.min.js"></script><script type="text/javascript" src="js/custom.js"></script><script type="text/javascript" src="js/stellar.js"></script></head>
<div class="body" data-stellar-background-ratio="1.5"></div>
<div class="main-header-container"><div class="shadow-back"><div class="main-logo"><img class="img-responsive pull-left" alt="" src="images/logo/gtp-4.png" /></div>
<div class="main-header"><h1>Gradual Typing Across the Spectrum</h1></div></div></div>
<body id="top"><div id="menu" class="menu-fixed"><span id="menu-icon"><span class="glyphicon glyphicon-menu-hamburger"></span></span>
<ul><li class="" data-src="./images/menu/item_1.png"><a href="index.html">Home</a></li><li class="" data-src="./images/menu/item_2.png"><a href="about.html">About</a></li><li class="" data-src="./images/menu/item_3.png"><a href="projects.html">Projects</a></li><li class="" data-src="./images/menu/item_4.png"><a href="benchmarks.html">Benchmarks</a></li><li class="active" data-src="./images/menu/item_5.png"><a href="people.html">People</a></li><li class="" data-src="./images/menu/item_6.png"><a href="contact.html">Contact</a></li></ul></div>
<div class="body-content"> <div id="content"><div class="col-md-12"><h3 class="red-back-big">Principal Investigators</h3>
<div class="col-md-12"><h3 class="gray-back">Matthias Felleisen</h3>
<div class="col-md-3"><img class="img-responsive prof-icon" src="images/people/matthias-felleisen.jpg" /></div><div class="col-md-9"><div class="col-md-3 info-1 ">Trustee Professor<br /><a href="http://felleisen.org/matthias/">http://felleisen.org/matthias/</a></div>
<div class="col-md-6 info-2 col-md-offset-3">Joined <a href="http://www.ccis.northeastern.edu/">Northeastern University</a>, 2001<br />Joined <a href="http://www.cs.rice.edu">Rice University</a>, 1987<br />Ph.D, <a href="http://cs.indiana.edu">Indiana University</a>, 1987</div>
<div class="col-md-12 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 class="col-md-12"><h3 class="gray-back">Jan Vitek</h3>
<div class="col-md-9"><div class="col-md-6 info-2 ">Joined <a href="http://www.ccis.northeastern.edu/">Northeastern University</a>, 2014<br />Joined <a href="http://www.cs.purdue.edu">Purdue University</a>, 1999<br />Ph.D, <a href="http://www.unige.ch/international/en/">University of Geneva</a>, 1999</div>
<div class="col-md-3 info-1 col-md-offset-1">Professor<br /><a href="http://janvitek.org">http://janvitek.org</a></div>
<div class="col-md-12 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 class="col-md-3"><img class="img-responsive prof-icon" src="images/people/jan-vitek.jpg" /></div></div><div class="col-md-12"><h3 class="gray-back">Jeff Foster</h3>
<div class="col-md-3"><img class="img-responsive prof-icon" src="images/people/jeff-foster.jpg" /></div><div class="col-md-9"><div class="col-md-3 info-1 ">Professor<br /><a href="https://www.cs.tufts.edu/~jfoster/">https://www.cs.tufts.edu/~jfoster/</a></div>
<div class="col-md-6 info-2 col-md-offset-3">Joined <a href="https://engineering.tufts.edu/cs/">Tufts University</a>, 2018<br />Joined <a href="http://cs.umd.edu">University of Maryland, College Park</a>, 2002<br />Ph.D, <a href="http://cs.berkeley.edu">University of California, Berkeley</a>, 2002</div>
<div class="col-md-12 bio"><p>I am a Professor in the Department of Computer Science at Tufts
University. The goal of my research is to develop fundamental new ways to
make it easier to build more reliable, secure software. I am interested
in programming languages, software engineering, and security. I am a
member of TuPL.
Previously, I was a Professor in the Department of Computer Science and
UMIACS at the University of Maryland, College Park, as well as a member
of PLUM.</p></div></div></div><div class="col-md-12"><h3 class="gray-back">Shriram Krishnamurthi</h3>
<div class="col-md-9"><div class="col-md-6 info-2 ">Joined <a href="http://cs.brown.edu">Brown University</a>, 2000<br />Ph.D, <a href="http://www.cs.rice.edu">Rice University</a>, 2001</div>
<div class="col-md-3 info-1 col-md-offset-1">Professor<br /><a href="https://cs.brown.edu/~sk/">https://cs.brown.edu/~sk/</a></div>
<div class="col-md-12 bio"><p>Though my head is often in security, networking, verification,
and HCI, my heart is in programming languages.
Over the years I have contributed to several innovative and
useful software systems: JavaScript and Web tools,
Racket (formerly DrScheme), WeScheme, Margrave, Flapjax,
FrTime, Continue, FASTLINK, and more.</p></div></div><div class="col-md-3"><img class="img-responsive prof-icon" src="images/people/shriram-krishnamurthi.jpg" /></div></div><div class="col-md-12"><h3 class="gray-back">Jeremy Siek</h3>
<div class="col-md-3"><img class="img-responsive prof-icon" src="images/people/jeremy-siek.jpg" /></div><div class="col-md-9"><div class="col-md-3 info-1 ">Associate Professor<br /><a href="http://wphomes.soic.indiana.edu/jsiek/">http://wphomes.soic.indiana.edu/jsiek/</a></div>
<div class="col-md-6 info-2 col-md-offset-3">Joined <a href="http://cs.indiana.edu">Indiana University</a>, 2013<br />Joined <a href="http://www.colorado.edu/cs/">University of Colorado, Boulder</a>, 2006<br />Ph.D, <a href="http://cs.indiana.edu">Indiana University</a>, 2005</div>
<div class="col-md-12 bio"><p>Associate Professor of Computer Science in the School of Informatics
and Computing at Indiana University.
Jeremy teaches courses in programming, programming languages, compilers,
logic, and other areas of computer science.
Jeremy designs new language features to help programmers create and
use software libraries and domain-specific languages, especially generic
and high-performance ones.
In particular, Jeremy invented the gradual typing approach to mixing
static and dynamic type checking within the same language.
Prior to that, Jeremy authored the Boost Graph Library and attempted
to add concepts to C++.
Jeremy is a member of the Programming Languages Group at IU and the
Center for Research in Extreme Scale Technologies.</p></div></div></div><div class="col-md-12"><h3 class="gray-back">Sam Tobin-Hochstadt</h3>
<div class="col-md-9"><div class="col-md-6 info-2 ">Joined <a href="http://cs.indiana.edu">Indiana University</a>, 2013<br />Ph.D, <a href="http://www.ccis.northeastern.edu/">Northeastern University</a>, 2010</div>
<div class="col-md-3 info-1 col-md-offset-1">Assistant Professor<br /><a href="http://homes.soic.indiana.edu/samth">http://homes.soic.indiana.edu/samth</a></div>
<div class="col-md-12 bio"><p>My research focuses on the design and implementation of
programming systems.
I'm particularly interested in programming languages that
support the evolution of software.
I primarily work on Racket and Typed Racket as well as with
Mozilla Research on JavaScript.</p></div></div><div class="col-md-3"><img class="img-responsive prof-icon" src="images/people/sam-tobin-hochstadt.jpg" /></div></div><div class="col-md-12 devider"></div></div><div class="col-md-12 devider"></div>
<div class="col-md-12"><h3 class="red-back-big">Team Members</h3>
<div class="col-md-12"><h3 class="gray-back">Brown University</h3>
<div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/jack-wrenn.jpeg" /></div>
<div class="col-md-8 info-1">Jack Wrenn<br />Ph.D Student<br /><a href="https://github.com/jswrenn">https://github.com/jswrenn</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/preston-tunnell-wilson.jpg" /></div>
<div class="col-md-8 info-1">Preston Tunnell Wilson<br />Ph.D Student<br /><a href="https://cs.brown.edu/~ptunnell/">https://cs.brown.edu/~ptunnell/</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/sorawee-porncharoenwase.jpeg" /></div>
<div class="col-md-8 info-1">Sorawee Porncharoenwase<br />REU<br /><a href="https://github.com/sorawee/">https://github.com/sorawee/</a></div></div></div><div class="col-md-12"><h3 class="gray-back">Indiana University</h3>
<div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/unknown.png" /></div>
<div class="col-md-8 info-1">Deyaaeldeen Almahallawi<br />Ph.D Student<br /><a href="http://deyaaeldeen.github.io/">http://deyaaeldeen.github.io/</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/ambrose-bonnaire-sergeant.jpg" /></div>
<div class="col-md-8 info-1">Ambrose Bonnaire-Sergeant<br />Ph.D Student<br /><a href="http://ambrosebs.com">http://ambrosebs.com</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/caner-derici.jpg" /></div>
<div class="col-md-8 info-1">Caner Derici<br />Ph.D Student<br /><a href="http://caner.derici.me/">http://caner.derici.me/</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/andre-kuhlenschmidt.jpg" /></div>
<div class="col-md-8 info-1">Andre Kuhlenschmidt<br />Ph.D Student<br /><a href="http://www.crest.iu.edu/node/164">http://www.crest.iu.edu/node/164</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/michael-vitousek.jpg" /></div>
<div class="col-md-8 info-1">Michael Vitousek<br />Ph.D Student<br /><a href="http://homes.soic.indiana.edu/mvitouse/">http://homes.soic.indiana.edu/mvitouse/</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/sarah-spall.jpg" /></div>
<div class="col-md-8 info-1">Sarah Spall<br />Ph.D Student<br /><a href="https://github.com/spall">https://github.com/spall</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/unknown.png" /></div>
<div class="col-md-8 info-1">Rajan Walia<br />Ph.D Student<br /><a href="http://www.soic.indiana.edu/graduate/directory/">http://www.soic.indiana.edu/graduate/directory/</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/andrew-kent.jpeg" /></div>
<div class="col-md-8 info-1">Andrew Kent<br />Ph.D Student<br /><a href="http://andmkent.com">http://andmkent.com</a></div></div></div><div class="col-md-12"><h3 class="gray-back">Northeastern University</h3>
<div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/stephen-chang.jpg" /></div>
<div class="col-md-8 info-1">Stephen Chang<br />Lecturer, Researcher<br /><a href="http://www.ccs.neu.edu/home/stchang/">http://www.ccs.neu.edu/home/stchang/</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/benjamin-chung.jpg" /></div>
<div class="col-md-8 info-1">Benjamin Chung<br />Ph.D Student<br /><a href="http://benchung.github.io/">http://benchung.github.io/</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/ben-greenman.png" /></div>
<div class="col-md-8 info-1">Ben Greenman<br />Ph.D Student<br /><a href="http://ccs.neu.edu/home/types">http://ccs.neu.edu/home/types</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/alex-knauth.png" /></div>
<div class="col-md-8 info-1">Alex Knauth<br />REU<br /><a href="https://github.com/AlexKnauth">https://github.com/AlexKnauth</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/milo-turner.jpg" /></div>
<div class="col-md-8 info-1">Milo Turner<br />REU<br /><a href="https://github.com/iitalics">https://github.com/iitalics</a></div></div></div><div class="col-md-12"><h3 class="gray-back">University of Maryland, College Park</h3>
<div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/niki-vazou.jpg" /></div>
<div class="col-md-8 info-1">Niki Vazou<br />Post-doc<br /><a href="https://nikivazou.github.io/">https://nikivazou.github.io/</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/unknown.png" /></div>
<div class="col-md-8 info-1">Brianna Ren<br />Ph.D Student<br /><a href="https://www.cs.umd.edu/~bren">https://www.cs.umd.edu/~bren</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/unknown.png" /></div>
<div class="col-md-8 info-1">Milod Kazerounian<br />Ph.D Student<br /><a href="https://www.cs.umd.edu/people/milod">https://www.cs.umd.edu/people/milod</a></div></div></div></div><div class="col-md-12 devider"></div>
<div class="col-md-12"><h3 class="red-back-big">Alumni</h3>
<div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/asumu-takikawa.jpg" /></div>
<div class="col-md-8 info-1">Asumu Takikawa<br />Ph.D, <a href="http://www.ccis.northeastern.edu/">Northeastern University</a>, 2016<br /><a href="http://ccs.neu.edu/home/asumu">http://ccs.neu.edu/home/asumu</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/david-christiansen.png" /></div>
<div class="col-md-8 info-1">David Christiansen<br />Ph.D, <a href="http://www.itu.dk/">IT University of Copenhagen</a>, 2016<br /><a href="http://davidchristiansen.dk/">http://davidchristiansen.dk/</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/unknown.png" /></div>
<div class="col-md-8 info-1">David Kempe II<br />M.Sc., <a href="http://cs.indiana.edu">Indiana University</a>, 2016<br /><a href="https://www.linkedin.com/in/david-kempe-ii-54402129">https://www.linkedin.com/in/david-kempe-ii-54402129</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/di-zhong.png" /></div>
<div class="col-md-8 info-1">Di Zhong<br />Former REU<br /><a href="https://www.google.com">https://www.google.com</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/earl-dean.jpg" /></div>
<div class="col-md-8 info-1">Earl Dean<br />M.Sc., <a href="http://cs.indiana.edu">Indiana University</a>, 2016<br /><a href="https://www.linkedin.com/in/earldean">https://www.linkedin.com/in/earldean</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/joe-gibbs-politz.jpg" /></div>
<div class="col-md-8 info-1">Joe Gibbs Politz<br />Ph.D, <a href="http://cs.brown.edu">Brown University</a>, 2016<br /><a href="http://jpolitz.github.io">http://jpolitz.github.io</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/justin-pombrio.jpg" /></div>
<div class="col-md-8 info-1">Justin Pombrio<br />Ph.D, <a href="http://cs.brown.edu">Brown University</a>, 2018<br /><a href="http://justinpombrio.net/">http://justinpombrio.net/</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/matteo-cimini.jpg" /></div>
<div class="col-md-8 info-1">Matteo Cimini<br />Ph.D, <a href="http://en.ru.is/scs/">Reykjavik University</a>, 2011<br /><a href="http://cimini.info">http://cimini.info</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/matthew-kolosick.png" /></div>
<div class="col-md-8 info-1">Matthew Kolosick<br />Former REU<br /><a href="https://github.com/mkolosick">https://github.com/mkolosick</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/philip-blair.jpg" /></div>
<div class="col-md-8 info-1">Philip Blair<br />Former REU<br /><a href="https://www.linkedin.com/in/blairphilip">https://www.linkedin.com/in/blairphilip</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/spenser-bauman.jpeg" /></div>
<div class="col-md-8 info-1">Spenser Bauman<br />Former Ph.D Student<br /><a href="http://www.crest.iu.edu/node/194">http://www.crest.iu.edu/node/194</a></div></div><div class="col-md-6"><div class="col-md-4"><img class="img-responsive student-icon" src="images/people/unknown.png" /></div>
<div class="col-md-8 info-1">Zeina Migeed<br />B.S., <a href="http://www.ccis.northeastern.edu/">Northeastern University</a>, 2017<br /><a href="http://github.com/migeed-z">http://github.com/migeed-z</a></div></div></div><div class="col-md-12 devider"></div>
</div>
<div id="sponsors" class="col-md-12"><center><h4 class="red-back"></h4></center></div>
<footer class="col-md-12"><div class="container text-center"><hr />
<div class="copyright"><p class="text-center">© Copyright Programming Research Laboratory 2016-2017
| made by <a href="http://www.catchexception.cz/" target="_blank"> Catchexception s.r.o.</a>
| source on <a href="https://github.com/nuprl/gtp">GitHub</a></p></div>
<a href="#top" title="To Top"><span class="glyphicon glyphicon-chevron-up"></span></a></div></footer>
<script type="text/javascript">$(document).on('click', '.list', function (e) {
var ul = $(this).parent('li').find('ul');
ul.toggleClass('active');
var i = 1;
ul.children('li').each(function(){
$(this).delay(200*i).toggle('slow');
i++;
});
});</script><script type="text/javascript">function stopTopParallax()
{
var mainBanner = $('#main-banner');
if($('.shadow-back').offset().top >150)
{
mainBanner.css('position','fixed');
mainBanner.css('height','75px');
mainBanner.css('z-index','2');
$('#content').css('margin-top','260px');
} else {
mainBanner.css('position','relative');
mainBanner.css('height','260px');
mainBanner.css('z-index','0');
$('#content').css('margin-top','0px');
}
}
function checkOffset___() {
if($('#menu').offset().top + $('#menu').height()
>= $('#sponsors').offset().top -150)
{
var height = $('#content').height()-470;
$('#menu').removeClass('fixed-menu');
$('#menu').addClass('absolute-menu');
console.log();
$('#menu').css('bottom','-'+height+'px');
}
if($(document).scrollTop() + window.innerHeight < $('#sponsors').offset().top+150)
{
$('#menu').removeClass('absolute-menu');
$('#menu').addClass('fixed-menu');
$('#menu').css('bottom','');
}
}
function checkOffset() {
if ($('#menu').offset().top + $('#menu').height() > $('#sponsors').offset().top && $('#menu').hasClass('menu-fixed'))
{
$('#menu').removeClass('menu-fixed');
$('#menu').addClass('menu-absolute');
$('#menu').css('top',$('#sponsors').offset().top-$('#menu').height());
}
if ($(document).scrollTop() + window.innerHeight-100 < $('#sponsors').offset().top && $('#menu').hasClass('menu-absolute'))
{
$('#menu').removeClass('menu-absolute');
$('#menu').addClass('menu-fixed');
$('#menu').removeAttr('style');
}
}
$(document).scroll(function() {
checkOffset();
//stopTopParallax();
});
</script><script>$(document).on('click', '#menu-icon', function (e) {
$(this).parent('div').find('ul').toggleClass('active');
});
$(document).on('mouseover', '#menu li', function (e) {
$('#menu li').each(function(){
if (!$(this).hasClass('active'))
$(this).css('background-image','');
});
if (typeof $(this).data('src') !== 'undefined')
$(this).css('background-image','url("'+$(this).data('src')+'")')
});
$(document).on('mouseout', '#menu li', function (e) {
$('#menu li').each(function(){
if (!$(this).hasClass('active'))
$(this).css('background-image','');
});
});
$(document).ready(function () {
$('#menu li').each(function(){
if (!$(this).hasClass('active'))
$(this).css('background-image','');
else if (typeof $(this).data('src') !== 'undefined')
$(this).css('background-image','url("'+$(this).data('src')+'")')
});
});</script><script>$(function(){
$.stellar({
horizontalScrolling: false,
verticalOffset: 40
});
});</script><script>new WOW().init();</script> </div></body></html>