PhD student in logic focused on AI safety from a values/​norms formalizations standpoint.

joeliosa.github.io