Skip to main

Combining Architecture Descriptions

Curso - taller
Fecha
16/12/2015
Lugar
ORT Centro - Cuareim 1451
Horario
De 08:45 a 12:00

Combining Architecture Descriptions with Empirical and Formal Analysis for Quality Assurance of Large-Scale Software.

El evento comenzará a las 8:45 h con un café de bienvenida y continuará con una serie de charlas a cargo de docentes e investigadores de la facultad, así como también contará con la participación de investigadores de Argentina y Reino Unido.

El evento está dirigido a investigadores nacionales y será dictado en inglés, entrada libre previa inscripción aquí.

Programa

08:45 - 09:15 Recepción y café de bienvenida
09:15 - 09:30 Apertura del evento a cargo de Macarena Sarroca, Science & Innovation Project Officer, British Embassy, Montevideo.
09:30 - 10:15 Describing Software Architectures - Revisiting The Early Decisions, Christos Kloukinas, City University London.
10:15 - 11:00 Nominal Equational Unification, Maribel Fernández, King's College London.
11:00 - 11:30 Intervalo
11:30 - 12:00 Toward Full Elasticity in Distributed Static Analysis, Diego Garbervetsky, Universidad de Buenos Aires.
11:00 - 11:30 Presentación del grupo de Ingeniería de Software, a cargo de Martín Solari de la Universidad ORT Uruguay.
11:30 - 12:00 Presentación del grupo de Teoría de la Computación a cargo de Álvaro Tasistro de Universidad ORT Uruguay.

Exponen:

Dr. Christos Kloukinas (Profesor titular - City University of London)
Es profesor titular en el Departamento de Ciencias de la Computación y ha sido miembro del grupo de investigación de Ingeniería de Software (SE @ City) , uno de los grupos del departamento que trabaja en Software e Ingeniería de Sistemas.
Christos es Licenciado en Ciencias de la Computación (1994) y tiene un M.Sc. en las áreas de Sistemas Paralelos y Distribuidos, y Visión Artificial y Robótica (1997), ambos de la Universidad de Creta en Heraklion, Grecia. También tiene un doctorado LInformática (2002) de la Université de Rennes 1, Francia.

Dra. Maribel Fernández (Profesora Ciencias de la Computación - King´s College of London)
Es profesora de Ciencias de la Computación, del Departamento de Informática de la Facultad de Natural and Mathematical Sciences, King's College London. Jefa del grupo de Software Modelado y Lógica Aplicada. Editora de la Revista Internacional de Lógica y Computación , OUP . Editor del LMS Diario de Computación y Matemáticas. Miembro del comité de becas ACM- W (Este comité proporciona apoyo a las mujeres de pregrado y estudiantes de postgrado en Ciencias de la Computación y programas relacionados para asistir a conferencias de investigación).

Dr. Diego Garbervetsky (Profesor Adjunto - Universidad de Buenos Aires)
Es Doctor en Ciencias de la Computación por la Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires. Licenciado en Ciencias de la Computación Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires. Analista Universitario en Ciencias de la Computación. Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires
Profesor Adjunto dedicación exclusiva por Concurso Regular en el Departamento de Computación de la Facultad de Ciencias Exactas y Naturales (UBA).