diff --git a/assets/css/style.css b/assets/css/style.css index 65905b4..5766f5c 100644 --- a/assets/css/style.css +++ b/assets/css/style.css @@ -6,10 +6,15 @@ h3 { font-weight: bold; } #headshot { - margin: auto; - display: block; - height: 400px; + float: right; + height: 200px; + width: 200px; } + +#about { + height: 200px; +} + .date { vertical-align: top; font-weight: bold; diff --git a/assets/images/anjali.jpg b/assets/images/anjali.jpg index d06e0f0..c068abe 100644 Binary files a/assets/images/anjali.jpg and b/assets/images/anjali.jpg differ diff --git a/index.html b/index.html index b10096f..b7b2ad2 100644 --- a/index.html +++ b/index.html @@ -60,26 +60,23 @@
-
- Anjali Pal -
+ - -

About

-

- I am a second-year PhD student - in the PLSE group - at the University of Washington. - Zach Tatlock - is my advisor. -

-

- Prior to grad school, I was a software engineer. I spent one year at - Google working on Android Maps and Cloud Storage Security & Privacy, - then I worked at Code.org for three years, where I built block-based - programming environments for K-12 students. -

+
+
+ Anjali Pal +
+

About

+ +

+ I am a third-year PhD student + in the PLSE group + at the University of Washington. + Zach Tatlock + is my advisor. +

+
@@ -106,6 +103,17 @@

Publications

Teaching

+ + + + + + + +
Autumn 2024University of Washington CSE 341 +
+ Programming Languages +

Teaching Assistantships

@@ -135,7 +143,7 @@

Teaching Assistantships

- + - + - +
Fall 2016Autumn 2016 Brown University CS 173*
@@ -151,7 +159,7 @@

Teaching Assistantships

Fall 2015Autumn 2015 Brown University CS 17*
@@ -168,7 +176,7 @@

Teaching Assistantships

Fall 2014Autumn 2014 Brown University CS 17
@@ -239,11 +247,77 @@

Guest Lectures

+ +

Industry

+ + + + + + + + + + + + + + + + + +
Summer 2024 + Sandia National Laboratories +
+ Research Intern +
+ I spent the summer with John Bender working on + an extension to CompCert. +
2019 - 2022Code.org +
+ Software Engineer +
+ I spent three challenging and rewarding years building + block-based programming environments to support all of + Code.org's K-12 Computer Science curricula. A highlight of my + time at Code.org was the opportunity to work closely with and + learn from CS education experts. +
+ Some projects I'm particularly proud of are: +
    +
  • I built and launched the data library and analytics tooling + that backs the data processing unit of AP Computer Science Principles +
  • +
  • I built and launched + Poetry Hour of Code +
  • +
  • I was the primary engineer and designer for the + Code.org's migration from a years-old fork of Blockly to the + most recent release. I also managed the successful partnership + between Code.org and Google's Blockly team. +
  • +
+
2017 - 2018Google +
+ Engineering Residency +
+ I spent about six months each working on Android Maps and Cloud Storage + Security & Privacy Infrastructure. +
+

Service

+ + + +
Summer 2024 + SPLASH OOPSLA 2024 +
+ Artifact Evaluation Committee +
Spring 2024