-
Notifications
You must be signed in to change notification settings - Fork 31
Expand file tree
/
Copy pathpeople.html
More file actions
707 lines (671 loc) · 36.6 KB
/
Copy pathpeople.html
File metadata and controls
707 lines (671 loc) · 36.6 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
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
<!DOCTYPE html>
<!--[if IEMobile 7]>
<html class="iem7 oldie" lang="en"><![endif]-->
<!--[if (IE 7)&!(IEMobile)]>
<html class="ie7 oldie" lang="en"><![endif]-->
<!--[if (IE 8)&!(IEMobile)]>
<html class="ie8 oldie" lang="en"><![endif]-->
<!--[if (IE 9)&!(IEMobile)]>
<html class="ie9" lang="en"><![endif]-->
<!--[[if (gt IE 9)|(gt IEMobile 7)]><!-->
<html lang="en"><!--<![endif]-->
<!--
* UBC CLF (Common Look and Feel) v7.0.4
* Copyright 2012-2013 The University of British Columbia
* UBC Communications and Marketing
* http://brand.ubc.ca/clf
*/
-->
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta charset="utf-8">
<title>Software Practices Lab - Department of Computer Science - UBC</title>
<meta name="viewport" content="width=device-width">
<meta name="description"
content="Software Practices Lab - University of British Columbia Department of Computer Science">
<meta name="author" content="Reid Holmes">
<!-- Stylesheets -->
<link href="//cdn.ubc.ca/clf/7.0.4/css/ubc-clf-full.min.css" rel="stylesheet">
<link href="css/unit.css" rel="stylesheet">
<link href="css/style.css" rel="stylesheet">
<!--[if lte IE 7]>
<link href="//cdn.ubc.ca/clf/7.0.4/css/font-awesome-ie7.css" rel="stylesheet">
<![endif]-->
<!-- Le HTML5 shim, for IE6-8 support of HTML5 elements -->
<!--[if lt IE 9]>
<script src="//cdn.ubc.ca/clf/html5shiv.min.js"></script>
<![endif]-->
<!-- Fav and touch icons -->
<link rel="shortcut icon" href="//cdn.ubc.ca/clf/7.0.4/img/favicon.ico">
<link rel="apple-touch-icon-precomposed" sizes="144x144"
href="//cdn.ubc.ca/clf/7.0.4/img/apple-touch-icon-144-precomposed.png">
<link rel="apple-touch-icon-precomposed" sizes="114x114"
href="//cdn.ubc.ca/clf/7.0.4/img/apple-touch-icon-114-precomposed.png">
<link rel="apple-touch-icon-precomposed" sizes="72x72"
href="//cdn.ubc.ca/clf/7.0.4/img/apple-touch-icon-72-precomposed.png">
<link rel="apple-touch-icon-precomposed" href="//cdn.ubc.ca/clf/7.0.4/img/apple-touch-icon-57-precomposed.png">
</head>
<body>
<div class="container">
<!-- UBC Global Utility Menu -->
<!--
<div class="collapse expand" id="ubc7-global-menu">
<div id="ubc7-search" class="expand">
<div id="ubc7-search-box">
<form class="form-search" method="get" action="http://www.ubc.ca/search/refine/" role="search">
<input type="text" name="q" placeholder="Search this website" class="input-xlarge search-query">
<input type="hidden" name="label" value="Search UBC" />
<input type="hidden" name="site" value="*.ubc.ca" />
<button type="submit" class="btn">Search</button>
</form>
</div>
</div>
<div id="ubc7-global-header" class="expand">
</div>
</div>
-->
<!-- End of UBC Global Utility Menu -->
<!-- UBC Header -->
<header id="ubc7-header" class="row-fluid expand" role="banner">
<div class="span1">
<div id="ubc7-logo">
<a href="https://www.ubc.ca">The University of British Columbia</a>
</div>
</div>
<div class="span2">
<div id="ubc7-apom">
<a href="//cdn.ubc.ca/clf/ref/aplaceofmind">UBC - A Place of Mind</a>
</div>
</div>
<div class="span9" id="ubc7-wordmark-block">
<div id="ubc7-wordmark">
<a href="https://www.ubc.ca">The University of British Columbia</a>
<!-- <span class="ubc7-campus" style="width: 240px; color: white;">Department of Computer Science</span>-->
</div>
<!--
<div id="ubc7-global-utility">
<button type="button" data-toggle="collapse" data-target="#ubc7-global-menu"><span>UBC Search</span></button>
<noscript><a id="ubc7-global-utility-no-script" href="http://www.ubc.ca/">UBC Search</a></noscript>
</div>
-->
</div>
</header>
<!-- End of UBC Header -->
<!-- UBC Unit Identifier -->
<div id="ubc7-unit" class="row-fluid expand">
<div class="span12">
<!-- Mobile Menu Icon -->
<div class="navbar">
<a class="btn btn-navbar" data-toggle="collapse" data-target="#ubc7-unit-navigation">
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</a>
</div>
<!-- Read more about Unit Name Treatment on http://brand.ubc.ca/clf -->
<!-- No Faculty Treatment --><!--<div id="ubc7-unit-name" class="ubc7-single-element"> -->
<div id="ubc7-unit-name">
<a href="/"><span id="ubc7-unit-faculty">Computer Science</span><span id="ubc7-unit-identifier">Software Practices Lab</span></a>
</div>
</div>
</div>
<!-- End of UBC Unit Identifier -->
<!-- UBC Unit Navigation -->
<div id="ubc7-unit-menu" class="navbar expand" role="navigation">
<div class="navbar-inner expand">
<div class="container">
<div class="nav-collapse collapse" id="ubc7-unit-navigation">
<ul class="nav">
<li><a href="index.html">Home</a></li>
<li class="active"><a href="people.html">People</a></li>
<li><a href="research.html">Research</a></li>
<li><a href="publications.html">Publications</a></li>
<li><a href="courses.html">Courses</a></li>
<li><a href="culture.html">Culture</a></li>
<li><a href="reading-group.html">Reading Group</a></li>
</ul>
</div><!-- /.nav-collapse -->
</div>
</div><!-- /navbar-inner -->
</div><!-- /navbar -->
<!-- End of UBC Unit Navigation -->
<!-- UBC Unit Breadcrumbs -->
<ul class="breadcrumb expand">
<li>
<a href="https://cs.ubc.ca">Computer Science</a> <span class="divider">/</span>
</li>
<li>
<a href="index.html">Software Practices Lab</a> <span class="divider">/</span>
</li>
<li class="active">People</li>
</ul>
<!-- End of UBC Unit Breadcrumbs -->
<!-- Content Area -->
<div class="content expand" role="main">
<!-- CONTENT -->
<!-- CONTENT -->
<!-- CONTENT -->
<!-- CONTENT -->
<!-- CONTENT -->
<!-- CONTENT -->
<h1>People</h1>
<h2>Current Faculty</h2>
<!-- alph, by last name -->
<h3>Ivan Beschastnikh </h3>
<div class="mySection">
<img class="myImg" src="img/head_ivan.jpg" alt="Ivan Beschastnikh"/>
<div class="myText">
<p>
Ivan Beschastnikh is an Associate Professor and works at the
intersection of software engineering and systems. His particular
domain of interest is distributed/concurrent systems. He is especially
interested in the problems of specification inference and program
comprehension. His solutions usually combine program instrumentation,
program analysis, and software visualization.
</p>
<p>
More details about Ivan's research can be found on his <a href="https://www.cs.ubc.ca/~bestchai">home page</a>.
</p>
</div>
</div>
<h3>William J. Bowman</h3>
<div class="mySection">
<img class="myImg" src="img/head_william.jpg" alt="William J. Bowman"/>
<div class="myText">
<p>
William J. Bowman is an Assistant Professor
interested in making it easier for programmers to communicate their intent to
machines, and preserving that intent through compilation.
His recent work examines preserving machine-checked
specifications and proofs through compilation and statically
enforcing those invariants in the low-level (assembly-like)
code.
</p>
<p>
More details about William's research can be found on his <a href="https://www.williamjbowman.com/">home page</a>.
</p>
</div>
</div>
<h3>Ronald Garcia</h3>
<div class="mySection">
<img class="myImg" src="img/head_ron.jpg" alt="Ronald Garcia"/>
<div class="myText">
<p>
Ronald Garcia is an Associate Professor of Computer Science at the
University of British Columbia. His research investigates how
fundamental concepts in the theory, implementation, and practice of
programming languages can improve the software development process.
His research has focused on static and dynamic type-based
reasoning, metaprogramming, and generic programming.
</p>
<p>
More details about Ron's research can be found on his <a href="https://www.cs.ubc.ca/~rxg">home page</a>.
</p>
</div>
</div>
<h3>Reid Holmes</h3>
<div class="mySection">
<img class="myImg" src="img/head_reid.jpg" alt="Reid Holmes"/>
<div class="myText">
<p>
Reid is a Professor in the lab. He is broadly interested in the problems software
engineers encounter as they create and evolve
software systems. His research mostly involves finding novel techniques to make it easier for
software developers to quickly, and correctly, evolve their software systems.
</p>
<p>
Reid's work has spanned many different domains including recommendation systems, software reuse,
source code documentation, software testing, and software development environments.
</p>
<p>
More details about Reid's research can be found on his <a href="https://www.cs.ubc.ca/~rtholmes">home page</a>.
</p>
</div>
</div>
<!-- gregor -->
<h3>Caroline Lemieux</h3>
<div class="mySection">
<img class="myImg" src="img/head_caroline.jpg" alt="Caroline Lemieux"/>
<div class="myText">
<p>
Caroline is an Assistant Professor in the lab. Her research focuses on building
automated tools that help developers improve the correctness, security, and performance of software systems.
Her work combines program analysis with optimizing search and learning techniques in order to make
these tools tractable over large-scale software projects.
</p>
<p>
Caroline's research has tackled a variety of software engineering and programming languages problems, including test-input generation (in particular, fuzz testing), specification mining, and program synthesis.
</p>
<p>
More details about Caroline's research can be found on her <a href="https://www.carolemieux.com">home page</a>.
</p>
</div>
</div>
<h3>Gail Murphy</h3>
<div class="mySection">
<img class="myImg" src="img/head_gail.jpg" alt="Gail Murphy"/>
<div class="myText">
<p>
Gail is a Full Professor and the founder of the lab. She is also the <a
href="https://research.ubc.ca">Vice-President Research & Innovation</a> for UBC and a
co-founder and Director at <a href="https://www.tasktop.com">Tasktop Technologies</a>.
</p>
<p>
Gail's research interests are in software engineering with a particular interest in improving the
productivity of knowledge workers, including software developers. Her group develops tools to aid
with the evolution of large software systems and performs empirical studies to better understand how
developers work and how software is developed.
</p>
<p>
More details about Gail's research can be found on her <a href="https://blogs.ubc.ca/gailcmurphy">home
page</a>.
</p>
</div>
</div>
<h3>Alex Summers</h3>
<div class="mySection">
<img class="myImg" src="img/head_alex.jpg" alt="Alex Summers"/>
<div class="myText">
<p>
Alex is an Associate Professor, working in a number of research areas related to program correctness. He specialises in <i>deductive verification</i>: techniques for annotating program code with specifications, and providing tools which can automatically answer the question of whether the code lives up to those specifications.
</p>
<p>
Alex is interested in a wide variety of techniques and tools, and has worked in the past on type systems, object invariant techniques, formal proof systems, intermediate verification languages, writing and debugging logical encodings to SMT solvers, etc.
</p>
<p>
More details about Alex can be found on his <a href="https://www.cs.ubc.ca/~alexsumm">web page</a>.
</p>
</div>
</div>
<h2>Affiliate Faculty</h2>
<h3>Thomas Fritz</h3>
<div class="mySection">
<img class="myImg" src="img/head_thomas.jpg" alt="thomas fritz"/>
<div class="myText">
<p>
Thomas is an Associate Professor in the Department of Informatics at the University of Zurich. <!-- and an Adjunct Professor in the Department of Computer Science at University of British Columbia. -->
</p>
<p>
In his research, he focuses on empirically studying software developers and on using personal and biometric data to improve software developers' productivity. By better understanding what software developers need, what they experience, and how they operate on a daily basis, we will be able to provide better and more tailored support to developers as well as improve their productivity and the quality of the software they produce. In particular, Thomas is interested in three areas: developer productivity, biometric sensing and information needs.
Thomas works with over 20 international companies, including ABB, Microsoft, and IBM. This research was featured in several media, including the New Yorker, the Wall Street Journal, and the New Scientist.
</p>
<p>
More details can be found on his <a href="https://www.cs.ubc.ca/~fritz">UBC home page</a> and his <a href="https://www.ifi.uzh.ch/en/seal/people/fritz.html">UZH home page</a>.
</p>
</div>
</div>
<h2>Current Members</h2>
<!-- roughly sorted by date joined SPL slack -->
<h3>Rui Ge (Ph.D. student)</h3>
<div class="mySection">
<img class="myImg" src="img/head_rui.jpg" alt="Picture of Rui"/>
<div class="myText">
<p>
Rui is a Ph.D. student co-supervised by Ronald Garcia and Alexander J. Summers. He is interested in
formal methods.
</p>
<p>
More details can be found on Rui's <a target="_blank" href="https://cs.ubc.ca/~rge/">home page</a>.
</p>
</div>
</div>
<h3>Paulette Koronkevich (Ph.D. student)</h3>
<div class="mySection">
<img class="myImg" src="img/head_paulette.jpg" alt="Paulette Koronkevich"/>
<div class="myText">
<p>
Paulette is a Ph.D. student supervised by William J. Bowman.
Her research focuses on type preserving compilation of dependent types.
</p>
<p>
More details can be found on Paulette's <a target="_blank" href="https://koronkevi.ch">home page</a>.
</p>
</div>
</div>
<h3>Adam T. Geller (Ph.D. student)</h3>
<div class="mySection">
<img class="myImg" src="img/head_adam.jpg" alt="Adam T. Geller"/>
<div class="myText">
<p>
Adam is a Ph.D. student in the lab supervised by William J. Bowman.
He is interested in solving problems relating to practical type preservation.
<p>
More details can be found on Adam's <a target="_blank" href="https://cs.ubc.ca/~atgeller/">home page</a>.
</p>
</p>
</div>
</div>
<h3>A. Finn Hackett (Ph.D. student)</h3>
<div class="mySection">
<img class="myImg" src="img/head_finn.jpg" alt="A. Finn Hackett"/>
<div class="myText">
<p>
Finn is a Ph.D. student in the lab supervised by Ivan Beschastnikh.
His interests relate to solving practical problems via programming language design, often involving domain-specific languages, declarative specifications, and verification tooling.
<p>
More details can be found on Finn's <a target="_blank" href="https://fhackett.github.io/">home page</a>.
</p>
</p>
</div>
</div>
<h3>Yanze Li (Ph.D. student)</h3>
<div class="mySection">
<img class="myImg" src="img/head_yanze.jpg" alt="Yanze Li"/>
<div class="myText">
<p>
Yanze is a Ph.D. student co-advised by Ivan Beschastnikh and Alexander J. Summers.
His interests relate to program verification, static analysis, type systems, and their applications to distributed systems.
</p>
<p>
More details can be found on Yanze's <a target="_blank" href="https://liyz.pl">home page</a>.
</p>
</div>
</div>
<h3>Marie Salomon (Ph.D. student)</h3>
<div class="mySection">
<img class="myImg" src="img/head_marie.jpg" alt="Marie Salomon"/>
<div class="myText">
<p>
Marie is a Ph.D. student supervised by Gail Murphy and Reid Holmes. Her research interests focus on exploring how new technologies impact human collaboration, team dynamics, and productivity in software engineering.
</p>
</div>
</div>
<h3>Zack Grannan (Ph.D. student)</h3>
<div class="mySection">
<img class="myImg" src="img/head_zack.jpg" alt="Picture of Zack"/>
<div class="myText">
<p>
Zack is a Ph.D. student supervised by Alex Summers. His main
research interest is program verification.
</p>
<p>
More details can be found on Zack's <a target="_blank" href="https://zackg.me">home page</a>.
</p>
</div>
</div>
<h3>Kyle Chin (Ph.D. student)</h3>
<div class="mySection">
<img class="myImg" src="img/head_kyle.jpg" alt="Picture of Kyle"/>
<div class="myText">
<p>
Kyle is a PhD student advised by Reid Holmes.
He is interested in how we can help students better learn computer science and how software developers comprehend and write code (and finding the best ice cream in Vancouver).
</p>
</div>
</div>
<h3>Mayant Mukul (Ph.D. student)</h3>
<div class="mySection">
<img class="myImg" src="img/head_mayant.jpg" alt="Picture of Mayant"/>
<div class="myText">
<p>
Mayant is a Ph.D. student supervised by Caroline Lemieux. He is interested in
fuzz testing and program analysis.
</p>
<p>
More details can be found on Mayant's <a target="_blank" href="https://mayantm.com">home page</a>.
</p>
</div>
</div>
<h3>Sean Bocirnea (Ph.D. student)</h3>
<div class="mySection">
<img class="myImg" src="img/head_sean.jpg" alt="Picture of Sean"/>
<div class="myText">
<p>
Sean is a Ph.D. student advised by William J. Bowman.
His interests include metaprogramming, dependent types and extensible programming languages.
</p>
<p>
More details can be found on Sean's <a target="_blank" href="https://passingti.me">home page</a>.
</p>
</div>
</div>
<h3>Jasper Geer (MSc student)</h3>
<div class="mySection">
<img class="myImg" src="img/head_jasper.jpg" alt="Picture of Jasper"/>
<div class="myText">
<p>
Jasper is a PhD-Track MSc student advised by Alex Summers.
His interests include program verification and type systems.
</p>
<p>
More details can be found on Jasper's <a target="_blank" href="https://www.jaspergeer.com/">home page</a>.
</p>
</div>
</div>
<h3>Zahin Wahib</h3>
<div class="mySection">
<img class="myImg" src="img/head_zahin.jpg" alt="Picture of Zahin"/>
<div class="myText">
<p>
Zahin is a first year PhD-track student supervised by Caroline Lemieux.
She is currently working on differential fuzz testing for popular Python interpreters.
</p>
</div>
</div>
<h3>Jamie Kai (MSc student)</h3>
<div class="mySection">
<img class="myImg" src="img/head_jamie.jpg" alt="Picture of Jamie"/>
<div class="myText">
<p>
Jamie is an MSc student advised by Ron Garcia and Alex Summers.
His interests include programming language semantics, automated reasoning and probabilistic logic.
</p>
<p>
More details can be found on Jamie's <a target="_blank" href="https://jwkai.github.io/">home page</a>.
</p>
</div>
</div>
<h3>Partha Protim Paul (MSc student)</h3>
<div class="mySection">
<img class="myImg" src="img/head_partha.jpg" alt="Picture of Partha"/>
<div class="myText">
<p>
Partha is a masters student advised by Reid Holmes.
He is interested in how we can kick-start test-driven development by generating test cases from user stories.
</p>
</div>
</div>
<h4>Undergraduate Students</h4>
<ul>
<li>
Youssef Saleh
</li>
<li>
Kevin Liu
</li>
<li>
Randy Zhu
</li>
<li>
Evan Wrench
</li>
<li>
Yifan Bao
</li>
</ul>
<h3>Past Postdoctoral Researchers</h3>
<ul>
<li><a href="https://shaifulc.github.io/">Shaiful Chowdhury (Postdoctoral Fellow, University of Calgary, Canada</a></li>
<li><a href="http://www.dunfieldlab.ca">Jana Dunfield (Assistant Professor, Queens University, Canada)</a></li>
<li><a href="http://www.neilernst.net">Neil Ernst (Associate Professor, University of Victoria)</a></li>
<li><a href="https://www.ifi.uzh.ch/en/seal/people/fritz.html">Thomas Fritz (Associate Professor, University of Zurich, Switzerland)</a></li>
<li><a href="http://sel.ist.osaka-u.ac.jp/people/ishio">Takashi Ishio (Associate Professor, Nara University, Japan)</a></li>
<li>Adrian Kuhn (Airbnb)</li>
<li><a href="https://research.google/people/EmersonMurphyHill/">Emerson Murphy-Hill (Associate Professor, NC State University -> Google Research)</a></li>
<li>Petri Selonen (Principal Researcher, Nokia Research)</li>
<li><a href="https://davidshepherd.weebly.com">David Shepherd (Tasktop -> ABB -> Virginia Commonwealth University -> Louisiana State University)</a></li>
</ul>
<h3>Past Graduate Students</h3>
<p>The SPL has had many wonderful students participate in the lab. Below are some with their first affiliation after
graduation when known. If you are missing from this list or want your entry updated, just drop <a
href="https://cs.ubc.ca/~rtholmes">Reid</a> an email!</p>
<ul>
<!-- NOTE: alphabetical(ish) listing by last name -->
<li><a href="https://www.linkedin.com/in/ishtiaque05/">Syed Ishtiaque Ahmad (RBC Ventures)</a></li>
<li>Shizuko Akamoto (Copilot.ai)</li>
<li><a href="https://www.linkedin.com/in/brian-de-alwis-6478b91/">Brian de Alwis (Post-doc, U. Saskatchwan -> Google)</a></li>
<li><a href="http://directory.uleth.ca/users/john.anvik">John Anvik (Assistant Professor, University of Lethbridge)</a></li>
<li>Rodrigo Araújo (CTO.ai)</li>
<li><a href="http://jenniferbaldwin.info">Jennifer Baldwin (University of Victoria)</a></li>
<li><a href="https://www.cs.ubc.ca/people/elisa-baniassad">Elisa Baniassad</a> (Professor of Teaching, University of British Columbia)</li>
<li>Alex Bradley (Coho Data)</li>
<li><a href="https://ncbradley.com">Nick Bradley (Instructor - UBC)</a></li>
<li><a href="https://snarky.ca">Brett Cannon (Google)</a></li>
<li><a href="https://ionathan.ch/">Jonathan Chan (PhD @ University of Pennsylvania)</a></li>
<li>Rick Chern (MDA)</li>
<li><a href="https://yvonnecoady.com">Yvonne Coady (Professor, University of Victoria)</a></li>
<li>Wesley Coelho (Tasktop)</li>
<li><a href="http://cubranic.freeshell.org">Davor Cubranic (AbCellera)</a></li>
<li>Sam Davis (Tasktop)</li>
<li><a href="https://www.cs.usask.ca/people/faculty%20profiles/christopher-dutchyn.php">Chris Dutchyn (Associate Professor, University of Saskatchewan)</a></li>
<li><a href="https://annaei.github.io">Anna Maria Eilertsen (Amazon)</a></li>
<li><a href="https://github.com/aeisenberg">Andrew Eisenberg (GitHub)</a></li>
<li><a href="https://eremondi.com">Joseph (Joey) Eremondi (Royal Society Newtown Fellow @ University of Edinburgh -> Assistant Professor, University of Regina)</a></li>
<li>Sara Forghanizadeh</li>
<li><a href="https://www.ifi.uzh.ch/en/seal/people/fritz.html">Thomas Fritz (Associate Professor, U. Zurich)</a></li>
<li>Steve Gao (Blast Radius)</li>
<li>Ryan Golbeck (Science Teaching and Learning Fellow, University of British Columbia)</li>
<li>Stephan Gudmundson</li>
<li><a href="https://www.linkedin.com/in/felixgrund/">Felix Grund (Lively Apps, Sessional Instructor - UBC)</a></li>
<li><a href="https://braxtonhall.ca">Braxton Hall (Digital Nomad)</a></li>
<li><a href="https://janhannemann.wordpress.com">Jan Hannemann (Head of System Design, German National Library)</a></li>
<li><a href="https://www.linkedin.com/in/quinn-hanam-73984446/">Quinn Hanam (Amazon.com)</a></li>
<li>Lyndon Hiew</li>
<li><a href="https://www.cs.ubc.ca/~rtholmes">Reid Holmes (Professor, University of British Columbia)</a></li>
<li>Terry Hon</li>
<li>Doug Janzen (Tableau)</li>
<li><a href="https://www.katkerr.ca">Katharine Kerr</a></li>
<li><a href="https://about.me/mik.kersten">Mik Kersten (CEO and co-founder, Tasktop Technologies -> CTO, Planview Inc.)</a></li>
<li>Albert Lai (McKesson Medical Imaging Group)</li>
<li><a href="https://nestederror.com">Xinhong (Sam) Liu (Alloy Inc. -> Amazon Web Services -> Workday)</a></li>
<li>Gene Lee (Walt Disney Animation)</li>
<li><a href="https://www.linkedin.com/in/alison-li/">Alison Li (Veeva Systems -> Okta)</a></li>
<li>Lloyd Markle</li>
<li><a href="https://marquesarthur.github.io">Arthur Marques (Google)</a></li>
<li><a href="https://christophermatthews.ca">Chris Matthews (University of Victoria)</a></li>
<li>Ed McCormick</li>
<li>Jonatan Milewski</li>
<li>Ivan Minevskiy (SAP)</li>
<li>Shawn Minto (Tasktop)</li>
<li>Clint Morgan (Tasktop)</li>
<li>Immad Naseer</li>
<li>Jingwen (Owen) Ou (Elastic Path)</li>
<li>Jan M. Pilzer (Microsoft)</li>
<li>Raji Rajagopalan (Microsoft)</li>
<li><a href="https://se.cs.ubc.ca/go/nico">Nico Ritschel (Postdoc, UIUC))</a></li>
<li><a href="https://www.cs.mcgill.ca/~martin">Martin Robillard (Professor, McGill University)</a></li>
<li>Evgeny Roubenchtein</li>
<li><a href="https://scholtzan.net/">Anna Scholtz (Mozilla Inc.)</a></li>
<li>Izzet Safer (IBM Toronto Software Lab)</li>
<li>Christopher Satterfield (Amazon.com)</li>
<li>Felipe Bañados Schwerter (Postdoc @ University of Alberta)</li>
<li>Jonathan Sillito (Amazon -> Associate Professor, BYU)</li>
<li>Arjun Singh</li>
<li>Navjot Singh (Oblong Industries)</li>
<li>Robin Salkeld</li>
<li><a href="http://webfoot.com">Ducky Sherwood (Atimi Software)</a></li>
<li>Nick Sawadsky (Software Engineer, Optemo)</li>
<li>Tarcísio Teixeira (CTO.ai)</li>
<li><a href="https://c.albert-thompson.com">C. Albert Thompson</a></li>
<li>Maria Tkatchenko (Government of Canada)</li>
<li><a href="https://www.linkedin.com/in/toto-tokaeo/">Peeranat (ToTo) Tokaeo</a></li>
<li><a href="https://vivianig.github.io">Giovanni Viviani (Amazon)</a></li>
<li>Petcharat (Apple) Viriyakattiyaporn</li>
<li><a href="https://lsmr.org/walker">Robert Walker (Professor, University of Calgary)</a></li>
<li>Linton (Lingdong) Ye</li>
<li><a href="https://annieying.ca">Annie Ying (Ph.D. at McGill University -> IBM Research)</a></li>
<li><a href="https://homes.cs.washington.edu/~jmsy">James Yoo (Twitter -> Ph.D. at University of Washington)</a></li>
<li>Trevor Young (EnStream)</li>
<li>Jun Zhang</li>
<li><a href="https://alloy.ai/">Lucas Zamprogno (Alloy Technologies, Inc.)</a></li>
</ul>
<h3>Past Undergraduate Students</h3>
<p>SPL has also welcomed many undergraduate students for Honours Theses, undergraduate directed studies, summer
research projects, cooperative work terms and more. Here are some of the students who have participated in
the lab.</p>
<p>Victor Barua, Eric Booth, Harinder Brar, Avi Bryant, Andrew Catton, Andrew Chan, Ruiyuan (Ronnie) Chen, Danita Cheng, Denise Choi, Wesley Coelho,
Alison Clark, Joseph Collins-Unruh, Mirela Cukovic, Tanya Ellchuk, Taivo Evard, Thomas Fritz, Shauna Gammon, Braxton Hall, Nathan Hapke,
Thad Heinrichs, Anson Ho, Reid Holmes, Harold Hsu, Katherine Irvine, Khurram Jafery, Tom Jarecki, Mik Kersten, Dominika
Lacka, Alan Lai, Albert Lai, Ciaran Llachlan Leavitt, Leo Lee, Nick Lee, Robert Lee, Cynthia Lim, Julia Litke, Lindsay
Mason, Tracy Mew, Shawn Minto, Kenneth Mui, Robin Newhouse, Jerilyn Ning, Leo Ping, Winnie Poon, Tanja
Radeka, Robert Rekrutiak, Ekaternia Saenko, Jeff Steinbok, Derek Shimoza, Patience Shyu, Jonathan Stiansen, Ken Sueda, Erin
Takeshita, Kimberely Tee, Matthew Theobald, Cristina Teodoropol, Neil Thomas, Stephanie Van Dyk, Kaili Vesik, James Williams,
Dave Wilson, Albert Wong, Annie Ying, James Yoo, Jason Xu</p>
<h3>Past Visitors</h3>
<ul>
<li><a href="https://cs.uwaterloo.ca/~jmatlee/">Jo Atlee (University of Waterloo, Canada)</a></li>
<li>Manabu Kamimura (Fujitsu)</li>
<li><a href="http://sites.ecomp.uefs.br/roberto">Roberto Bittencourt (Federal University of Campina Grande, Brazil)</a></li>
<li><a href="http://wiki.dcc.ufba.br/LES/AntonioTerceiro">Antonio Terceiro (Federal University of Bahia, Brazil)</a></li>
</ul>
<h3>Past Staff</h3>
<ul>
<li><a href="https://www.cs.ubc.ca/people/meghan-allen">Meghan Allen (Associate Professor of Teaching, University of British Columbia)</a></li>
<li><a href="https://www.linkedin.com/in/robertelves">Robert Elves (Tasktop)</a></li>
<li><a href="https://www.linkedin.com/in/wmono/">William Ono (UBC Information Technology)</a></li>
</ul>
</div>
<!-- End of Content Area -->
<!-- Footer Area Unit Menu - Mobile Only -->
<div id="ubc7-unit-alternate-navigation" class="navbar expand visible-phone" role="navigation">
<div class="navbar-inner expand">
<div class="container">
<div class="nav-collapse collapse">
<ul class="nav">
<li><a href="index.html">Home</a></li>
<li class="active"><a href="people.html">People</a></li>
<li><a href="research.html">Research</a></li>
<li><a href="publications.html">Publications</a></li>
<li><a href="courses.html">Courses</a></li>
<li><a href="culture.html">Culture</a></li>
<li><a href="reading-group.html">Reading Group</a></li>
</ul>
</div><!-- /.nav-collapse -->
</div>
</div><!-- /navbar-inner -->
</div><!-- /navbar -->
<!-- End of Footer Area Unit Menu -->
<footer id="ubc7-footer" class="expand" role="contentinfo">
<div class="row-fluid expand" id="ubc7-unit-footer">
<div class="span10" id="ubc7-unit-address">
<div id="ubc7-address-name">Software Practices Lab</div>
<div id="ubc7-address-unit-name">Department of Computer Science</div>
<div id="ubc7-address-campus">Vancouver Campus</div>
<div id="ubc7-address-street">201 - 2366 Main Mall</div>
<div id="ubc7-address-location">
<span id="ubc7-address-city">Vancouver</span>, <span id="ubc7-address-province">BC</span> <span
id="ubc7-address-country">Canada</span> <span id="ubc7-address-postal">V6T 1Z4</span>
</div>
</div>
</div>
<div class="row-fluid expand ubc7-back-to-top">
<div class="span2">
<a href="#">Back to top
<div class="ubc7-arrow up-arrow grey"></div>
</a>
</div>
</div>
<div class="row-fluid expand" id="ubc7-global-footer">
<div class="span5" id="ubc7-signature"><a href="https://www.ubc.ca">The University of British Columbia</a>
</div>
<div class="span7" id="ubc7-footer-menu">
</div>
</div>
<div class="row-fluid expand" id="ubc7-minimal-footer">
<div class="span12">
<ul>
<li><a href="//cdn.ubc.ca/clf/ref/emergency">Emergency Procedures</a> <span class="divider">|</span>
</li>
<li><a href="//cdn.ubc.ca/clf/ref/terms">Terms of Use</a> <span class="divider">|</span></li>
<li><a href="//cdn.ubc.ca/clf/ref/copyright">Copyright</a> <span class="divider">|</span></li>
<li><a href="//cdn.ubc.ca/clf/ref/accessibility">Accessibility</a></li>
</ul>
</div>
</div>
</footer>
</div> <!-- /container -->
<!-- Placed javascript at the end for faster loading -->
<script src="//ajax.googleapis.com/ajax/libs/jquery/1.9.1/jquery.min.js"></script>
<script src="//cdn.ubc.ca/clf/7.0.4/js/ubc-clf.min.js"></script>
</body>
</html>