-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathindex.html
89 lines (74 loc) · 5.09 KB
/
index.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
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>Paley Li Homepage</title>
<!-- Bootstrap -->
<link href="css/bootstrap.min.css" rel="stylesheet">
<!-- Custom css -->
<link href="css/custom.css" rel="stylesheet">
<!-- Fonts -->
<link href='http://fonts.googleapis.com/css?family=Ubuntu:300' rel='stylesheet' type='text/css'>
<link href='http://fonts.googleapis.com/css?family=Open+Sans' rel='stylesheet' type='text/css'>
<link href='http://fonts.googleapis.com/css?family=PT+Sans' rel='stylesheet' type='text/css'>
<!-- For IE 9 and below. ICO should be 32x32 pixels in size -->
<!--[if IE]><link rel="shortcut icon" href="./img/favicon.ico"><![endif]-->
<!-- Firefox, Chrome, Safari, IE 11+ and Opera. 196x196 pixels in size. -->
<link rel="icon" href="./img/favicon.png">
</head>
<body id="pn-top">
<div class="jumbotron">
<div class="container">
<div class="row">
<div class="col-md-12">
<img src="paleyli.jpg" alt="Paley Li" height="350" width="350"/>
<h1>Paley Guangping Li</h1>
<h2>Faculty of Information Technology<a href="https://www.fit.cvut.cz/en" target="_blank"><span class="glyphicon glyphicon-link" style="font-size: 64%;" aria-hidden="true"></span></a></h2>
<h3>Czech Technical University <a href="https://www.cvut.cz/en" target="_blank"><span class="glyphicon glyphicon-link" style="font-size: 62%;" aria-hidden="true"></span></a></h3>
<h4>Prague</h4>
</div>
</div>
</div>
</div>
<div class="pn-main-wrapper">
<div class="container ">
<div class="content">
<div class="row">
<div class="col-md-10 col-md-offset-1">
<H1> About Me</H1>
<p>
I am a postdoc at Czech Technical University.
I am part of the <a href="https://prl-prg.github.io/">PRL @ PRG</a> research group, where I am working with <a href="http://janvitek.github.io">Jan Vitek</a> looking at ways to optimize the programming language <a href="https://www.r-project.org/">R</a> and <a href="https://julialang.org/">Julia</a>, as well as analysing JavaScript to better understand of the web. Previously, I was a postdoc at the <a href="http://prl.ccs.neu.edu/">Programming Research Lab</a> in <a href="http://www.northeastern.edu/">Northeastern University</a> .
I was a phd student at <a href="http://www.victoria.ac.nz/ecs/">Victoria</a> University of Wellington, where I was very fortunate to have been supervised by <a href="http://homepages.ecs.vuw.ac.nz/~kjx/">James Noble</a> and <a href="http://www.ncameron.org/">Nicholas Cameron</a>. My research was looking at ways to formalism object cloning with ownership types.
</p>
<p>
I like basketball, swimming, travelling, reading, cooking.
</p>
<H1> Research Interests</H1>
<p>
My research interests involves programming language design, type theory, ownership types, and type systems.
</p>
<h1>Publications</h1>
<div class="paper row"> <span class="venue col-md-4">IWACO '14</span> <span class="title col-md-12"><a href="papers/Paper3.pdf">Dynamic Semantics of Sheep Cloning: Proving Cloning</a></span></div>
<div class="paper row"> <span class="venue col-md-4">FOOL '12</span> <span class="title col-md-12"><a href="papers/paper2.pdf">Sheep Cloning with Ownership Types</a> <a href="papers/8.pdf">(Slides)</a>
</span></div>
<div class="paper row"> <span class="venue col-md-4">OOPSLA '10</span> <span class="title col-md-12"><a href="papers/ownership-immutability-oopsla2010.pdf">Ownership and Immutability in Generic Java*</a></span></div>
<div class="paper row"> <span class="venue col-md-4">FOOL '10</span> <span class="title col-md-12"><a href="papers/li_FOOL10.pdf">Mojojojo - More Ownership for Multiple Owners</a></span></div>
<div class="paper row"> <span class="venue col-md-4">IWACO '09</span> <span class="title col-md-12"><a href="papers/LiNelsonPotaninIWACO2009">Ownership for Relationships (Position Paper)</a></span></div>
<div class="paper row"> <span class="venue col-md-4">IWACO '08</span> <span class="title col-md-12"><a href="papers/LiPotaninNobleGrovesIWACO2008.pdf">Towards Unifying Immutability and Ownership (Position Paper)</a></span></div>
<h1>Thesis</h1>
<div class="paper row"> <span class="title col-md-8">PhD: <a href="papers/Final_version.pdf">Ownership Cloning for Ownership Systems</a> </span></div>
<div class="paper row"> <span class="title col-md-8">BSc Honors: <a href=""> Ownership and Immutability</a> </span></div>
<h1>Contact</h1>
<p>
My <strong>email</strong> is paley dot li at fit dot cvut dot cz. If you are ever in Prague feel free to drop by and say hi.
</p>
</div>
</div>
<footer class="footer">
<p></p>
</footer>
</body>
</html>