ROBERT WHITE

A robot dreaming to become Shuai Wang, vice versa

Introduction

I am an Artificial Intelligence geek. I am a PhD student at VU Amsterdam.

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

The list of my publication is also avaliable on Google Scholar

Logic and Formal Methods
Multi-agent System
Machine/Turing Learning

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, Portugal
  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), 2014, TU Wien, Austria

Publication:

  1. A quantitative analysis of kernel extension for higher order proof checking, ESSLLI 2016 Student Session, Bolzano, Italy (download)
  2. Higher order proof engineering: Proof collaboration, transformation, checkingand retrieval, 1st Conference on Artificial Intelligence and Theorem Proving (AITP), Obergurgl, Austria (download)
  3. 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)

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

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.

I completed my master thesis on Turing Learning and Nash Memory. It's a coevolutionary scheme for behavior identification of swarm robot systems.

My PhD is about Machine Learning on Knowledge Graphs in VU Amsterdam with 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