(photo appeared in CNISDN, Volume 25 (1992) 83-98.)

Jean-Pierre Courtiat graduated in computer science from ENSEEIHT (1973),
received a PhD degree (1976) and a "Doctorat d'Etat" degree (1986) in
computer science from the University of Toulouse, France.
After having been a researcher at LAAS/CNRS from 1973 to 1976, he has
been an expert of the french technical cooperation from 1976 to 1980
with an appointment at the Federal Unviversity of Rio de Janeiro, as
Professor of Computer Science.
In 1980, he came back to LAAS, as "charge de recherche au CNRS" (a
research position of the French National Council of Scientific Research).
At LAAS, Jean-Pierre Courtiat works in the OLC (Software and Communication)
research group, where he leads the SFP (Formal Specification of Protocols)
research team. His research interests include the design of protocols, as
well as the definition and application of formal methods for the
specification, verification and testing of protocols and distributed
systems, areas in which he has authored or co-authored more than 70
international publications.
Currently, Jean-Pierre Courtiat participates to several researches
dealing with the semantics of concurrency and the expression of
time-constraints in the formal description techniques, as well as the
application of these techniques to the formal design of co-operative
high speed multimedia distributed systems. In carrying out these
researches, he has taken several responsibilities in different European
research projects, and has participated to standardization activities.
He is a member of ACM and IEEE. His email address is courtiat@laas.fr.