Télécom ParisTech

Patrick Bellot

Professeur

Patrick Bellot

Formation

  • Doctorat d’État.

Enseignement

  • Systèmes formels,
  • Logiques,
  • Théorie des types,
  • Lambda-calcul,
  • Combinateurs,
  • Langages de programmation,
  • Services Web.

Thématiques de recherch

  • Middleware autonome et résilient pour l’orchestration et la composition de services pour les systèmes de contrôle-commande,
  • Toolkit Java de développement d’applications Web avec intégration des jWebSockets.

Expérience industrielle et Recherche Contractuelle

  • IBM France (chef de projet du développement d’IBM AD/Cycle Prolog/2).

Animation scientifique et responsabilités collectives

  • Conférences IEEE RIVF de 2003 à 2010.

Prix et distinctions

  • Meilleur jeune chercheur français en Informatique (1987),
  • IBM Europe Outstanding Technical Achievment Award (1991),
  • IBM France Prix Vitalité Technique (1989).

Education

  • Doctorat d’État.

Teaching

  • Formal systems
  • Logic
  • Type therories
  • Lambda-calculus
  • Combinators
  • Programming languages
  • Web services.

Major Research Interest or Current Research Topics

  • Autonomic and resilient middleware for the orchestration and the composition of services for control command system.
  • Java toolkit for the development of Web application with integration of JWebSockets.

Industrial Experience

  • IBM France (consulting project leader, IBM AD/Cycle Prolog/2).

Visibility, Membership, Committee

  • Conferences IEEE RIVF from 2003 to 2010.

Main Scientific Results

  • Best young French researcher in Computer Sciences (1987),
  • IBM Europe Outstanding Technical Achievment
  • IBM France Prix Vitalité Technique (1989).