ROBERT WHITE

The A.I. geek in the body of Shuai Wang

Introduction

I am an Artificial Intelligence geek with a degree from Manchester. I am currently a postgraduate student of ILLC in UvA.

Here is my CV (the long /short version).

The list of my publication is also avaliable on Google Scholar

I am looking for doctoral opportunities on Artificial Intelligence and Computer Science.

Conferences and Workshops

BNAIC'16, ESSLLI'16, CLAWAR'16, ICAC'16 + SISSY'16, UITP'16, COMSOC'16, TUSE, AITP'16, REINS, etc

Ultimate Programming Workshop (co-chaired) in Manchester.

Multi-agent System, Autonomous Robots and Machine Learning
Logic, Computation and (Formal) Mathematics
Automated Reasoning and Formal Methods
I've been interested in multi-agent systems, especially reasoning about knowledge and decision making. After transferred to Manchester, I completed two Game Theory projects. Following that, I deepened my understanding on various topics during EASSS. I worked on reasoning about knowledge and actions using epistemic logic, and obligations using deontic logic in ILLC. The results have been presented in ICAC+SISSY in Würzburg and CLAWAR in London. I have also completed the Computational Motion Planning course by University of Pennsylvania on Coursera. It was an honor to work for the French National Research Council (LAAS-CNRS) on multi-robot multi-contact planning using a new platform called HPP with Dr. Nicolas Mansard and Dr. Steve Tonneau.

