|
|
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
2013/05/15: Visit to INRIA Triskell team to work on GeMoC in Rennes, France
2013/04/24-26: Teaching at the LIESSE Python course for CPGE teachers in Toulouse, France
2013/04/18: AADL@AdaCore day in Paris, France
2013/04/17: Meeting of the AADL french initiative at TelecomParisTech in Paris, France
2013/04/15-16: openETCS WP7 workshop in Munich, Germany
2013/04/10-11: Communications presented by Ning and Arnaud at the FAC days in Toulouse, France
2013/04/9-11: Project P meeting at Astrium in Toulouse, France
2013/04/2-4: GDR/CIEL/AFADL meeting in Nancy, France
2013/03/22: ANR VORACE project kickoff at ENSEEIHT in Toulouse, France
2013/03/19-20: ANR GeMoC meeting at ENSIETA in Brest, France
2013/02/27-03/01: (Cancelled) Visit to the Cybernetics Institute of the Tallinn University of Technology in Tallinn, Estonia
2013/02/04: Transformation V&V meeting at école des Mines ParisTech' in Paris, France
2013/01/29: ANR ASTRID 2012 projects kickoff at ANR in Paris, France
2013/01/15-17: Quarterly Project P and HiMoCo 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
Florent Latombe, started Q4 2012 (in cooperation with Xavier Crégut and Benoît Combemale)
-
-
Ning Ge, started Q4 2010 (in cooperation with Xavier Crégut)
Faiez Zalila, started Q4 2010 (in cooperation with Xavier Crégut)
-
Mounira Kezadri, started Q4 2009 (in cooperation with Xavier Thirioux and Benoît Combemale)
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), working as system engineer at Embraer in Brasil
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), working as Research and Development engineer at Altran in France
-
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
-
-
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
-
-
2012/12/19: Quyet-Thang Pham, Telecom Bretagne
Ricardo Bedin França, INPT
Nassima Izerrouken, INPT
Zianah Dargaye
Aurélie Hurault, INPT
2003/12/15: Cyril Carrez, Telecom ParisTech
Matthias Colin, INPT
1999: Abdelkrim Nimour, Telecom ParisTech
Fabien Dagnat, INPT
Jean-Louis Colaço, INPT
ANR ASTRID VORACE, 2012 to 2015, End to end verification of optimization algorithms for control and command safety critical systems
ANR INS GeMoC, 2012 to 2015, Heterogeneous Modeling based on Models of Computation
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
Jean-Marie Farines, UFSC, Brasil
Horaciu Cirstea, Pierre-Etienne Moreau (LORIA-PAREO) : TOM
Jean-Pierre Talpin (IRISA-ESPRESSO) : PolyChrony
Sandrine Blazy (IRISA-CELTIQUE), Xavier Leroy (INRIA) : CompCert
Olivier Barais, Arnaud Blouin, Benoît Combemale, Didier Vojtisek (IRISA-TRISKELL) : Kermeta
Julien De Antoni, Frédéric Malet (INRIA-AOSTE) : CCSL, ECL, TimeSquare
François Vernadat, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan (LAAS) : Fiacre, Tina
Virginie Wiels, Frédéric Boniol, David Doose, Pierre-Loïc Garoche (ONERA)
-
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 Formal Method Forum (joint initiative from AeroSpace Valley and RTRA STAE)
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 board
Member of the IRIT management board
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
|
|
