|
|
This is how I looked like some years ago.
 
     
My research activities are conducted in the ACADIE team from the Institut de Recherche en Informatique de Toulouse (IRIT), UMR 5505 from the Centre National de la Recherche Scientifique (CNRS).
I am associate professor at Ecole Nationale Supérieure d'Electrotechnique, Electronique, Informatique, Hydraulique et des Télécommunications (ENSEEIHT), a public engineering school part of Institut National Polytechnique de Toulouse (INPT), which is a member of the Pôle de Recherche et Enseignement Supérieur (PRES) Université de Toulouse.
Surface Mail: ENSEEIHT, Bureau F305, 2 rue Charles Camichel, 31071 TOULOUSE Cedex FRANCE
Electronic Mail: Marc dot Pantel at enseeiht dot fr
Phone +(33) 534 32 2185, Fax +(33) 534 32 2157, Professional Cellphone +(33) 676 221 687
2012/05/14: Our contribution to ISOLA'12 has been accepted
2012/05/04: Our contribution to UML&FM'12 has been accepted
2012/04/30: Submission of two contributions to ICFEM'2012 2012/04/27: Submission of one contribution to WCET'2012 2012/04/27: Submission of two contributions to ISOLA'2012 2012/03/23: Our contribution to ECMFA'12 has been accepted.
-
2012/03/28-30: Organisation of a Projet P/HiMoCo project meeting in Toulouse, France
2012/03/21-22: Organisation of a quarteFt project meeting in Toulouse, France
2012/03/13-14: Participation in an OPEES meeting in Bilbao, Spain
2012/03/: Submission of three contributions to CIEL 2012
2012/03/: Submission of one contribution to UML&AADL 2012
-
2012/02/09-10: Participation to an openETCS meeting in Frankfurt, Germany (reduced to a web-conference due to snow in Toulouse and airplane strike in France)
2012/02/08: Participation to a CESAR meeting in Oxford, England (reduced to a web-conference due to snow in Toulouse and airplane strike in France)
2012/02/01-03: Presentation of our three contributions to the ERTSS conference in Toulouse, France
2012/01/30-02/01: Organisation of the AADL consortium meeting at IRIT in Toulouse, France
-
2012/01/25: Participation to an openETCS meeting in Paris, France
2012/01/23: Eric Féron, professor at Georgia Tech is visiting our team for 3 months thanks to INPT and RTRA STAE funding
-
2012/01/20: Timothy Wang, PhD student in Eric Féron team at Georgia Tech is visiting our team for 3 months
2012/01/09-11: Participation to a Projet P meeting in Paris, France
-
Combining Object Oriented Programming and Pure Functional Programming, from 1990 to 1994
Actor Languages Static Analysis, from 1994 to 2009
Actor Languages implementation in CaML and Java, from 1999 to 2006
Constraint Solver based Static Analysis, from 1990 to 2009
Scientific Application Modeling, from 2002 to 2009
Block sequencer for the GeneAuto toolset written in Java, CaML and Coq (with Nassima Izerrouken et Xavier Thirioux)
-
-
Ning Ge, started Q4 2010 (in cooperation with Xavier Crégut)
Faiez Zalila, started Q4 2010 (in cooperation with Xavier Crégut)
-
Andres Toom, started Q4 2009 (in cooperation with Tarmo Uustaluu)
Ricardo Bedin França: Processes and qualifiable tools for the development of safety critical certified systems in avionics based on automated code generation (2009 to 2012, funded by Airbus), looking for post-doctoral period in Brazil
Nassima Izerrouken: Développement prouvé de composants formels pour un générateur de code embarqué critique pré-qualifié (2007 to 2011, in cooperation with Xavier Thirioux, funded by Continental Automotive), Teaching Assistant at ENSEEIHT
-
Pierre-Loïc Garoche: Analyse statique d'un calcul d'acteurs par interprétation abstraite (2006 to 2009, in cooperation with Xavier Thirioux), Research Associate at ONERA
-
Vincent Hennebert, Computer Science Engineer, from 2004 to 2007 (in cooperation with Xavier Thirioux)
Matthias Colin: Analyse statique de la communication dans un langage d'acteurs fonctionnel (1999 to 2003, in cooperation with Xavier Thirioux), Assistant Professor at EISTI
-
-
FUI Projet P, 2011 to 2014, Intermediate languages and code generation for safety critical systems (GeneAuto and TOPCASED followup)
-
-
ITEA2 openETCS, 2011 to 2014, Application of TOPCASED technologies to the European Train Control Systems domain
-
-
-
-
Safety critical systems
Distributed systems
Tarmo Uustalu, Cybernetics Institute, Tallinn Technical University, Estonia
Eric Féron, Romain Jobredeaux, Timothy Wang, Georgia Institute of Technology, Atlanta, USA
-
Formal Foundation of Computer Science: Propositional and Predicate Logic, Set Theory, Coq Proof Assistant, Hoare Logic, Why Toolset, Finite Automaton, Regular Expression, Non Contextual Grammar, Lex, Yacc
-
Compilers and Formal Semantics: Recursive Descent Parsing, Attribute semantics, Type systems, Code generation, Operational semantics, Axiomatic semantics, Denotational semantics, Proof of static analyser and code generator correctness
Member of the TISECA platform writing board in the AESE IRT
Member of the ISAURE scientific board from the Aerospace Valley cluster
Member of the Action IDM scientific board from the GDR GPL and GDR ASR Member of the EICOSE management board
Expert for the Luxembourg FNR, French ANR, French D2RT
Member of the INPT management council
Member of the IRIT management council
Member of the ENSEEIHT Computer Science and Applied Mathematics department council
Designer and Manager of the INPT/ENSEEIHT Mastere in Technologies des Applications Multimédia
Manager of the INPT/ENSEEIHT Mastere in Méthodes Avancées Appliquées à l'Informatique
|
|
