1. CONICET
  2. Comunidad CONICET
  3. SEBASTIAN UCHITEL
Comunidad CONICET
UCHITEL, SEBASTIAN

Investigador superior

Especialidad
INGENIERIA DE SOFTWARE
Disciplina Científica
Informática y Comunicaciones
Tema
Síntesis de Controladores para Sistemas Robóticos
Lugar de Trabajo
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA)
Depende de
Ver más información Ver menos información
Dirección:
INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina
Ver mapa
Resumen Información suministrada por el agente en SIGEVA
Sebastian Uchitel investiga en temas de Ingeniería de Software. Más específicamente, trabaja en temas de síntesis, verificación y validación de artefactos vinculados con el desarrollo de software. Estos incluyen código fuente, especificaciones de diseño y requerimientos. Su enfoque es en la utilización de herramientas que permitan razonar automáticamente sobre estos artefactos y así tanto reducir el esfuerzo manual así como también dar garantías de calidad que van más allá de las provistas por ... Sebastian Uchitel investiga en temas de Ingeniería de Software. Más específicamente, trabaja en temas de síntesis, verificación y validación de artefactos vinculados con el desarrollo de software. Estos incluyen código fuente, especificaciones de diseño y requerimientos. Su enfoque es en la utilización de herramientas que permitan razonar automáticamente sobre estos artefactos y así tanto reducir el esfuerzo manual así como también dar garantías de calidad que van más allá de las provistas por técnicas manuales de construcción, verificación y validación. Su trabajo involucra el uso intensivo model checkers, herramientas de aprendizaje automático simbólico, técnicas de análisis estático de código y técnicas de síntesis de controladores de eventos discretos. Las aplicaciones están vinculadas la generación de abstracciones de código para generación de tests, ingeniería de reversa y análisis arquitectónico, sistemas adaptativos incluyendo sistemas robóticos y vehículos autónomos, verificación exhaustiva de código, y estimación de confiabilidad de software.
Ver más Ver menos
Líneas de Investigación

Ingeniería de Software

Ciencias naturales y exactas

  • Ciencias de la computación e información
  • Ciencias de la computación
Capacidades Tecnológicas

1 - Electrónica, TICs y telecomunicaciones

1.2 - Procesado de información, Sistemas de información, Gestión de la carga de trabajo

  • 1.2.1 - Arquitectura avanzada de sistemas
  • 1.2.3 - Inteligencia artificial (IA)
  • 1.2.6 - Software
  • 1.2.20 - Software de automatización
  • 1.2.22 - Aplicaciones inteligentes
Palabras Clave
Software SynthesisAbstracción de SoftwareSoftware AbstractionVerificación de SoftwareIngeniería de SoftwareSoftware VerificationSoftware EngineeringSíntesis de Software
Formación Académica

2000 - 2003

PhD en Ingeniería de Software

IMPERIAL COLLEGE

1991 - 1998

Licenciado en Ciencias de la Computación

FACULTAD DE CIENCIAS EXACTAS Y NATURALES, UNIVERSIDAD DE BUENOS AIRES

Formación de RRHH
Director de:
Codirector de:
Cargando sección Producción CyT...
Cargando sección Oferta Tecnológica...
Contacto
Enviar Mensaje