Dr. Nicolás D'Ippolito

About

Dr. Nicolás D'Ippolito

I am a Professor Assistant at Departamento de Computación, Ciencias Exactas y Naturales, Universidad de Buenos Aires and Assistant Researcher at CONICET.

Research Interests

My research interests are mainly focused towards behavioural modelling, partial behavioural modelling, planning, controller synthesis and model checking.

External Activities

  • Organizer of the 1st "Controlled Adaptation of Self-adaptive Systems (CASaS)" Shonan Seminar. 

Recent Program Committee Memberships

  • 2nd FME workshop on formal methods in software engineering (FormaliSE'16), 15 May 2016, Austin, Texas, USA.
  • 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'16) – May 16-17, 2016, Austin, Texas
  • 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS'16)

Publications

Tools

  • MTSA - The Modal Transition System Analiser.

PhD and Master Students

  • Current Master students:
    • Virginia Brassesco, University of Buenos Aires
    • Tomás Scally, University of Buenos Aires
    • Victor Wjugow, University of Buenos Aires
    • Iván Pasquini, University of Buenos Aires
  • Past Master students:
    • Mariano Cerrutti, University of Buenos Aires
    • Julio Arro, University of Buenos Aires
    • Ezequiel Castellano, University of Buenos Aires
    • Leandro Nahabedian, University of Buenos Aires

Contact

E-Mail: ndippolito ( AT ) dc.uba.ar

Undefined