-
Notifications
You must be signed in to change notification settings - Fork 19
/
index.html
executable file
·157 lines (151 loc) · 5.68 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
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
<div class="row">
<div class="mt-5 col-lg-6">
<div class="row">
<div class="mt-4 col-lg-4">
<img width="100px" class="img-fluid" src="/img/plclub-logo.svg">
</div>
<div class="mt-4 col-lg-8">
The programming languages group at the University of Pennsylvania has been a hub for understanding the essence of computation. Research topics include type theory, functional programming, formal verification, and logic.
</div>
</div>
<h4 class="mt-4">Keep in Touch</h4>
<ul>
<li><a href="https://lists.seas.upenn.edu/mailman/listinfo/plclub">[plclub] mailing list</a></li>
<li><a href="https://lists.seas.upenn.edu/mailman/listinfo/types-list">TYPES forum</a></li>
</ul>
<div align="center">
Check out [plclub] resources and tools on
<a href="https://github.com/plclub">GitHub <img src="img/github-logo.png" height="30"></a>
</div>
</div>
<div class="mt-5 col-lg-6">
<h4 class="mt-4">Courses</h4>
<ul>
<li>CIS 5000 : <a href="https://www.seas.upenn.edu/~cis5000/current/index.html">Software Foundations</a></li>
<li>CIS 5470 : <a href="https://www.youtube.com/playlist?list=PLF3-CvSRq2SYXEiS80KuZQ80q8K2aHLQX">Software Analysis</a></li>
<li>CIS 5520 : <a href="https://www.seas.upenn.edu/~cis5520/current/index.html">Advanced Programming</a></li>
<li>CIS 6700 : <a href="https://catalog.upenn.edu/courses/cis/">Rotating PL Seminar</a></li>
<li>CIS 6730 : <a href="https://www.cis.upenn.edu/~alur/cis673.html">Computer-Aided Verification</a></li>
</ul>
<h4 class="mt-4">Related Groups at Penn</h4>
<ul>
<li><a href="https://precise.seas.upenn.edu/">PRECISE</a></li>
<li><a href="https://dsl.cis.upenn.edu/">Distributed Systems Laboratory</a></li>
<li><a href="https://netdb.cis.upenn.edu/">Penn Database Group</a></li>
<li><a href="https://www.cis.upenn.edu/~lc/home.html">Logic and Computation</a></li>
<li><a href="https://asset.seas.upenn.edu/">ASSET Center</a></li>
</ul>
</div>
</div>
<hr>
<div class="row">
<div class="col-lg-6 mt-2">
<h3 class="mt-2"> PLClub Discussion Group</h3>
We meet on Fridays, 12:00pm - 1:00pm at Levine 307.
<h5 class="mt-3">Rules</h5>
<ol>
<li>Talk about PLClub! Anyone is welcome.</li>
<li>New members are welcome and encouraged give talks. </li>
<li>Talks can be about in-progress ideas, a paper you read, a paper you published, etc. — you just have to PL!</li>
</ol>
<div><a href="/club">See full schedule here.</a></div>
</div>
<div class="col-lg-6 mt-2">
<div class="row h-100 align-items-center">
<div class="col-lg-1"></div>
<div class="col-lg-10">
<div class="card">
<div class="card-body text-center">
Research is better in a diverse community. We affirm and embrace our
differences in race and ethnicity, gender expression, sexual orientation,
and other personal characteristics. We expect our members to make PLClub a
safe and welcoming place for all.
</div>
</div>
</div>
</div>
</div>
</div>
<hr>
<h3>People of PLClub</h3>
<h4 class="mt-4">Faculty</h4>
$for(facultyGroup)$
<div class="mt-3 row">
$for(faculty)$
<div id="info-container" class="col-lg-2 col-md-12">
$if(headshot)$
<a href= "$website$"><img class="img-fluid rounded mb-4" src="/img/people/$headshot$" alt="$name$" width="200px" height="200px"/></a>
$else$
<img class="img-fluid rounded mb-4" src="/img/people/missing.jpg" alt="$name$" width="200px" height="200px"/>
$endif$
</div>
<div class="mt-3 col-lg-2 col-md-12">
<strong>$name$</strong>
<div class="mt-1" id="links">
[<a href="mailto:$email$">email</a>]<br>
[<a href="$website$">website</a>]
</div>
</div>
$endfor$
</div>
$endfor$
<h4 class="mt-4">Postdocs</h4>
$for(postdocGroup)$
<div id="info-container" class="mt-3 row">
$for(postdoc)$
<div class="col-lg-2 col-md-12">
$if(headshot)$
<a href= "$website$"><img class="img-fluid rounded mb-4" src="/img/people/$headshot$" alt="$name$" width="150px" height="150px"/></a>
$else$
<img class="img-fluid rounded mb-4" src="/img/people/missing.jpg" alt="$name$" width="150px" height="150px"/>
$endif$
</div>
<div class="mt-3 col-lg-2 col-md-12">
<strong>$name$</strong>
<div class="mt-1" id="links">
[<a href="mailto:$email$">email</a>]<br>
[<a href="$website$">website</a>]
</div>
</div>
$endfor$
</div>
$endfor$
<h4 class="mt-4">Ph.D. Students</h4>
$for(studentGroup)$
<div id="info-container" class="mt-3 row">
$for(student)$
<div class="col-lg-2 col-md-12">
$if(headshot)$
$if(website)$
<a href= "$website$"><img class="img-fluid rounded mb-4" src="/img/people/$headshot$" alt="$name$" width="150px" height="150px"/></a>
$else$
<img class="img-fluid rounded mb-4" src="/img/people/$headshot$" alt="$name$" width="150px" height="150px"/>
$endif$
$else$
<img class="img-fluid rounded mb-4" src="/img/people/missing.jpg" alt="$name$" width="150px" height="150px"/>
$endif$
</div>
<div class="mt-3 col-lg-2 col-md-12">
<strong>$name$</strong>
<div class="mt-1" id="links">
[<a href="mailto:$email$">email</a>]<br>
$if(website)$
[<a href="$website$">website</a>]<br>
$else$
$endif$
</div>
</div>
$endfor$
</div>
$endfor$
<h3 id="alum" class="mt-5">Alumni</h3>
<ul id="circle-list">
$for(alum)$
$if(website)$
<li><a href="$website$">$name$</a> - $degree$, $year$. <span class="year" style="color:gray">$where$</span></li>
$else$
<li>$name$ - $degree$, $year$. <span class="year" style="color:gray">$where$</span></li>
$endif$
$endfor$
</ul>
</div>