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) 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 Natural and exact sciences - Computer and information sciences - Computer sciences

Technological Capacities

  • 1. Electronics, IT and Telecoms
    • 2. Information Processing, Information System, Workflow Management
      • 2.3. Artificial Intelligence
      • 2.1. Advanced Systems Architecture
      • 2.22. Smart Appliances
      • 2.20. Building Automation Software
      • 2.6. Computer 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

Director of
Co-director of

Science and Technology Production

Loading data . . .

Services

Loading data . . .