Skip to content

Commit 84f2eba

Browse files
ck090ck090
committed
updates to graduated phds and postdocs
1 parent 134c80d commit 84f2eba

3 files changed

Lines changed: 53 additions & 112 deletions

File tree

‎index.html‎

Lines changed: 15 additions & 75 deletions
Original file line numberDiff line numberDiff line change
@@ -41,25 +41,15 @@ <h3 xmlns="">Faculty</h3>
4141
<div xmlns=""><a href="http://vlsi.colorado.edu/~fabio/"><img class="small-face" src="pics/somenzi.jpg"></a><a href="http://vlsi.colorado.edu/~fabio/">Fabio Somenzi</a></div>
4242
<div xmlns=""><a href="http://www.cs.colorado.edu/~astr3586/"><img class="small-face" src="pics/ashutosh.jpg"></a><a href="http://www.cs.colorado.edu/~astr3586/">Ashutosh Trivedi</a></div>
4343
<div xmlns=""><a href="https://sites.google.com/site/zamani1362/home"><img class="small-face" src="pics/mzamani.png"></a><a href="https://sites.google.com/site/zamani1362/home">Majid Zamani</a></div>
44+
<h3 xmlns="">Post-Docs</h3>
45+
<div xmlns=""><img class="small-face" src="pics/generic-male.png">Vishnu Murali
46+
</div>
4447
<h3 xmlns="">Students</h3>
4548
<h4 xmlns="">PhD</h4>
46-
<div xmlns=""><img class="small-face" src="pics/generic-male.png">Taylor Dohmen
47-
</div>
48-
<div xmlns=""><a href="https://plv.colorado.edu/deflores"><img class="small-face" src="pics/flores.jpg"></a><a href="https://plv.colorado.edu/deflores">David Flores</a></div>
4949
<div xmlns=""><a href="https://chfont.github.io"><img class="small-face" src="pics/cfontenot.jpg"></a><a href="https://chfont.github.io">Christian Fontenot</a></div>
50-
<div xmlns=""><img class="small-face" src="pics/generic-male.png">John Komp
51-
</div>
5250
<div xmlns=""><a href="https://www.octalsrc.org/research"><img class="small-face" src="pics/nlewchenko.jpg"></a><a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a></div>
5351
<div xmlns=""><a href="https://kirby.linvill.net"><img class="small-face" src="pics/klinvill.jpg"></a><a href="https://kirby.linvill.net">Kirby Linvill</a></div>
54-
<div xmlns=""><a href="https://plv.colorado.edu/tianhan/"><img class="small-face" src="pics/tianhan.jpg"></a><a href="https://plv.colorado.edu/tianhan/">Tianhan Lu</a></div>
55-
<div xmlns=""><a href="http://plv.colorado.edu/shawn/"><img class="small-face" src="pics/meier.jpg"></a><a href="http://plv.colorado.edu/shawn/">Shawn Meier</a></div>
56-
<div xmlns=""><img class="small-face" src="pics/generic-male.png">Vishnu Murali
57-
</div>
5852
<div xmlns=""><a href="https://ck090.github.io/"><img class="small-face" src="pics/cknagesh.jpeg"></a><a href="https://ck090.github.io/">Chandra Kanth Nagesh</a></div>
59-
<div xmlns=""><img class="small-face" src="pics/mnarasimhamurthy.jpg">Monal Narasimhamurthy
60-
</div>
61-
<div xmlns=""><img class="small-face" src="pics/generic-male.png">Mateo Perez
62-
</div>
6353
<div xmlns=""><img class="small-face" src="pics/generic-male.png">Prasanth Prahladan
6454
</div>
6555
<div xmlns=""><a href="https://rameezw.github.io/"><img class="small-face" src="pics/rwajid.jpeg"></a><a href="https://rameezw.github.io/">Rameez Wajid</a></div>
@@ -93,22 +83,33 @@ <h4 xmlns="">PhD</h4>
9383
</div>
9484
<div xmlns=""><a href="http://www.cs.colorado.edu/~coughlid"><img class="small-face" src="pics/coughlin.jpg"></a><a href="http://www.cs.colorado.edu/~coughlid">Devin Coughlin</a></div>
9585
<div xmlns=""><a href="http://eces.colorado.edu/~coxaj/"><img class="small-face" src="pics/cox.jpg"></a><a href="http://eces.colorado.edu/~coxaj/">Arlen Cox</a></div>
86+
<div xmlns=""><img class="small-face" src="pics/generic-male.png">Taylor Dohmen
87+
</div>
9688
<div xmlns=""><img class="small-face" src="pics/mdooley.jpg">Michael Dooley
9789
</div>
9890
<div xmlns=""><a href="https://sites.google.com/site/duttasouradeep39/"><img class="small-face" src="pics/sdutta.png"></a><a href="https://sites.google.com/site/duttasouradeep39/">Souradeep Dutta</a></div>
91+
<div xmlns=""><a href="https://plv.colorado.edu/deflores"><img class="small-face" src="pics/flores.jpg"></a><a href="https://plv.colorado.edu/deflores">David Flores</a></div>
9992
<div xmlns=""><img class="small-face" src="pics/generic-male.png">Justin E. Gottschlich
10093
</div>
10194
<div xmlns=""><img class="small-face" src="pics/karlin.jpg">Ian Karlin
10295
</div>
96+
<div xmlns=""><img class="small-face" src="pics/generic-male.png">John Komp
97+
</div>
10398
<div xmlns=""><img class="small-face" src="pics/tkushner.png">Taisa Kushner
10499
</div>
100+
<div xmlns=""><a href="https://plv.colorado.edu/tianhan/"><img class="small-face" src="pics/tianhan.jpg"></a><a href="https://plv.colorado.edu/tianhan/">Tianhan Lu</a></div>
105101
<div xmlns=""><a href="http://www.jrmcclurg.com/"><img class="small-face" src="pics/mcclurg.jpg"></a><a href="http://www.jrmcclurg.com/">Jedidiah McClurg</a></div>
102+
<div xmlns=""><a href="http://plv.colorado.edu/shawn/"><img class="small-face" src="pics/meier.jpg"></a><a href="http://plv.colorado.edu/shawn/">Shawn Meier</a></div>
106103
<div xmlns=""><img class="small-face" src="pics/miao.jpg">Weiyu Miao
107104
</div>
108105
<div xmlns=""><a href="http://research.microsoft.com/en-us/people/toddm/"><img class="small-face" src="pics/mytkowicz.jpg"></a><a href="http://research.microsoft.com/en-us/people/toddm/">Todd Mytkowicz</a></div>
106+
<div xmlns=""><img class="small-face" src="pics/mnarasimhamurthy.jpg">Monal Narasimhamurthy
107+
</div>
109108
<div xmlns=""><img class="small-face" src="pics/nelson.jpg">Thomas Nelson
110109
</div>
111110
<div xmlns=""><a href="https://sites.google.com/a/colorado.edu/saeid-tizpaz-niari/"><img class="small-face" src="pics/tizpaz.jpg"></a><a href="https://sites.google.com/a/colorado.edu/saeid-tizpaz-niari/">Saeid Tizpaz Niari</a></div>
111+
<div xmlns=""><img class="small-face" src="pics/generic-male.png">Mateo Perez
112+
</div>
112113
<div xmlns=""><img class="small-face" src="pics/ravanbakhsh.png">Hadi Ravanbakhsh
113114
</div>
114115
<div xmlns=""><a href="http://www.cs.umass.edu/~creichen/"><img class="small-face" src="pics/reichenbach.png"></a><a href="http://www.cs.umass.edu/~creichen/">Christoph Reichenbach</a></div>
@@ -480,7 +481,7 @@ <h3 xmlns="">Affiliates</h3>
480481
<div xmlns="" class="contentbox" style="width: 99%; float:right; height: 6ex;"><a href="http://www.colorado.edu/cs/apply/graduate-admissions"><b>Ph.D. Positions</b></a>.
481482
We are looking for strong students to join our diverse and
482483
dynamic group in programming languages and verification.
483-
Application deadline is December 15, 2024.
484+
Application deadline is December 15, 2025.
484485

