1. CONICET
  2. Personas
  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 . Controller Synthesis for Robotic Systems

Lugar de Trabajo

INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA) Depende de
Dirección:
INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina

Contacto:

Enviar Mensaje

Experticia en CyT*

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. *Información suministrada por el agente en SIGEVA

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
    • 2. Procesado de información, Sistemas de información, Gestión de la carga de trabajo
      • 2.3. Inteligencia artificial (IA)
      • 2.1. Arquitectura avanzada de sistemas
      • 2.22. Aplicaciones inteligentes
      • 2.20. Software de automatización
      • 2.6. Software

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 Recursos Humanos en CyT

Codirector de

Producción CyT

Cargando datos . . .

Oferta Tecnológica

Cargando datos . . .