Lecturer: Dr. Sasha Rubin
Auckland, New Zealand
sasha.rubin@gmail.com
CV: Sasha Rubin got his PhD in Mathematics and Computer Science in 2004 at the University of Auckland, New Zealand, on Automatic Structures. His current interests are in formal methods and using mathematical logic for describing, reasoning and controlling systems.
From 2012 to 2015 he has been postdoctoral researcher at the IST Austria and TU Vienna, in Austria. Recently he held a two-year Marie Curie Fellowship of the Istituto Nazionale di Alta Matematica to work at the University of Naples Federico II (until March 2017) on formal methods for parameterised light-weight mobile agents.
This year he is co-chair of the Italian Conference on Theoretical Computer Science (ICTCS) 2017, co-chair of the International Workshop on Strategic Reasoning 2017, co-organiser of the First Workshop on Formal Methods in Artificial Intelligence (FMAI) 2017, and a program committee member for the IRISA Master Research Internship 2016-2017.
Dates and Locations (rooms are in ed.1, via Claudio 21, Napoli)
| Date | Hours | Room |
| 24 Aprile 2017 | 11.00-13.00 | DIETI - Edificio 1 –Aula I5 |
| 24 Aprile 2017 | 15.00-17.00 | DIETI - Edificio 1 –Aula I5 |
| 26 Aprile 2017 | 15.00-17.00 | DIETI - Edificio 1 –Aula I5 |
| 27 Aprile 2017 | 11.00-13.00 | DIETI - Edificio 1 –Aula I5 |
Lecturer: Dr. Sasha Rubin
Auckland, New Zealand
sasha.rubin@gmail.com
CV: Sasha Rubin got his PhD in Mathematics and Computer Science in 2004 at the University of Auckland, New Zealand, on Automatic Structures. His current interests are in formal methods and using mathematical logic for describing, reasoning and controlling systems.
From 2012 to 2015 he has been postdoctoral researcher at the IST Austria and TU Vienna, in Austria. Recently he held a two-year Marie Curie Fellowship of the Istituto Nazionale di Alta Matematica to work at the University of Naples Federico II (until March 2017) on formal methods for parameterised light-weight mobile agents.
This year he is co-chair of the Italian Conference on Theoretical Computer Science (ICTCS) 2017, co-chair of the International Workshop on Strategic Reasoning 2017, co-organiser of the First Workshop on Formal Methods in Artificial Intelligence (FMAI) 2017, and a program committee member for the IRISA Master Research Internship 2016-2017.
Dates and Locations (rooms are in ed.1, via Claudio 21, Napoli)
Date
|
Hours
|
Room
|
24 Aprile 2017
|
11.00-13.00 |
DIETI - Edificio 1 –Aula I5 |
24 Aprile 2017
|
15.00-17.00 |
DIETI - Edificio 1 –Aula I5 |
26 Aprile 2017
|
15.00-17.00 |
DIETI - Edificio 1 –Aula I5 |
27 Aprile 2017
|
11.00-13.00 |
DIETI - Edificio 1 –Aula I5 |
 Locandina |