485486
</div>
486487
<div xmlns="" style="clear: left;"></div>
@@ -629,67 +630,6 @@ <h2 xmlns=""><a href="https://pldi22.sigplan.org/">PLDI 2022</a><span class="sub
629630
</div>
630631
</div>
631632
</div>
632-
633-
<h2 xmlns=""><a href="https://conf.researchr.org/home/sas-2021">SAS 2021</a><span class="subh">Chicago, Illinois, USA</span><span class="subh">October 2021</span></h2>
634-
635-
<div xmlns="" class="item">
636-
<div class="item-icon"><a href="papers/brbo-sas21.pdf" onClick="_gaq.push(['_trackPageview', '/papers/brbo-sas21.pdf']);"><img src="clouds/brbo-sas21.words.png" class="icon"></a></div>
637-
<div class="item-block">
638-
<div class="item-date">2021</div>
639-
<ul class="hlinks">
640-
<li><a href="papers/brbo-sas21.html">detail</a></li>
641-
<li><a href="papers/brbo-sas21.pdf" onClick="_gaq.push(['_trackPageview', '/papers/brbo-sas21.pdf']);">pdf</a></li>
642-
</ul>
643-
<div class="item-header hanging">Selectively-Amortized Resource Bounding</div>
644-
<div class="hanging"><a href="https://plv.colorado.edu/tianhan/">Tianhan Lu</a>, <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, and <a href="http://www.cs.colorado.edu/~astr3586/">Ashutosh Trivedi</a></div>
645-
<div class="hanging">
646-
<a href="https://conf.researchr.org/home/sas-2021">SAS 2021</a>:
647-
International Static Analysis Symposium
648-
649-
</div>
650-
</div>
651-
</div>
652-
653-
<h2 xmlns=""><a href="http://i-cav.org/2021/">CAV 2021</a><span class="subh">Virtual</span><span class="subh">July 2021</span></h2>
654-
655-
<div xmlns="" class="item">
656-
<div class="item-icon"><a href="papers/bmdp-cav21.pdf" onClick="_gaq.push(['_trackPageview', '/papers/bmdp-cav21.pdf']);"><img src="clouds/bmdp-cav21.words.png" class="icon"></a></div>
657-
<div class="item-block">
658-
<div class="item-date">2021</div>
659-
<ul class="hlinks">
660-
<li><a href="papers/bmdp-cav21.html">detail</a></li>
661-
<li><a href="papers/bmdp-cav21.pdf" onClick="_gaq.push(['_trackPageview', '/papers/bmdp-cav21.pdf']);">pdf</a></li>
662-
</ul>
663-
<div class="item-header hanging">Model-Free Reinforcement Learning for Branching Markov Decision Processes.</div>
664-
<div class="hanging">Ernst Moritz Hahn, Mateo Perez, Sven Schewe, <a href="http://vlsi.colorado.edu/~fabio/">Fabio Somenzi</a>, <a href="http://www.cs.colorado.edu/~astr3586/">Ashutosh Trivedi</a>, and Dominik Wojtczak
665-
</div>
666-
<div class="hanging">
667-
<a href="http://i-cav.org/2021/">CAV 2021</a>:
668-
International Conference on Computer Aided Verification
669-
670-
</div>
671-
</div>
672-
</div>
673-
674-
<h2 xmlns=""><a href="https://conf.researchr.org/home/pldi-2021">PLDI 2021</a><span class="subh">Virtual</span><span class="subh">June 2021</span></h2>
675-
676-
<div xmlns="" class="item">
677-
<div class="item-icon"><a href="papers/dai-pldi21.pdf" onClick="_gaq.push(['_trackPageview', '/papers/dai-pldi21.pdf']);"><img src="clouds/dai-pldi21.words.png" class="icon"></a></div>
678-
<div class="item-block">
679-
<div class="item-date">2021</div>
680-
<ul class="hlinks">
681-
<li><a href="papers/dai-pldi21.html">detail</a></li>
682-
<li><a href="papers/dai-pldi21.pdf" onClick="_gaq.push(['_trackPageview', '/papers/dai-pldi21.pdf']);">pdf</a></li>
683-
</ul>
684-
<div class="item-header hanging">Demanded Abstract Interpretation</div>
685-
<div class="hanging"><a href="http://plv.colorado.edu/benno">Benno Stein</a>, <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, and <a href="http://manu.sridharan.net">Manu Sridharan</a></div>
686-
<div class="hanging">
687-
<a href="https://conf.researchr.org/home/pldi-2021">PLDI 2021</a>:
688-
ACM SIGPLAN Conference on Programming Language Design and Implementation
689-
690-
</div>
691-
</div>
692-
</div>
693633
</div>
694634
</div>
695635
</body>

