Robert AI White

Shuai Wang (Chinese Name)
INRIA Deducteam



Hello. I was a student of Artificial Intelligence (A.I.) in University of Liverpool and later The University of Manchester.
My personal tutor was Dr. Igor Potapov and Prof. Uli Sattler. My FYP supervisor was Dr. Konstantin Korovin.
I just finished my internship at INRIA. My supervisor was Gilles Dowek. My past projects include Holide, HOLALA and ProofCloud. I am now based in ILLC in UvA.

OpenTheory Hacking Guide
Internship Presentation

Valid XHTML 1.0 Strict