-
Notifications
You must be signed in to change notification settings - Fork 0
/
students.html
399 lines (381 loc) · 19.4 KB
/
students.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
<html>
<head>
<title>Students of Alex Potanin</title>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="stylesheet" href="https://www.w3schools.com/w3css/4/w3.css">
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Lato">
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.min.css">
<style>
body,h1,h2,h3,h4,h5,h6 {font-family: "Lato", sans-serif;}
body, html {
height: 100%;
/* color: #777; */
line-height: 1.8;
}
.w3-wide {letter-spacing: 10px;}
.w3-hover-opacity {cursor: pointer;}
.filler {
display: flex;
flex-direction: column;
width: 300px;
heigth: 100%;
}
.first {
height: 50px;
}
.second {
flex-grow: 1;
}
/* Turn off parallax scrolling for tablets and phones */
@media only screen and (max-device-width: 1600px) {
.bgimg-1, .bgimg-2, .bgimg-3 {
background-attachment: scroll;
min-height: 400px;
}
}
</style>
</head>
<body>
<!-- Navbar (sit on top) -->
<div class="w3-top">
<div class="w3-bar" id="myNavbar">
<a class="w3-bar-item w3-button w3-hover-black w3-hide-medium w3-hide-large w3-right"
href="javascript:void(0);"
onclick="toggleFunction()"
title="Toggle Navigation Menu">
<i class="fa fa-bars"></i>
</a>
<a href="https://potanin.github.io/" class="w3-bar-item w3-button">HOME</a>
<a href="./students.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-user"></i> STUDENTS</a>
<a href="./teaching.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-graduation-cap"></i> TEACHING</a>
<a href="./committees.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-users"></i> COMMITTEES</a>
<a href="mailto:[email protected]" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-envelope"></i> EMAIL</a>
<!-- <a href="#" class="w3-bar-item w3-button w3-hide-small w3-right w3-hover-red">
<i class="fa fa-search"></i>
</a> -->
</div>
<!-- Navbar on small screens -->
<div id="navDemo" class="w3-bar-block w3-white w3-hide w3-hide-large w3-hide-medium">
<a href="./students.html" class="w3-bar-item w3-button" onclick="toggleFunction()">STUDENTS</a>
<a href="./teaching.html" class="w3-bar-item w3-button" onclick="toggleFunction()">TEACHING</a>
<a href="./committees.html" class="w3-bar-item w3-button" onclick="toggleFunction()">COMMITTEES</a>
<a href="mailto:[email protected]" class="w3-bar-item w3-button" onclick="toggleFunction()">EMAIL</a>
<!-- <a href="#" class="w3-bar-item w3-button">SEARCH</a> -->
</div>
</div>
<div class="filler" id="home">
<div class="first"></div>
<div class="second"></div>
</div>
<p>Current:</p>
<ol>
<li>Sasha Pak (PhD 2024 - 2027), Co-Supervised
with <a href="https://ilyasergey.net/">Ilya Sergey</a> at NUS
and <a href="https://fabian.muehlboeck.name/#about">Fabian
Muehlboeck</a>, Rust Made Easier</li>
<li>Edwin Singh (PhD 2022 - 2028 (part time)), Co-Supervised
with <a href="https://people.wgtn.ac.nz/jennifer.ferreira">Jennifer
Ferreira</a> at VUW
and <a href="https://comp.anu.edu.au/people/alwen-tiu/">Alwen
Tiu</a>, Why Language Designers Do Modules The Way They Do
(Grounded Theory Study)</li>
<li>Zara Hassan (PhD 2023 - 2025),
Co-Supervised <a href="https://ctreude.ca/">Christoph
Treude</a> at SMU
and <a href="https://cecc.anu.edu.au/people/michael-norrish">Michael
Norrish</a>
and <a href="https://cecc.anu.edu.au/people/graham-williams">Graham
Williams</a>, Reprodicibility Debt in Scientific
Software</li>
<li>Iko-Ojo Simon (PhD 2023 - 2025), Co-Supervised
with <a href="https://comp.anu.edu.au/people/hanna-suominen/">Hanna
Suominen</a>
and <a href="https://comp.anu.edu.au/people/chirath-hettiarachchi/">Chirath
Hettiarachchi</a>
and <a href="https://cmps.ok.ubc.ca/about/contact/fatemeh-hendijani-fard/">Fatemeh
H. Fard</a> at UBC, Algorithmic Debt</li>
<li>Fahimeh Hoseinnia (PhD 2023 - 2026 at VUW), Co-Supervised
with <a href="https://people.wgtn.ac.nz/jennifer.ferreira">Jennifer
Ferreira</a> at VUW
and <a href="https://people.wgtn.ac.nz/James.Quilty">James
Quilty</a> at VUW, Agricultural Pollution Data Marketplace and
DAOs</li>
<li>Maximillian Kodetzki (PhD 2022 - 2025 at KIT), Co-Supervised
with Ina Schaefer</li>
<li>Lachlan Graham (Honours in 2024), Co-Supervised
with <a href="https://comp.anu.edu.au/people/alwen-tiu/">Alwen
Tiu</a>, Capabilities from High Level to Hardware</li>
<li>Zack Noyes (Honours in 2024), Co-Supervised
with <a href="https://comp.anu.edu.au/people/alwen-tiu/">Alwen
Tiu</a>, Information Flow</li>
<li>Matt Britton (Honours in 2024 - 2025), Rust Refactoring</li>
</ol>
<p>Completed:</p>
<ol start="10">
<li>Ziling Ouyang (Honours in 2024), Co-Supervised
with <a href="https://comp.anu.edu.au/people/fabian-muehlboeck/">Fabian
Mühlböck</a>, Abstract and Algebraic Effects</li>
<li>Matthew Gates (BAC RnD Project in 2024 S2), Coq
Formalisation of Tagged Objects</li>
<li>Amos Robinson (Postdoc 2023 - 2025 at ANU), Higher Level
Invariants with Lark</li>
<li>David Young (Project as part of their PhD Thesis at KU in
2021 - 2024), Co-Supervised
with <a href="https://ilyasergey.net/">Ilya Sergey</a> at NUS
and <a href="https://faculty.sites.iastate.edu/liyili2/">Liyi
Li</a> at Iowa State University, Higher Order Specifications
for Program Synthesis</li>
<li>Guanming Ou (Honours at ANU in 2023), Co-Supervised
with <a href="https://comp.anu.edu.au/people/fabian-muehlboeck/">Fabian
Mühlböck</a>
and <a href="http://www.cs.cmu.edu/~aldrich/">Jonathan
Aldrich</a> at CMU, Abstract and Algebraic Effects in Wyvern
(Theory)</li>
<li>Ziling Ouyang (Third Year Project at ANU in 2023),
Co-Supervised
with <a href="https://comp.anu.edu.au/people/fabian-muehlboeck/">Fabian
Mühlböck</a>
and <a href="http://www.cs.cmu.edu/~aldrich/">Jonathan
Aldrich</a> at CMU, Abstract and Algebraic Effects in Wyvern
(Implementation)</li>
<li>Richard Susilo (Honours at ANU in 2023), Co-Supervised
with <a href="https://comp.anu.edu.au/people/fabian-muehlboeck/">Fabian
Mühlböck</a>, IDE-Driven Partial Semantics for Wyvern</li>
<li>Jaxon Kneipp (Honours at ANU in 2023), Co-Supervised
with <a href="https://earthsciences.anu.edu.au/people/academics/dr-michael-anenburg">Michael
Anenburg</a>, Visualisation App for REM Discovery</li>
<li>Aniket Shaha (RA via FRT 2023), Classification of CVE's to
Identify the Use for Capability-Enabled Modules in Language
Security</li>
<li>Abhaas Goyal (Honours at ANU in 2022 - 2023), Co-Supervised
with <a href="http://www.cs.cmu.edu/~aldrich/">Jonathan
Aldrich</a> at CMU, Usability Study of Capable vs Incapable
Modules</li>
<li>Naisheng Liang (Honours at ANU in 2023), Breaking or Security
of IntelliJ Plugins via Language Security Techniques</li>
<li>Xinyi (Kayla) Li (RA via Google 2023), Co-Supervised
with <a href="https://researchers.mq.edu.au/en/persons/matthew-roberts">Matthew
Roberts</a> at Macquire University, Survey of FM Curriculum in
Australasia</li>
<li>Tobias Runge (PhD Thesis in 2019 - 2022 (based at KIT and
formerly at TU Braunschweig), CbC with Ownership and Traits,
Co-Supervised with Ina Schaefer and Marco Servetto</li>
<li>Leon Bowie (RA in 2021, 2022), AgriDataTrade
Marketplace with N Leaching Sensor Network for NZ Farms</li>
<li>Sophia Roshal (RA in 2021 and 2022 (based at CMU and
Cornell)), Decidable Nominal Subtyping in Wyvern,
Co-Supervised with Jonathan Aldrich</li>
<li>Richard Susilo (Undergraduate Research Project in 2022 at
ANU)</li>
<li>Nik Bielski (PhD Thesis attempted in 2022 - 2023 (part time,
suspended in 2023)), Co-Supervised
with <a href="https://people.wgtn.ac.nz/bastiaan.kleijn">Bastiaan
Kleijn</a> at VUW
and <a href="https://www.canterbury.ac.nz/engineering/contact-us/people/thomas-li.html">Heyang
(Thomas) Li</a> at UC</li>
<li>Manish Singh (PhD Thesis attempted in 2017 - 2022 (part
time, suspended in 2021)), Lock Free Balanced BST's,
Co-Supervised
with <a href="https://ecs.wgtn.ac.nz/Main/LindsayGroves">Lindsay
Groves</a></li>
<li>Rowan Rathod (ENGR489 attempted in 2021), Automated Farm Sensing on a
Robonomics Platform</li>
<li>Samantha Hau (ENGR489 in 2021), WFA Events App</li>
<li>Dominic Tjiptono (ENGR489 in 2021), Haskell in the Real World,
Co-Supervised
with <a href="https://people.wgtn.ac.nz/james.noble">James
Noble</a></li>
<li>Maxwell Clarke (2020/2021 Summer RA based at VUW), Wyvern
Effects and FFI</li>
<li>Timothy Mou (2020 Summer RA based at CMU), Wyvern Decidable
Nominal Type Member Subtyping Implementation, Co-Supervised
with <a href="http://www.cs.cmu.edu/~aldrich/">Jonathan Aldrich
(CMU)</a></li>
<li>Anlun Xu (Masters at CMU in 2020), Bounded Abstract Effects,
Co-Supervised
with <a href="http://www.cs.cmu.edu/~aldrich/">Jonathan Aldrich
(CMU)</a></li>
<li>Carl Bennett (ENGR489 in 2019), A Study In Mobile App and Web
Frameworks</li>
<li>Cameron Laing (ENGR489 in 2019), Reproducing an Existing
Empirical PL or SE Study</li>
<li>Billy Zhu (Masters at CMU in 2018/2019), Nominal Type Members, Co-Supervised
with <a href="http://www.cs.cmu.edu/~aldrich/">Jonathan Aldrich
(CMU)</a></li>
<li>Henry Nelson (2018 Summer RA based at CMU), Wyvern JavaScript
Backend and Bytecode, Co-Supervised
with <a href="http://www.cs.cmu.edu/~aldrich/">Jonathan Aldrich
(CMU)</a></li>
<li>Justin Lubin (2018 Summer RA based at CMU), Wyvern Effects,
Co-Supervised
with <a href="http://www.cs.cmu.edu/~aldrich/">Jonathan Aldrich
(CMU)</a></li>
<li>Andre Westerlund (ENGR489 in 2018), Wyvern Secure Web
Server, Co-Supervised with <a href="http://www.cs.cmu.edu/~aldrich/">Jonathan Aldrich
(CMU)</a></li>
<li>Tu Dinh (ENGR489 in 2018), Wyvern REPL, Co-Supervised
with <a href="http://www.cs.cmu.edu/~aldrich/">Jonathan Aldrich
(CMU)</a></li>
<li>Zacary Paynter (ENGR489 in 2018, Co-Supervised with Lindsay
Groves), Non Blocking Priority Queues Review and Performance
Comparison</li>
<li>Miten Chauhan (ENGR489 in 2017), Industrial Project with PlanIT</li>
<li>Neel Patel (ENGR489 in 2017), Industrial Project with
PlanIT</li>
<li>Callum Gil (ENGR489 in 2017), Industrial Project with Haunt</li>
<li>Baptiste Pauget (RA in February - July 2017, Whiley to FPGA,
Co-Supervised with David Pearce)</li>
<li>Aaron Craig (COMP489 2016/2017, Effects and Capabilities in
Wyvern, Co-Supervised with Jonathan Aldrich from CMU and Lindsay
Groves)</li>
<li>Robbie McKinstry (RA based at CMU in 2016, Wyvern
Implementation, Co-Supervised with Jonathan Aldrich from CMU)</li>
<li>Luke Inkster (ENGR489 in 2016, Inheritance vs Delegation Study,
Co-Supervised with James Noble)</li>
<li>Daniel Campbell (COMP489 in 2016, Macros in Rust, Co-Supervised
with Nick Cameron from Mozilla Corporation)</li>
<li>Aaron Craig (Summer RA in 2015/2016, Verification Support for
Wyvern, Co-Supervised with Jonathan Aldrich from CMU and Lindsay
Groves)</li>
<li>Daniel Campbell (Summer RA in 2015/2016, Tool Support for Macros
in Rust, Co-Supervised with Nick Cameron from Mozilla
Corporation)</li>
<li>Garming Sam (BE Honours in 2015, Refactorings in Rust,
Co-Supervised with Nick Cameron from Mozilla Corporation)</li>
<li>Jui Deshpande (BE Honours in 2015, Automatic Data Quality
Analysis Tool for Airways NZ), Co-Supervised
with <a href="http://www.victoria.ac.nz/ecs/staff/hui-ma.aspx">Hui
Ma</a></li>
<li>Mate Antunovic (BE Honours attempted in 2015, RR, Co-Supervised with
Robert O'Callahan from Mozilla Corporation)</li>
<li>Julian Mackay (PhD Thesis in 2015 - 2019, Wyvern Type Members),
Co-Supervised
with <a href="http://www.cs.cmu.edu/~aldrich/">Jonathan Aldrich
(CMU)</a>
and <a href="http://www.victoria.ac.nz/ecs/staff/lindsay-groves.aspx">Lindsay
Groves</a></li>
<li>Darya Melicher (PhD Thesis in 2013 - 2019, Wyvern Modules, CMU),
Primary Supervisor
is <a href="http://www.cs.cmu.edu/~aldrich/">Jonathan Aldrich
(CMU)</a></li>
<li>Troy Shaw (BE Honours Thesis in 2014, Tagged Types
Implementation for Wyvern)</li>
<li>Tim Sullivan (BSc Honours Thesis in 2014, Interpreter for
Grace), Co-Supervised
with <a href="http://www.victoria.ac.nz/ecs/staff/james-noble.aspx">James
Noble</a></li>
<li>Ahmed Khalifa (PhD Thesis started in 2010 and defended in
2013, Ownership and Immutability in the Real World), Co-Supervised
with <a href="http://www.victoria.ac.nz/ecs/staff/james-noble.aspx">James
Noble</a></li>
<li>Morgan Atkins (MSc Thesis in 2012, Survey of Concurrency
Features in OO Programming Languages), Co-Supervised
with <a href="http://www.victoria.ac.nz/ecs/staff/lindsay-groves.aspx">Lindsay
Groves</a></li>
<li>Julian Mackay (MSc Thesis in 2012, Mechanised Theorem Proving in
COQ for Ownership and Immutability), Co-Supervised
with <a href="http://www.victoria.ac.nz/ecs/staff/lindsay-groves.aspx">Lindsay
Groves</a></li>
<li>Morgan Atkins (RA in summer 2010/2011, X10 Programming Language
and Clocked References)</li>
<li>Morgan Atkins (BSc Honours Thesis in 2011, X10 Programming
Language)</li>
<li>Julian Mackay (BSc Honours Thesis in 2011, Mechanised Theorem
Proving in COQ), Co-Supervised
with <a href="http://www.victoria.ac.nz/ecs/staff/lindsay-groves.aspx">Lindsay
Groves</a></li>
<li>Felix Shi (BE 400-level Thesis in 2011, JavaScript Type
Inference), Co-Supervised
with <a href="http://www.victoria.ac.nz/ecs/staff/lindsay-groves.aspx">Lindsay
Groves</a></li>
<li>Jan Larres (MSc Thesis in 2011, Performance Variations
Analysis in Mozilla Firefox), Co-Supervised
with <a href="http://www.victoria.ac.nz/smsor/staff/yuichi-hirose.aspx">Yuichi
Hirose</a></li>
<li>Constantine Dymnikov (MSc Thesis in 2011, Modular
Ownership Inference), Co-Supervised
with <a href="http://www.victoria.ac.nz/ecs/staff/david-pearce.aspx">David
Pearce</a></li>
<li>Hien Tran (BE 400-level Thesis in 2010, Automated Analysis of
Map Labelling for GIS Users), Co-Supervised
with <a href="http://www.victoria.ac.nz/sgees/staff/mairead-deroiste.aspx">Mairead
de Roiste</a> from SGEES</li>
<li>Hannes Mehnert (RA in summer 2009/2010, Ownership and
Immutability, Co-Supervised
with <a href="http://www.victoria.ac.nz/ecs/staff/nicholas-cameron.aspx">Nicholas
Cameron</a>)</li>
<li>Constantine Dymnikov (RA in 2009/2010, Ownership Inference)</li>
<li>Andrew Walbran (RA in 2009, OIGJ Compiler)</li>
<li>Gustav van der Merwe (RA in 2009, Ownership, Immutability and
GADT's)</li>
<li>Paley Li (BSc Honours Thesis in 2008, Ownership and
Immutability), Co-Supervised
with <a href="http://www.victoria.ac.nz/ecs/staff/james-noble.aspx">James
Noble</a>
and <a href="http://www.victoria.ac.nz/ecs/staff/lindsay-groves.aspx">Lindsay
Groves</a></li>
<li>Andrew Childs (BSc Honours Thesis in 2008, Eliminating Redundant
Null Checks), Co-Supervised
with <a href="http://www.victoria.ac.nz/ecs/staff/lindsay-groves.aspx">Lindsay
Groves</a></li>
<li>Paley Li (RA in 2008, Ownership and Immutability)</li>
<li>Radu Muschevici (MSc Thesis in 2007/2008, Multimethods),
Co-Supervised
with <a href="http://www.victoria.ac.nz/ecs/staff/james-noble.aspx">James
Noble</a></li>
<li>Neil Ramsay (BIT Thesis in 2007, Software Visualisation),
Co-Supervised
with <a href="http://www.victoria.ac.nz/ecs/staff/stuart-marshall.aspx">Stuart
Marshall</a></li>
<li>Leo Gui (BIT Thesis attempted in 2007, Usability of Teaching
Tools), Co-Supervised
with <a href="http://www.victoria.ac.nz/ecs/staff/stuart-marshall.aspx">Stuart
Marshall</a></li>
<li>Christo Fogelberg (RA in 2007, Ownership in Collections)</li>
</ol>
<!-- Footer -->
<footer class="w3-center w3-black w3-padding-64 w3-opacity w3-hover-opacity-off">
<a href="#home" class="w3-button w3-light-grey"><i class="fa fa-arrow-up w3-margin-right"></i>To the top</a>
<!--
<div class="w3-xlarge w3-section">
<i class="fa fa-facebook-official w3-hover-opacity"></i>
<i class="fa fa-instagram w3-hover-opacity"></i>
<i class="fa fa-snapchat w3-hover-opacity"></i>
<i class="fa fa-pinterest-p w3-hover-opacity"></i>
<i class="fa fa-twitter w3-hover-opacity"></i>
<i class="fa fa-linkedin w3-hover-opacity"></i>
</div>
-->
<p>Powered by <a href="https://www.w3schools.com/w3css/default.asp" title="W3.CSS" target="_blank" class="w3-hover-text-green">w3.css</a></p>
</footer>
<script>
// Modal Image Gallery
function onClick(element) {
document.getElementById("img01").src = element.src;
document.getElementById("modal01").style.display = "block";
var captionText = document.getElementById("caption");
captionText.innerHTML = element.alt;
}
// Change style of navbar on scroll
window.onscroll = function() {myFunction()};
function myFunction() {
var navbar = document.getElementById("myNavbar");
if (document.body.scrollTop > 10 || document.documentElement.scrollTop > 10) {
navbar.className = "w3-bar" + " w3-card" + " w3-animate-top" + " w3-white";
} else {
navbar.className = navbar.className.replace(" w3-card w3-animate-top w3-white", "");
}
}
// Used to toggle the menu on small screens when clicking on the menu button
function toggleFunction() {
var x = document.getElementById("navDemo");
if (x.className.indexOf("w3-show") == -1) {
x.className += " w3-show";
} else {
x.className = x.className.replace(" w3-show", "");
}
}
</script>
</body>
</html>