Conferences and Summer Schools

  1. 15th European Agent Systems Summer School (EASSS'13), London, UK
  2. 3rd Workshop on Self-Improving System Integration (SISSY'16), Würzburg, Germany
  3. 13th IEEE International Conference on Autonomic Computing (ICAC'16), Würzburg, Germany
  4. 19th International Conference on Climbing and Walking Robots and Support Technologiesfor Mobile Machines (CLAWAR'16), London, UK
  5. Responsible Intelligent Systems workshop (REINS), Utretch, The Netherlands
  6. 6th International Workshop on Computational Social Choice (COMSOC'16), Toulouse, France
  7. BENELUX Conference on Artificial Intelligence (BNAIC'16), Amsterdam, Netherlands

Publication:

  1. Towards dynamic epistemic learning of actions for self-improving agents and multi-agent systems, 3rd Workshop on Self-Improving System Integration (SISSY'16) (download)
  2. Robot ethical training with dynamic ethical preference logic, 19th International Conference on Climbing and Walking Robots and Support Technologies for MobileMachines (CLAWAR 2016), 2016 (download)
  3. Towards dynamic epistemic learning of actions in autonomic multi-agentsystems, 13th IEEE International Conference on Autonomic Computing (ICAC), 2016 [with Kaixin Hu] (download)
  4. Multi-agent Multi-contact Path Planning with HPP, 28th BENELUX conference on Artificial Intelligence (BNAIC), 2016 [with Dr. Nicolas Mansard and Steve Tonneau] (download)

Demos

A demo of self-adaptive MAS: page, paper and video

A demo of multi-agent multi-contact path planning: page

Tutorials

  • A mini course on HPP (coming soon).
  • Some NetLogo simulation of Multi-agent System code

Talks, Posters and Slides

  • Here are my slides for SISSY.
  • Here are my slides for CLAWAR.
  • Here is my poster for ICAC.
  • I gave a talk in the Logic TEA seminar on 10th May. Here are the slides.

Membership

I am a student member of CLAWAR Association, London and I was a student member of Royal Aeronautical Society (the Manchester Branch) and IEEE.
My journey of logic and computation debuted in Liverpool where my tutor was Dr. Igor Potapov. I had my first logic course with Prof. Frank Wolter and later I came across Dr. Davide Grossi’s course Reasoning about Action and Change. I attended ESSLLI in Poland where I came across a few scientists from ILLC. Also I met Prof. Uli Sattler there, who became my personal tutor after I transferred to Manchester. I had an internship in INRIA where I worked on higher order logic and proof checking with Prof. Gilles Dowek, Dr. Ali Assaf and Mr. Frederic Gilbert. I first upgraded Holide in correspondence to the most recent version of OpenTheory. Based on this work, I developed ProofCloud, the first online proof retrieval engine which also presents the first complete proof checking results of OpenTheory (using Dedukti and Holide). Also I extended the kernel of HOL Light by introducing the universal quantification and implication to the kernel. This resulted in faster proof checking. The results were presented in ESSLLI in Bolzano and UITP@IJCAR in Coimbra.

Conferences and Summer Schools

  1. International Symposium on Fundamentals of Computation Theory (FCT'13), Liverpool, UK
  2. Conference on Artificial Intelligence and Theorem Proving (AITP'16), Obergurgl, Austria
  3. 12th International Workshop on User Interfaces for Theorem Provers (UITP@IJCAR), Coimbra
  4. Amsterdam Colloquium 2015, Amsterdam, The Netherlands
  5. Hilbert’s Epsilon and Tau In Logic, Informatics and Linguistics, Montpellier, France
  6. British Logic Colloquium (BLC'13) , The University of Leeds, Leeds, UK
  7. European Summer School in Logic, Language and Information (ESSLLI'12) Opole, Poland
  8. European Summer School in Logic, Language and Information (ESSLLI'16) Bolzano, Italy

Publication:

  1. ProofCloud: a proof retrieval engine for verified proofs in higher order logic, 12th International Workshop on User Interfaces for Theorem Provers (UITP@IJCAR), Coimbra, Portugal (download)
  2. A quantitative analysis of kernel extension for higher order proof checking, ESSLLI 2016 Student Session, Bolzano, Italy (download)
  3. Higher order proof engineering: Proof collaboration, transformation, checkingand retrieval, 1st Conference on Artificial Intelligence and Theorem Proving (AITP), Obergurgl, Austria (download)

Report and Thesis:

  1. Internship Report : Reverse Engineering of Higher Order Logic, INRIA, France, 2015

Software and Platforms:

  1. Holide
  2. ProofCloud
  3. Holala

Talks and Slides

Tutorials and Tools

The OpenTheory Hacking Guide link
Visualisation of Mandelbrot Set with Leap Motion Controller description, video and code

Membership

I am a student member of British Logic Colloquim and an associate member of London Mathematical Society
After completing the Logic and Modelling course in Manchester, I started to challenge myself with even more advanced topics. I implemented a simple DPLL-based SAT solver and later a sudoku solver using PicoSAT. My final year project was an ambitious project aiming at predicting RNA secondary structure using a new logic based approach and takes full advantage of state-of-the-art reasoners: Z3 and SAT4J. My supervisor was Dr. Konstantin Korovin. I then worked in TU Wien for the Vienna Summer of Logic where I expanded my horizon. After I joined ILLC, I followed the Functional Specification of Algorithms by Prof. Jan van Eijck. Then I worked in University of Twente with Prof. Jaco van de Pol on the Implementation of a translation of Generalised Büchi Automata to mu-calculus to improve the performance of LTSmin. Most recently, together with Aashish, we implemented a Killer Sudoku solver.

Publication

  • Reasoner-Aid Research: Potentials and Popularity, 28th BENELUX conference on Artificial Intelligence (BNAIC), 2016 (download)

Report and Thesis:

  1. Bachelor Thesis: Logic Based Approaches for RNA Secondary Structure Prediction, U.Manchester, 2014
  2. Dynamic Epistemic Model Checking using Z3, U.Amsterdam, 2015
  3. Reasoner-Aid Research: Popularity and Potentials, U.Amsterdam, 2016
  4. Qualitative Reasoning, U.Amsterdam, 2016

Conferences

  1. Vienna Summer of Logic (VSL), TU Wien, Austria, 2014
  2. 12th International Joint Conference on Automated Reasoning (IJCAR'16), University of Coimbra, Portugal

Tutorials and Tools

  • An introduction to the C++ API of Smodels link
  • An introduction to the C++ API of BuDDy link
  • A Haskell binder for Yices link
  • A simple SAT solver in Scacla code
  • A Haskell Sudoku solver using PicoSAT code and video
  • A Killer Sudoku solver based on PicoSAT report and paper [a group project with Aashish]
  • Qualitative Reasoning page and report [a group project with Aashish]

Talks and Slides

  • I will give a talk in the COOL seminar in ILLC on 14th Oct 2016.
  • My teammate Aashish will give a talk in the Colloquium on Combinatorics (Nov. 4-5) in Paderborn, Germany about our work on Killer Sudokus!


You can find all my papers in the project and paper section above.

The list of my publication is also avaliable on Google Scholar

I am also an artist.

Flag Counter