Theoretical Computer Science Msc student at the University of [Redacted] in the United Kingdom.
I'm an aspiring alignment theorist; my research vibes are descriptive formal theories of intelligent systems (and their safety properties) with a bias towards constructive theories.
I think it's important that our theories of intelligent systems remain rooted in the characteristics of real world intelligent systems; we cannot develop adequate theory from the null string as input.
I'm looking for UK based organisations that would accept students for a 30+ week placement (starting June to September) to do theoretical AI Safety research.
Reach out to me about AI existential safety. I'm willing to discuss, brainstorm, review and pick holes in ideas, etc.