Lecturer: Dr. Sasha Rubin
Auckland, New Zealand
This email address is being protected from spambots. You need JavaScript enabled to view it.

 

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

This email address is being protected from spambots. You need JavaScript enabled to view it.">This email address is being protected from spambots. You need JavaScript enabled to view it.

 

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

Attachments:
Download this file (Locandina Rubin.pdf)Locandina

Share This

S5 Box

Cini Single Sign ON

Questo sito utilizza cookie, anche di terze parti, per migliorare la tua esperienza e offrire servizi in linea con le tue preferenze. Chiudendo questo banner, acconsenti all’uso dei cookie. Se vuoi saperne di più o negare il consenso a tutti o ad alcuni cookie vai alla sezione Cookie Policy