From 950d6a5a785569d30d4080a4824c4eaa98fe35da Mon Sep 17 00:00:00 2001
From: Leo Lee <41759796+smjleo@users.noreply.github.com>
Date: Sun, 30 Mar 2025 23:38:14 +0800
Subject: [PATCH 1/4] add MRG

---
 README.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/README.md b/README.md
index 6d6196d..8467ef9 100644
--- a/README.md
+++ b/README.md
@@ -377,6 +377,14 @@ Feel free to make a PR adding other schools/faculty/topics to the list. Or remov
     * [Stephen Oney](http://from.so/)
     * [Karem A. Sakallah](https://web.eecs.umich.edu/~karem/)
     * [Westley Weimer](https://web.eecs.umich.edu/~weimerw/)
+   
+* [MRG @ University of Oxford](https://mrg.cs.ox.ac.uk/)
+  - Topics
+    * Session types & $\pi$-calculus
+    * Concurrency
+    * Formal verification
+  - Faculty
+    * [Nobuko Yoshida](https://mrg.cs.ox.ac.uk/people/nobuko-yoshida)
 
 * [University of Pennsylvania](http://www.cis.upenn.edu/~plclub/)
   - Topics

From 18acb6b66e5937ef0951dd965321b9dd3249645a Mon Sep 17 00:00:00 2001
From: Leo Lee <41759796+smjleo@users.noreply.github.com>
Date: Sun, 30 Mar 2025 23:44:02 +0800
Subject: [PATCH 2/4] Expand Oxford

---
 README.md | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index 8467ef9..662131a 100644
--- a/README.md
+++ b/README.md
@@ -378,13 +378,18 @@ Feel free to make a PR adding other schools/faculty/topics to the list. Or remov
     * [Karem A. Sakallah](https://web.eecs.umich.edu/~karem/)
     * [Westley Weimer](https://web.eecs.umich.edu/~weimerw/)
    
-* [MRG @ University of Oxford](https://mrg.cs.ox.ac.uk/)
+* [University of Oxford](https://www.cs.ox.ac.uk/research/pl/)
   - Topics
-    * Session types & $\pi$-calculus
-    * Concurrency
+    * [Session types & $\pi$-calculus]((https://mrg.cs.ox.ac.uk/))
     * Formal verification
-  - Faculty
-    * [Nobuko Yoshida](https://mrg.cs.ox.ac.uk/people/nobuko-yoshida)
+    * Functional programming
+    * Type theory
+    * Category theory
+    * Algebra of Programming
+    * Differentiable and Probabilistic Programming
+    * Foundations of Programming Languages
+    * Game Semantics
+    * Nominal Techniques
 
 * [University of Pennsylvania](http://www.cis.upenn.edu/~plclub/)
   - Topics

From c984d17fb24f86955d31f6d2952a8d20aeb46b8c Mon Sep 17 00:00:00 2001
From: Leo Lee <41759796+smjleo@users.noreply.github.com>
Date: Sun, 30 Mar 2025 23:44:34 +0800
Subject: [PATCH 3/4] Fix link

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 662131a..bd8a195 100644
--- a/README.md
+++ b/README.md
@@ -380,7 +380,7 @@ Feel free to make a PR adding other schools/faculty/topics to the list. Or remov
    
 * [University of Oxford](https://www.cs.ox.ac.uk/research/pl/)
   - Topics
-    * [Session types & $\pi$-calculus]((https://mrg.cs.ox.ac.uk/))
+    * [Session types & $\pi$-calculus](https://mrg.cs.ox.ac.uk/)
     * Formal verification
     * Functional programming
     * Type theory

From 271dc3a92b0a74d2c1540c5215b2c74c24ac7a2b Mon Sep 17 00:00:00 2001
From: Leo Lee <41759796+smjleo@users.noreply.github.com>
Date: Sun, 30 Mar 2025 23:45:05 +0800
Subject: [PATCH 4/4] Fix link

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index bd8a195..43776df 100644
--- a/README.md
+++ b/README.md
@@ -380,7 +380,7 @@ Feel free to make a PR adding other schools/faculty/topics to the list. Or remov
    
 * [University of Oxford](https://www.cs.ox.ac.uk/research/pl/)
   - Topics
-    * [Session types & $\pi$-calculus](https://mrg.cs.ox.ac.uk/)
+    * [Session types & π-calculus](https://mrg.cs.ox.ac.uk/)
     * Formal verification
     * Functional programming
     * Type theory