From 62f098270581ff12f0f71c8448a9b4a0041ff4f4 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 22 Nov 2023 17:48:37 +0100 Subject: [PATCH 1/1] link to group website --- research/index.html | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/research/index.html b/research/index.html index 6a16288..d335f56 100644 --- a/research/index.html +++ b/research/index.html @@ -4,7 +4,8 @@ title: Ralf Jung
-

I am assistant professor at ETH Zürich as part of the Institute for Programming Languages and Systems.
+

I am assistant professor at ETH Zürich, leading the Programming Language Foundations Lab. +We are part of the Institute for Programming Languages and Systems.
Previously, I completed my PhD at MPI-SWS and Saarland University in Saarbrücken, Germany; my advisor was Derek Dreyer. I also did a post-doc in the PDOS group at MIT CSAIL.

-- 2.30.2