Laboratorio Nazionale per l'Informatica e la Telematica Multimediali (ITEM) Carlo Savy

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

Allegati:
Scarica questo file (Locandina Rubin.pdf)Locandina

Share This

S5 Box

Cini Single Sign ON

Questo sito memorizza solo cookie tecnico/funzionali. Se vuoi saperne di più vai alla sezione Cookie Policy