generated from alshedivat/al-folio
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
137d782
commit 1062402
Showing
2 changed files
with
44 additions
and
33 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -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:[email protected]'>[email protected]</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. | ||
|
|
||
Binary file not shown.