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

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 and Formal Methods
Turing/Machine Learning

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 report

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.

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
  9. Vienna Summer of Logic (VSL), TU Wien, Austria, 2014
  10. 12th International Joint Conference on Automated Reasoning (IJCAR'16), University of Coimbra, Portugal

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)
  4. 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
  5. Internship Report : Reverse Engineering of Higher Order Logic, INRIA, France, 2015

Software and Platforms:

  1. Holide
  2. ProofCloud
  3. Holala

Talks and Slides

  • Here are my slides for UITP.
  • I gave a talk in the Cool Logic seminar on 4th Dec.
  • Here are my slides for AITP in Austria.
  • I gave a talk in the COOL seminar in ILLC on 14th Oct 2016.

Tutorials and Tools

  • The OpenTheory Hacking Guide link
  • Visualisation of Mandelbrot Set with Leap Motion Controller description, video and code
  • 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]

Membership

I am a student member of ASL(Association of Symbolic Logic), BLC(British Logic Colloquim) and an associate member of LMS(London Mathematical Society)
I am currently working on Turing Learning and I will start my PhD soon on Machine Learning on Knowledge Graphs in VU Amsterdam following Prof. Frank van Harmelen in the KR&R group.


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