Pascal Poizat

<P align="justify">My research activities address <B>software engineering</B> with issues related to composition (the software system is made up of several sub-units), distribution (there are sub-units that execute on different deployment units), and interaction (there are sub-units that synchronize or communicate in some way). Further, I have a specific focus on the <B>behavioural aspects</B> of software. These emerge when systems or their sub-units have a state, conditioning the legal ordering of operations within them or communications between them.</P> <P align="justify">I am also particularly interested in the use and the integration of <B>formal methods</B> within the software development processes. This includes activities such as design, verification, adaptation, automatic composition, and testing. The objective is twofold: first, to increase the confidence one may have in a software system and, second, to foster automation and tool-support of the development processes.</P> <P align="justify">Applicative domains and relation to standards are important in my work. This includes <B>business processes</B> and <B>service-based applications</B>, e.g., with the formal verification and the analysis of the evolution of business processes modelled using BPMN, the automatic generation of service compositions and service adaptors models and corresponding WS-BPEL implementations from high-level requirements, and the testing of service orchestrations and service choreographies.</P>