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

Senior researcher

Speciality
INGENIERIA DE SOFTWARE
Scientific discipline
Computer Science and Communications
Topic
Controller Synthesis for Robotic Systems
Workplace
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA)
Dependencies
Show more information Show less information
Address:
INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina
Show map
Summary Information provided by the agent in 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.
Show more Show less
Lines of Investigation

Ingeniería de Software

Natural and exact sciences

  • Computer and information sciences
  • Computer sciences
Technological Capacities

1 - Electronics, IT and Telecoms

1.2 - Information Processing, Information System, Workflow Management

  • 1.2.1 - Advanced Systems Architecture
  • 1.2.3 - Artificial Intelligence
  • 1.2.6 - Computer Software
  • 1.2.20 - Building Automation Software
  • 1.2.22 - Smart Appliances
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

HR Training
Director of:
Co-director of:
Loading section Science and Technology Production...
Loading section Services...
Contact
Send Message