Updated CV

Author: SamAdamDay

_data/cv.yml

@@ -4,35 +4,29 @@
     - name: Full Name
       value: Sam Adam-Day
     - name: Languages
-      value: English, Spanish, Welsh
-
-- title: Education
-  type: time_table
-  contents:
-    - title: DPhil in Mathematics
-      institution: University of Oxford
-      year: 2019–2023
-      description:
-        - "Area of specialism: logic/set theory."
-    - title: MSc Master of Logic
-      institution: Institute for Logic, Language and Computation, University of Amsterdam
-      year: 2017–2019
-      description:
-        - "Cum Laude; GPA: 9.1/10."
-    - title: MMath Master of Mathematics
-      institution: University of Oxford
-      year: 2012–2016
-      description:
-        - "Master's part: First Class 92%; top in year."
-        - "Bachelor's part: First Class 83%."
+      value: English, Spanish, Welsh, Arabic
+    - name: Email
+      value: "<a href='mailto:me@samadamday.com'>me@samadamday.com</a>"
+    - name: GitHub
+      value: "<a href='https://github.com/SamAdamDay'>SamAdamDay</a>"
 
 - title: Experience
   type: time_table
   contents:
+    - title: Neural Interactive Proofs collaborative project
+      year: 2023–
+      description:
+        - Devised games played by neural networks of different strengths, motivated by AI safety.
+        - Built large, well-documented and tested codebase for multi-agent reinforcement learning.
+        - Applied game-theoretic techniques to provide guarantees on agent behaviour.
+        - Produced joint first-author paper, and presented at ICML and NeurIPS 2024 workshops.
     - title: Research Associate, Department of Computer Science, University of Oxford
-      year: 2023-(2024)
+      year: 2023–2024
       description:
-        - Postdoctoral researcher investigating connections between logic and machine learning.
+        - Postdoctoral researcher investigating the expressive power of graph neural networks.
+        - Advised PhD student on mathematical aspects of their research project.
+        - Helped supervise Ukrainian undergrad students with project on learning with constraints. 
+        - First-author conference papers in published in NeurIPS 2023 and 2024.
     - title: Team lead, OxAI Safety Hub Labs
       year: 2022
       description:
@@ -41,26 +35,19 @@
         - Contributed over 10,000 lines of Python code, leveraging PyTorch.
         - Ran over 500 experiments on GPUs.
         - Involved in ongoing research extending the results.
-
-    - title: "Ongoing AI safety collaborations"
-      year: 2022–
-      description:
-        - Verification games and open source game theory.
-        - Inductive bias of neural networks.
 
     - title: "PhD research: logic, real trees and first-order Kripke semantics"
       institution: University of Oxford
-      year: 2020–
+      year: 2020–2023
       description:
         - Resolved open problem from 2004 in geometric group theory.
 
     - title: "MSc thesis: polyhedral semantics for modal logic"
       institution: Institute for Logic, Language and Computation, University of Amsterdam
-      year: 2018–
+      year: 2018–2019
       description:
         - Collaborated on project using polyhedra to interpret modal formulas.
-        - "Paper accepted: <a href='https://arxiv.org/abs/2112.07518'>arXiv:2112.07518</a>."
-        - Second paper in preparation.
+        - "Produced two research papers: <a href='https://doi.org/10.1017/jsl.2022.76'>doi:10.1017/jsl.2022.76</a> and <a href='https://arxiv.org/abs/2307.16600'>arXiv:2307.16600</a>."
 
     - title: Website and game development
       year: 2004–
@@ -71,9 +58,33 @@
         - "Examples: <a href='https://tunelines.com/'>tunelines.com</a> and <a href='https://alevelnotes.com/'>alevelnotes.com</a>."
         - Maintained and secured websites receiving 1,000,000s of monthly visitors.
 
+- title: Education
+  type: time_table
+  contents:
+    - title: DPhil in Mathematics
+      institution: University of Oxford
+      year: 2019–2023
+      description:
+        - "Area of specialism: logic/set theory."
+    - title: MSc Master of Logic
+      institution: Institute for Logic, Language and Computation, University of Amsterdam
+      year: 2017–2019
+      description:
+        - "Cum Laude; GPA: 9.1/10."
+    - title: MMath Master of Mathematics
+      institution: University of Oxford
+      year: 2012–2016
+      description:
+        - "Master's part: First Class 92%; top in year."
+        - "Bachelor's part: First Class 83%."
+
 - title: Honors and Awards
   type: time_table
   contents:
+    - year: 2024
+      items: 
+        - Long-Term Future Fund grant recipient.
+        - OpenAI Superalignment Fast Grant recipient.
     - year: 2019
       items: 
         - EPSRC Excellence Award. Doctorate scholarship.