Bio

Ph.D. in Computer Science (in cotutelle between UBA, Argentina and UHP, France) [more]
Lecturer and researcher (at Department of Computer Science, UBA)

Research interests

  • Modal and hybrid logics
  • Computability theory
  • Automated reasoning
  • Applications of formal methods in computer science

Address

Department of Computer Science
FCEyN - Universidad de Buenos Aires
Pabellón I - Ciudad Universitaria - (C1428EGA)
Buenos Aires - Argentina

Office 14
Tel.:+54-11-4576-3390/6 (int. 705)
Fax: +54-11-4576-3359
e-mail: mail