Next: M. Sergot
Up: Curricula Vitae
Previous: Curricula Vitae
Pierre-Yves Schobbens graduated in Philosophy in 1982, in Applied Mathematics
and Economy in 1983, in Computer Science in 1984, magna cum laude from Univ. Cath. de Louvain, Belgium.
He worked there as researcher in the team of Prof. Sintzoff, making contributions to the research projects:
- Graal (Belgian SPPS), ``Formal methods in Software Engineering''
- Leibniz (Belgian SPPS), ``Artificial Intelligence Methods in Software Development'' (joint with P. Wolper)
- Tooluse (EEC ESPRIT I) ``Formalization of Software Development Methods'' (language Deva)
During this time he received grants for research stays at the Univ. of Passau and at the ``Laboratoire
d'Informatique Fondamentale et d'Intelligence Artificielle'' (LIFIA, Grenoble)
where he took part in the development of the executable algebraic specification
language LPG. He also contributed to the working groups
``Ada-Europe Software Engineering Environments'' and ``Ada-Europe Formal Methods''.
He obtained his Ph.D. in Computer Science in 1992, with a thesis entitled
``Exceptions in Algebraic Specifications'' showing applications of
non-monotonic reasoning to software specification.
He then worked as a Senior Researcher at CNRS in the ``Centre de Recherche en Informatique de
Nancy (CRIN)''. He is currently Associate Professor in Artificial Intelligence
at the Univ. of Namur (FUNDP).
He is
co-founder
of ``Ada-Belgium''.
He set up and is scientific leader in the HCM Network ``Medicis''.
He took part in the programme committee of ``VDM-Europe 1991''. He has given invited tutorials at the
International Workshop on Software Engineering and its Applications (Toulouse, Dec. 1988) and
the ACM International Workshop on Formal Methods in Software Development (Napa, May 1990).
His research interests include extensions of algebraic specifications
towards agent- and object-oriented concepts
(concurrency and inheritance),
non-monotonic reasoning,
formal development from specifications,
tool support for such developments.
Selected publications
-
C. Lafontaine, Y. Ledru, P.-Y. Schobbens.
An experiment in formal software development: using the B theorem prover on a VDM case study.
In Proceedings 12th International Conference on Software Engineering (ICSE-12),
Nice, France, IEEE CS, pp. 34-42, March 1990; also Comm. ACM, Vol 34 n.5, May 1991.
-
C. Lafontaine, Y. Ledru, P.-Y. Schobbens.
Two approaches towards the formalisation of VDM.
In VDM'90: VDM and Z!, Kiel, Germany, Springer Verlag LNCS 428, pp. 370-398, April 1990.
-
Y. Ledru, P.-Y. Schobbens.
Applying VDM to large developments.
Sigsoft SEN 15(4), Sep. 1990, pp. 55-58.
-
P.-Y. Schobbens.
Higher-order proof rules for algebraic specifications.
5th Workshop on Abstract Data Types, Barcelona, F. Orejas ed., Oct. 1992.
-
P.-Y. Schobbens.
Exceptions for Algebraic Specifications: On the meaning of ``but''.
Science of Computer Programming, 20(1-2), March/April 1993.
Next: M. Sergot
Up: Curricula Vitae
Previous: Curricula Vitae