Skip to content

Commit f1aea86

Browse files
committed
cropped photos, fixed latex
1 parent b44ffd0 commit f1aea86

File tree

6 files changed

+68
-28
lines changed

6 files changed

+68
-28
lines changed

_config.yml

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -56,6 +56,30 @@ authors:
5656
avatar: /assets/images/david-walker.png
5757
bio: "David Walker is a Professor of Computer Science at Princeton University. He received his doctoral and master’s degrees in computer science from Cornell, and his bachelor’s from Queen’s University in Kingston, Ontario. During sabbaticals from Princeton, he has served as a visiting researcher at Microsoft Research in Redmond (2008) and in Cambridge (2009), and as Associate Visiting Faculty at the University of Pennsylvania (2015-2016)."
5858

59+
gupta:
60+
name: Aarti Gupta
61+
site: https://www.cs.princeton.edu/~aartig/
62+
avatar: /assets/images/aarti-gupta.jpg
63+
bio: "Aarti Gupta is a Professor of Computer Science at Princeton University. Before joining the department, she worked at NEC Labs America where she led a team in investigating new techniques for formal verification of software and hardware systems, contributing both to their foundations and to successful industrial deployment. Professor Gupta received her Ph.D. in computer science from Carnegie Mellon University in 1994 after earning a master’s degree in computer engineering from Rensselaer Polytechnic Institute and a bachelor’s in electrical engineering from the Indian Institute of Technology in New Delhi."
64+
65+
giannarakis:
66+
name: Nick Giannarakis
67+
site: https://www.nickgian.github.io
68+
avatar: /assets/images/nick-giannarakis.jpeg
69+
bio: "Nick is a PhD candidate at Princeton University, where he is currently advised by Prof. David Walker. He received a master's degree in Computer Science from ENS Cachan, and a diploma of Electrical and Computer Engineering from National Technical University of Athens."
70+
twitter: naig_kcin
71+
72+
loehr:
73+
name: Devon Loehr
74+
site: https://dkloehr.github.io
75+
avatar: /assets/images/devon-loehr.jpg
76+
bio: "Devon is a PhD candidate at Princeton University, where he is currently advised by Prof. David Walker. Devon graduated from Swarthmore College in 2018 with High Honors, with majors in Mathematics and Computer Science."
77+
78+
thijm:
79+
name: Tim Alberdingk Thijm
80+
site: https://www.cs.princeton.edu/~tthijm/
81+
avatar: /assets/images/tim-thijm.jpg
82+
bio: "Tim is a PhD candidate at Princeton University, where he is currently advised by Prof. Aarti Gupta. Tim completed his BSc at the University of Toronto in 2018 in Computer Science and English."
5983

6084
# Defaults
6185
defaults:

0 commit comments

Comments
 (0)