Steve Petersen provides an important bridge between mainstream academic philosophy and AI safety work. I have had many valuable discussions with him. He has work in algorithmic information theory, establishing an important theory of abstraction, which is a central concern of several AI safety research agendas (John Wentworth and Sam Eisenstat come to mind). This demonstrates his technical chops & ability to craft deep theories.