Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Robert White

No description
by

Robert White

on 16 June 2017

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of Robert White

Logic: An Awesome Journey!
My first Logic Lecturer was Frank Wolter! It can't go wrong.
ITP/ATP
Gilles Dowek @ Deducteam, INRIA, Paris
a PhD with Frank!?
I got'ya!
Robert-the-robot
sUAVe Aerial Photographers, Kilve Beach, UK

Multi-agent system
Planning
Machine Learning
My Machine Learning teacher (Gavin Brown) was a racist and the other lecturer doesn't "speak" English.
A.I.
KR&R
Robert White
Intro

Born in China; 1/4 Mongolian!

BSc Artificial Intelligence @ U.Liverpool->Manchester
Igor Potapov
, Uli Sattler, Konstantin Korovin

MSc Logic @ UvA
Benno van den Berg, Frans Oliehoek + Leen Torenvliet + Roderich Gross

Internships
1) Gilles Dowek @ Deducteam, INRIA, Paris
2) Nicolas Mansard @ Geppetto team, LAAS, Toulouse


THANK YOU!
Robots are cool
The control of robots
The thinking of robots
LEGO robots / VEX Robot Kit
games, logic, control theory, etc.
Multi-robot system
Nicolas Mansard
Multi-robot multi-contact path planning
French National Research Council (CNRS), Toulouse
AirGuardian
-> my first startup!
Reasoning about knowledge and change of situation using Logic
Reasoning about coalition, action and group decision
Thanks! Tibor!
a winter project with Nina Gierasimczuk @ ILLC
EASSS
MSc Thesis
Turing Learning!
Swarm Intelligence
Machine Learning in Automated Reasoning
Higher Order Logic, theorem proving, discover counter examples, etc.
DeepMath, ProofCloud, etc.
Turing Learning = coevolution, robotics, neural netoworks, multi-agent systems
+ game theory?
Does
Nash Memory
speed up the process of convergence?
Neural Networks as classifiers
Replicas as models
Animal, agent,
groups of agents, etc
Nash Memory: zero-sum symmetric games
Parallel Nash Memory: zero-sum asymmetric games

Universal Nash Memory
: bimatrix game
Ian Pratt-Hartmann + Konstantin Korovin
BSc Thesis: Hack a bioinformatics problem using SMT solver (Z3/SAT4J)
Vienna Summer of Logic + ESSLLI^2 + FCT + BLC
MSc Logic
Dynamic Epistemic Logic
Proof Theory
Modal Logic
KR (with Frank)
Complexity
Information Theory

Type theory, set theory, category theory, model theory.
oh too much maths
HOL Light
Holide
Holala!
Higher order logic
Proof Theory
Dependent Type Theory
Proof Search
DEMO-S5
Dynamic Epistemic Logic
DEMO¿Action!
ProofCloud
http://airobert.github.io/proofcloud/
Reinforcement Learning in automated trading (tulips)
HACK THE KERNEL
Deep Inference
Agent Calculus
too many to implement!
airobert.github.io
4 regular papers
2 demo papers
2 abstract/extended abstract
2 internship reports
1 BSc thesis
1 MSc thesis (to be submitted soon!)

14 conferences and workshops
3 summer schools
9 grants

1 Higher Order Logic reasoner
1 proof retrieval engine
1 proof translator
1 bioinformatics program
2 multi-agent simulations
1 Machine Learning platform (new)

A lot more to come in the next 4 years with Frank, Stefan, Peter, Wouter, X and many of you!!!
Shuai Wang
Deontic Logic was done wrong!
a winter project at U.Tewente
C++/Java/Haskell/OCaml/Scala/Python/R/C
Thanks Peter for baby-sitting me!
Full transcript