-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathstudents.html
More file actions
478 lines (449 loc) · 27.9 KB
/
students.html
File metadata and controls
478 lines (449 loc) · 27.9 KB
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
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
<!DOCTYPE html>
<html lang="en">
<head>
<title>Students - Alex Potanin</title>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta property="og:title" content="Students - Alex Potanin">
<meta property="og:description" content="Current and past research students supervised by Alex Potanin at ANU.">
<meta property="og:image" content="https://potanin.github.io/images/og-image.png">
<meta property="og:url" content="https://potanin.github.io/students.html">
<meta property="og:type" content="website">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:image" content="https://potanin.github.io/images/og-image.png">
<link rel="stylesheet" href="https://www.w3schools.com/w3css/4/w3.css">
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Lato:300,400,600,700&display=swap">
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.min.css">
<link rel="stylesheet" href="style.css">
</head>
<body>
<!-- Navbar -->
<div class="w3-top">
<div class="w3-bar" id="myNavbar">
<a class="w3-bar-item w3-button 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="./" class="w3-bar-item w3-button">HOME</a>
<a href="./students.html" class="w3-bar-item w3-button w3-hide-small nav-active"><i class="fa fa-users"></i> STUDENTS</a>
<a href="./publications.html" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-file-text-o"></i> PUBLICATIONS</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-institution"></i> SERVICE</a>
<a href="./files/CVAlexPotanin.pdf" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-file-pdf-o"></i> CV</a>
<a href="mailto:alex.potanin@anu.edu.au" class="w3-bar-item w3-button w3-hide-small"><i class="fa fa-envelope"></i> EMAIL</a>
</div>
<div id="navDemo" class="w3-bar-block w3-hide w3-hide-large w3-hide-medium">
<a href="./students.html" class="w3-bar-item w3-button" onclick="toggleFunction()">STUDENTS</a>
<a href="./publications.html" class="w3-bar-item w3-button" onclick="toggleFunction()">PUBLICATIONS</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()">SERVICE</a>
<a href="./files/CVAlexPotanin.pdf" class="w3-bar-item w3-button" onclick="toggleFunction()">CV</a>
<a href="mailto:alex.potanin@anu.edu.au" class="w3-bar-item w3-button" onclick="toggleFunction()">EMAIL</a>
</div>
</div>
<!-- Page Header -->
<div class="page-header">
<div class="container">
<h1>Students</h1>
<p>Over 80 students supervised across two decades</p>
</div>
</div>
<!-- Summary -->
<div class="section">
<div class="container">
<div class="bio-text" style="max-width: 800px;">
<p>I am committed to mentoring the next generation of computer scientists and take great pride in the careers my students have gone on to build. I have supervised over 80 students at all levels - from undergraduate research projects to postdoctoral researchers - across ANU, VUW, CMU, KIT, and Iowa State. My former students and collaborators have gone on to positions at leading companies and universities, including <a href="https://www.nottingham.edu.my/Science/People/radu.muschevici">Radu Muschevici</a> (Assistant Professor, University of Nottingham Malaysia), <a href="https://amosr.amospheric.com/">Amos Robinson</a> (Computer Scientist, Microsoft), <a href="https://jlubin.net/">Justin Lubin</a> (PhD candidate, UC Berkeley), Darya Melicher (Google), <a href="https://palez.github.io/">Paley Li</a> (Postdoc, Czech Technical University with Jan Vitek), <a href="https://hannes.robur.coop/About">Hannes Mehnert</a> (Co-founder, Robur cooperative), Felix Shi (Senior Security Architect, Xero), Garming Sam (Security Platform Engineer, Westpac NZ), and Constantine Dymnikov (Solutions Architect, NZ Ministry of Justice).</p>
<p>As Associate Director of HDR at the ANU School of Computing (2023 - 2025), I managed admissions, supervision, and progress for over 200 PhD students. I created a monitoring app to proactively track student progress and wellbeing, revamped the admissions and scholarship process, and ensured regular six-monthly reviews across all research clusters. Previously, as Postgraduate Coordinator at VUW (2012 - 2016), I chaired every PhD proposal meeting and managed all thesis student matters across an interdisciplinary research programme, earning a commendation from the BE Review Panel in 2016.</p>
</div>
</div>
</div>
<!-- Current Students -->
<div class="section section-alt">
<div class="container">
<h2 class="section-title">Current Students</h2>
<p class="section-subtitle">Postdocs, PhD students, Honours students, and research assistants. Solid border indicates primary supervisor.</p>
<div class="card-grid-2">
<div class="card student-card primary-supervisor">
<img src="./images/yan-liu.jpg" alt="Yan Liu" class="student-photo">
<div class="student-name"><a href="https://emmayanliu.bitbucket.io/">Yan Liu</a></div>
<div class="student-topic">Research Fellow (Postdoc)</div>
<div class="student-meta">ANU, 2025 - 2027</div>
</div>
<div class="card student-card primary-supervisor">
<div class="student-name">Sasha Pak</div>
<div class="student-topic">Rust Made Easier</div>
<div class="student-meta">PhD 2024 - 2027 | Co-supervised with <a href="https://ilyasergey.net/">Ilya Sergey</a> (NUS), <a href="https://fabian.muehlboeck.name/#about">Fabian Muehlboeck</a></div>
</div>
<div class="card student-card primary-supervisor">
<div class="student-name">Abolfazl Sharifi</div>
<div class="student-topic">Verification of Concurrent Data Structures in Rust using Iris</div>
<div class="student-meta">PhD 2026 - 2030 | Co-supervisor TBC</div>
</div>
<div class="card student-card primary-supervisor">
<div class="student-name">Edwin Singh</div>
<div class="student-topic">Why Language Designers Do Modules The Way They Do (Grounded Theory Study)</div>
<div class="student-meta">PhD 2022 - 2028 (part time) | Co-supervised with <a href="https://people.wgtn.ac.nz/jennifer.ferreira">Jennifer Ferreira</a> (VUW), <a href="https://comp.anu.edu.au/people/alwen-tiu/">Alwen Tiu</a></div>
</div>
<div class="card student-card primary-supervisor">
<div class="student-name">David Young</div>
<div class="student-topic">PCM's for Abstracted Layouts across Multiple Fields: from Heaps to Quantum</div>
<div class="student-meta">PhD 2023 - 2030 (part time, Kansas)</div>
</div>
<div class="card student-card primary-supervisor">
<div class="student-name">Jack Hackshaw</div>
<div class="student-topic">Pancake in Loom in Lean</div>
<div class="student-meta">Honours 2025 - 2026</div>
</div>
<div class="card student-card primary-supervisor">
<div class="student-name">Billy Jaffray</div>
<div class="student-topic">Verification in Rust using Loom</div>
<div class="student-meta">Honours 2026</div>
</div>
<div class="card student-card primary-supervisor">
<div class="student-name">Rishita Sarkar</div>
<div class="student-topic">Quantum Computing Testing</div>
<div class="student-meta">BAC R&D ASC | Co-supervised with <a href="https://faculty.sites.iastate.edu/liyili2/">Liyi Li</a></div>
</div>
<div class="card student-card primary-supervisor">
<div class="student-name">Libby Boas</div>
<div class="student-topic">Quantum Computing Distributed Computation</div>
<div class="student-meta">PhB ASC | Co-supervised with <a href="https://faculty.sites.iastate.edu/liyili2/">Liyi Li</a></div>
</div>
<div class="card student-card">
<img src="./images/haoyu-wu.png" alt="Haoyu Wu" class="student-photo">
<div class="student-name"><a href="https://cocodery.github.io/">Haoyu Wu</a></div>
<div class="student-topic">Nomnom Type Checking</div>
<div class="student-meta">PhD 2025 - 2028 | Co-supervised with <a href="https://fabian.muehlboeck.name/#about">Fabian Muehlboeck</a></div>
</div>
<div class="card student-card">
<div class="student-name">Carlo Zancanaro</div>
<div class="student-topic">Gradual Typing and Type Polymorphism</div>
<div class="student-meta">PhD 2026 - 2029 | Co-supervised with <a href="https://fabian.muehlboeck.name/#about">Fabian Muehlboeck</a></div>
</div>
<div class="card student-card">
<div class="student-name">Alyssa Herald</div>
<div class="student-topic">Security of Capabilities in CHERI</div>
<div class="student-meta">Honours 2025 - 2026 | Co-supervised with <a href="https://comp.anu.edu.au/people/alwen-tiu/">Alwen Tiu</a></div>
</div>
<div class="card student-card">
<div class="student-name">Charlotte Fulham</div>
<div class="student-topic">Fiducia to Microkit Bridge Implementation</div>
<div class="student-meta">Engineering ASC | Co-supervised with Yan Liu</div>
</div>
<div class="card student-card">
<div class="student-name">Julia Groß</div>
<div class="student-topic">Energy Trading in Blockchains</div>
<div class="student-meta">PhD 2024 - 2030 (part time, ANU) | Co-supervised with Sid Chau (CSIRO), <a href="https://people.wgtn.ac.nz/Ramesh.Rayudu">Ramesh Rayudu</a> (VUW)</div>
</div>
<div class="card student-card">
<img src="./images/feifei-cheng.jpg" alt="Feifei Cheng" class="student-photo">
<div class="student-name">Feifei Cheng</div>
<div class="student-topic">Quantum Computing Symbolic Execution</div>
<div class="student-meta">PhD 2025 - 2029 (Iowa State) | Co-supervised with <a href="https://faculty.sites.iastate.edu/liyili2/">Liyi Li</a></div>
</div>
<div class="card student-card">
<img src="./images/maximilian-kodetzki.jpg" alt="Maximilian Kodetzki" class="student-photo">
<div class="student-name">Maximillian Kodetzki</div>
<div class="student-topic">X-by-Construction</div>
<div class="student-meta">PhD 2022 - 2026 (KIT) | Co-supervised with Ina Schaefer</div>
</div>
<div class="card student-card">
<div class="student-name">Jakob Jerebica</div>
<div class="student-topic">Formalisation of Pancake by Construction with Real World Driver Examples</div>
<div class="student-meta">PhD 2026 - 2030 (KIT) | Co-supervised with Ina Schaefer, Michael Norrish</div>
</div>
</div>
<!-- Join Us CTA -->
<div class="cta-box">
<h3>Interested in Joining the Group?</h3>
<p>I am always looking for motivated graduate students to work on programming language design, type systems, software verification, and related areas.</p>
<a href="./phd.html" class="cta-btn">How to Apply</a>
<a href="https://www.anu.edu.au/study/scholarships/find-a-scholarship/anu-phd-scholarships" class="cta-btn">ANU PhD Scholarships</a>
</div>
</div>
</div>
<!-- Completed Students -->
<div class="section">
<div class="container">
<h2 class="section-title">Completed Students</h2>
<ol class="styled-list" start="17">
<li><a href="https://zarahassan.me/">Zara Hassan</a> (PhD 2023 - 2025), Reproducibility Debt in Scientific Software,
Co-Supervised with <a href="https://ctreude.ca/">Christoph Treude</a> (SMU),
<a href="https://cecc.anu.edu.au/people/michael-norrish">Michael Norrish</a>,
<a href="https://cecc.anu.edu.au/people/graham-williams">Graham Williams</a></li>
<li>Fahimeh Hoseinnia (PhD 2023 - 2026 at VUW), Agricultural Pollution Data Marketplace and DAOs,
Co-Supervised with <a href="https://people.wgtn.ac.nz/jennifer.ferreira">Jennifer Ferreira</a>,
<a href="https://people.wgtn.ac.nz/James.Quilty">James Quilty</a></li>
<li>Ari Gilchrist (ASC), Qiskit to QGen Translation</li>
<li>Iko-Ojo Simon (PhD 2023 - 2025), Co-Supervised
with <a href="https://comp.anu.edu.au/people/hanna-suominen/">Hanna
Suominen</a>,
<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>Jakob Jerebica (Masters 2024 - 2025 at KIT), Co-Supervised
with Ina Schaefer and Michael Norrish</li>
<li>Matt Britton (Honours in 2024 - 2025), Rust Refactoring</li>
<li>Dariy Guzairov (Honours in 2025), Co-Supervised with Alwen
Tiu, CHERI Exploits</li>
<li>Nicholas Arvanitellis (ASC Project in 2025), Co-Supervised
with Alwen Tiu, Obfuscation Exploits</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>Ziling Ouyang (Honours in 2024), Co-Supervised
with <a href="https://comp.anu.edu.au/people/fabian-muehlboeck/">Fabian
Mühlböck</a>, Using Redex for Safe Programming Languages
Research: A Case Study in System C</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>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 from 2010 to 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>
</div>
</div>
<!-- Footer -->
<footer class="site-footer">
<div class="container">
<div class="footer-links">
<a href="./">Home</a>
<a href="./publications.html">Publications</a>
<a href="./teaching.html">Teaching</a>
<a href="./committees.html">Service</a>
</div>
<p>Alex Potanin · School of Computing, Australian National University</p>
</div>
</footer>
<script>
window.onscroll = function() {myFunction()};
function myFunction() {
var navbar = document.getElementById("myNavbar");
if (document.body.scrollTop > 10 || document.documentElement.scrollTop > 10) {
navbar.classList.add("scrolled");
} else {
navbar.classList.remove("scrolled");
}
}
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>