-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
77 lines (74 loc) · 4.17 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
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<meta charset="utf-8">
<link rel="preconnect" href="https://fonts.googleapis.com/">
<link rel="preconnect" href="https://fonts.gstatic.com/" crossorigin="">
<link href="Archivos/css2.css" rel="stylesheet">
<link rel="stylesheet" type="text/css" href="Archivos/style.css">
<title>Cassia Torczon</title>
</head>
<body>
<div class="box" style="font-size:22px">
<table>
<tbody>
<tr>
<td width="50%" style="font-size:22px"><b style="font-size:40px">Cassia Torczon</b><br> Computer Science Ph.D. Student <br>
<img src="Archivos/plclub.png"
width="13"
alt="A shield-shaped logo that says Penn PL in red, blue, and white"> <a
href="https://www.cis.upenn.edu/~plclub">PLClub</a> @ <a
href="https://home.www.upenn.edu/">University of Pennsylvania</a><br><br> Office : 571
Levine Hall (GRW)<br> E-mail : <a
href="mailto:[email protected]">[email protected]</a><br> GitHub : <a
href="https://github.com/cassiatorczon">cassiatorczon</a> <br><br> <a
href="Resume/Resume.pdf">Curriculum Vitae</a><br><br>
</td>
<td class="photo-box"><img class="photo"
src="Archivos/CassiaT.jpg" width="315" border="0"
alt="A person with short brown hair wearing a red beanie and flannel. They are smiling and holding a black and white cat. In the background is a window with some fall foliage visible through it."
></td>
</tr>
</tbody>
</table>
<h3 id="About">About</h3>
<p> I am a third-year Ph.D. student at the University of Pennsylvania,
advised by <a href="https://www.cis.upenn.edu/~bcpierce/">Benjamin
Pierce</a> and <a href="https://www.cis.upenn.edu/~sweirich/">
Stephanie Weirich</a>. My work centers around theorem provers and
their usability. Previously, I got my bachelor's degree in Computer
Science & Mathematics from Rice University and then worked at Microsoft before starting my Ph.D. </p>
<h3 id="Publications">Publications</h3>
<p>
<a href="https://jwshii.github.io/study.pdf">QED in Context: An Observation Study of Proof Assistant Users</a>.
Jessica Shi, <b>Cassia Torczon</b>, Harrison Goldstein,
Benjamin C. Pierce, Andrew Head. OOPSLA 2025.
</p>
<p>
<a href="https://jwshii.github.io/deauto.pdf">Designing Proof Deautomation for Rocq</a>.
Jessica Shi, <b>Cassia Torczon</b>, Harrison Goldstein,
Andrew Head, Benjamin C. Pierce. PLATEAU 2025.
</p>
<p>
<a href="Archivos/OOPSLA2024_CBPV.pdf">Effects and Coeffects in Call-by-Push-Value</a>.
<b>Cassia Torczon</b>, Emmanuel Suárez Acevedo, Shubh Agrawal,
Joey Velez-Ginorio, and Stephanie Weirich. OOPSLA 2024.
</p>
<h3 id="Talks">Talks</h3>
<p>Call-by-Push-Value with Coeffects.
<i>Jane Street Programming Languages Colloquium</i>. 2023.</p>
<h3 id="Teaching">Teaching</h3>
<p>Introduction to Haskell (CIS 1904), University of Pennsylvania. Spring 2025. Instructor.</p>
<p><a href="https://penn-repl.github.io/">REPL</a> Intro PL Seminar, University of Pennsylvania. Summer 2024. Instructor.</p>
<p>Advanced Programming (CIS 5520), University of Pennsylvania. Fall 2023. Teaching Assistant.</p>
<p><a href="https://penn-repl.github.io/">REPL</a> Intro PL Seminar, University of Pennsylvania. Summer 2023. Co-Instructor with <a href="https://jwshii.github.io/">Jessica Shi</a>.</p>
<h3 id="FAQ">FAQ</h3>
<ol>
<li>CASSIE-uh TORK-zuhn. /ˈkæ.si.ə ˈtɔɹk.zən/ </li>
<li>she/her</li>
<li>The cat's name is Pippin!</li>
</ol>
</div>
</body>
</html>