Send the link below via email or IMCopy
Present to your audienceStart 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
Transcript of Robert White
My first Logic Lecturer was Frank Wolter! It can't go wrong.
Gilles Dowek @ Deducteam, INRIA, Paris
a PhD with Frank!?
sUAVe Aerial Photographers, Kilve Beach, UK
My Machine Learning teacher (Gavin Brown) was a racist and the other lecturer doesn't "speak" English.
Born in China; 1/4 Mongolian!
BSc Artificial Intelligence @ U.Liverpool->Manchester
, Uli Sattler, Konstantin Korovin
MSc Logic @ UvA
Benno van den Berg, Frans Oliehoek + Leen Torenvliet + Roderich Gross
1) Gilles Dowek @ Deducteam, INRIA, Paris
2) Nicolas Mansard @ Geppetto team, LAAS, Toulouse
Robots are cool
The control of robots
The thinking of robots
LEGO robots / VEX Robot Kit
games, logic, control theory, etc.
Multi-robot multi-contact path planning
French National Research Council (CNRS), Toulouse
-> my first startup!
Reasoning about knowledge and change of situation using Logic
Reasoning about coalition, action and group decision
a winter project with Nina Gierasimczuk @ ILLC
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?
speed up the process of convergence?
Neural Networks as classifiers
Replicas as models
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
Dynamic Epistemic Logic
KR (with Frank)
Type theory, set theory, category theory, model theory.
oh too much maths
Higher order logic
Dependent Type Theory
Dynamic Epistemic Logic
Reinforcement Learning in automated trading (tulips)
HACK THE KERNEL
too many to implement!
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
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!!!
Deontic Logic was done wrong!
a winter project at U.Tewente
Thanks Peter for baby-sitting me!