1. CONICET
  2. People
  3. SEBASTIAN UCHITEL
CONICET Community

UCHITEL, SEBASTIAN

INVESTIGADOR SUPERIOR

SPECIALITY:

INGENIERIA DE SOFTWARE

Scientific discipline:

Informática y Comunicaciones

Topic:

Síntesis de Controladores para Sistemas Robóticos . Controller Synthesis for Robotic Systems

Workplace

INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA) Depends on
Address:
INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina

Contact:

Send Message

S&T Expertise*

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. *Information provided by the agent in SIGEVA

Lines of Investigation

Ingeniería de Software CIENCIAS NATURALES Y EXACTAS - Ciencias de la Computación e Información - Ciencias de la Computación

Technological Capacities

  • 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

Key Words

Software SynthesisAbstracción de SoftwareSoftware AbstractionVerificación de SoftwareIngeniería de SoftwareSoftware VerificationSoftware EngineeringSíntesis de Software

Education

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


S&T HR Training

Co-director of

Science and Technology Production

Loading data . . .

Services

Loading data . . .