‎people.html‎

Lines changed: 30 additions & 29 deletions
Original file line numberDiff line numberDiff line change
@@ -69,50 +69,26 @@ <h2 xmlns="">Faculty</h2>
6969
<div>Majid Zamani</div></a></div>
7070
<div xmlns="" class="clearer"></div>
7171
<div xmlns="" class="clearer"></div>
72-
<div xmlns="" class="clearer"></div>
73-
<h2 xmlns="">Students</h2>
74-
<h3 xmlns="">PhD</h3>
72+
<h2 xmlns="">Post-Docs</h2>
7573
<div xmlns="" class="person">
7674
<div><img class="face" src="pics/generic-male.png"></div>
77-
<div>Taylor Dohmen</div>
75+
<div>Vishnu Murali</div>
7876
</div>
79-
<div xmlns="" class="person"><a href="https://plv.colorado.edu/deflores">
80-
<div><img class="face" src="pics/flores.jpg"></div>
81-
<div>David Flores</div></a></div>
77+
<div xmlns="" class="clearer"></div>
78+
<h2 xmlns="">Students</h2>
79+
<h3 xmlns="">PhD</h3>
8280
<div xmlns="" class="person"><a href="https://chfont.github.io">
8381
<div><img class="face" src="pics/cfontenot.jpg"></div>
8482
<div>Christian Fontenot</div></a></div>
85-
<div xmlns="" class="person">
86-
<div><img class="face" src="pics/generic-male.png"></div>
87-
<div>John Komp</div>
88-
</div>
8983
<div xmlns="" class="person"><a href="https://www.octalsrc.org/research">
9084
<div><img class="face" src="pics/nlewchenko.jpg"></div>
9185
<div>Nicholas V. Lewchenko</div></a></div>
9286
<div xmlns="" class="person"><a href="https://kirby.linvill.net">
9387
<div><img class="face" src="pics/klinvill.jpg"></div>
9488
<div>Kirby Linvill</div></a></div>
95-
<div xmlns="" class="person"><a href="https://plv.colorado.edu/tianhan/">
96-
<div><img class="face" src="pics/tianhan.jpg"></div>
97-
<div>Tianhan Lu</div></a></div>
98-
<div xmlns="" class="person"><a href="http://plv.colorado.edu/shawn/">
99-
<div><img class="face" src="pics/meier.jpg"></div>
100-
<div>Shawn Meier</div></a></div>
101-
<div xmlns="" class="person">
102-
<div><img class="face" src="pics/generic-male.png"></div>
103-
<div>Vishnu Murali</div>
104-
</div>
10589
<div xmlns="" class="person"><a href="https://ck090.github.io/">
10690
<div><img class="face" src="pics/cknagesh.jpeg"></div>
10791
<div>Chandra Kanth Nagesh</div></a></div>
108-
<div xmlns="" class="person">
109-
<div><img class="face" src="pics/mnarasimhamurthy.jpg"></div>
110-
<div>Monal Narasimhamurthy</div>
111-
</div>
112-
<div xmlns="" class="person">
113-
<div><img class="face" src="pics/generic-male.png"></div>
114-
<div>Mateo Perez</div>
115-
</div>
11692
<div xmlns="" class="person">
11793
<div><img class="face" src="pics/generic-male.png"></div>
11894
<div>Prasanth Prahladan</div>
@@ -191,13 +167,20 @@ <h3 xmlns="">PhD</h3>
191167
<div xmlns="" class="person"><a href="http://eces.colorado.edu/~coxaj/">
192168
<div><img class="face" src="pics/cox.jpg"></div>
193169
<div>Arlen Cox</div></a></div>
170+
<div xmlns="" class="person">
171+
<div><img class="face" src="pics/generic-male.png"></div>
172+
<div>Taylor Dohmen</div>
173+
</div>
194174
<div xmlns="" class="person">
195175
<div><img class="face" src="pics/mdooley.jpg"></div>
196176
<div>Michael Dooley</div>
197177
</div>
198178
<div xmlns="" class="person"><a href="https://sites.google.com/site/duttasouradeep39/">
199179
<div><img class="face" src="pics/sdutta.png"></div>
200180
<div>Souradeep Dutta</div></a></div>
181+
<div xmlns="" class="person"><a href="https://plv.colorado.edu/deflores">
182+
<div><img class="face" src="pics/flores.jpg"></div>
183+
<div>David Flores</div></a></div>
201184
<div xmlns="" class="person">
202185
<div><img class="face" src="pics/generic-male.png"></div>
203186
<div>Justin E. Gottschlich</div>
@@ -206,27 +189,45 @@ <h3 xmlns="">PhD</h3>
206189
<div><img class="face" src="pics/karlin.jpg"></div>
207190
<div>Ian Karlin</div>
208191
</div>
192+
<div xmlns="" class="person">
193+
<div><img class="face" src="pics/generic-male.png"></div>
194+
<div>John Komp</div>
195+
</div>
209196
<div xmlns="" class="person">
210197
<div><img class="face" src="pics/tkushner.png"></div>
211198
<div>Taisa Kushner</div>
212199
</div>
200+
<div xmlns="" class="person"><a href="https://plv.colorado.edu/tianhan/">
201+
<div><img class="face" src="pics/tianhan.jpg"></div>
202+
<div>Tianhan Lu</div></a></div>
213203
<div xmlns="" class="person"><a href="http://www.jrmcclurg.com/">
214204
<div><img class="face" src="pics/mcclurg.jpg"></div>
215205
<div>Jedidiah McClurg</div></a></div>
206+
<div xmlns="" class="person"><a href="http://plv.colorado.edu/shawn/">
207+
<div><img class="face" src="pics/meier.jpg"></div>
208+
<div>Shawn Meier</div></a></div>
216209
<div xmlns="" class="person">
217210
<div><img class="face" src="pics/miao.jpg"></div>
218211
<div>Weiyu Miao</div>
219212
</div>
220213
<div xmlns="" class="person"><a href="http://research.microsoft.com/en-us/people/toddm/">
221214
<div><img class="face" src="pics/mytkowicz.jpg"></div>
222215
<div>Todd Mytkowicz</div></a></div>
216+
<div xmlns="" class="person">
217+
<div><img class="face" src="pics/mnarasimhamurthy.jpg"></div>
218+
<div>Monal Narasimhamurthy</div>
219+
</div>
223220
<div xmlns="" class="person">
224221
<div><img class="face" src="pics/nelson.jpg"></div>
225222
<div>Thomas Nelson</div>
226223
</div>
227224
<div xmlns="" class="person"><a href="https://sites.google.com/a/colorado.edu/saeid-tizpaz-niari/">
228225
<div><img class="face" src="pics/tizpaz.jpg"></div>
229226
<div>Saeid Tizpaz Niari</div></a></div>
227+
<div xmlns="" class="person">
228+
<div><img class="face" src="pics/generic-male.png"></div>
229+
<div>Mateo Perez</div>
230+
</div>
230231
<div xmlns="" class="person">
231232
<div><img class="face" src="pics/ravanbakhsh.png"></div>
232233
<div>Hadi Ravanbakhsh</div>

0 commit comments

Comments
 (0)