Извините, я кажется плохо помню его фамилию.

There's a lot. He's been active in this since 2008 or so. Scott Aaronson writes about him quite often on his blog, which is the main way I know of him.