LURPA > Previous organization > ISA team
Pierre-Antoine BRAMERET
PhD Student of ENS Cachan
- Started with the computer science laboratory of the Ecole Polytechnique
- Teaching Assistant at the Department of Mechanical Engineering of ENS Cachan
Thesis
Assessment of Reliability Indicators from Automatically Generated Partial Markov Chains
Advisors
- Jean-Marc ROUSSEL, Associate professor at ENS Cachan,
- Antoine RAUZY, Chair Blériot-Fabre, LGI - Ecole Centrale de Paris
Financial support
Doctoral contract for former students of ENS Cachan
Keywords
Safety Analysis, AltaRica, Guarded Transition Systems, Markov Chains, Combinatorial Explosion
Summary
My first research topic deals with Guarded Transition Systems (GTS), which is a promising formalism for safety analysis. With the Markovian hypothesis, the GTS can be compiled to Markov chains. A new methodology is developed to avoid the classical explosion of the number of states in Markov chains.
Defense announcement
Teaching
2012-2013
- Exercises and project supervising for Computer Programming (Python)
B.Sc. Students, ENS Cachan (SAPH115) - Practical applications of the course Computational Methods (Python)
B.Sc. Students, ENS Cachan (SAPH112B) - Pluridisciplinary Project advisor (Robotino)
B.Sc. Students, ENS Cachan (SAPH235)
- Exercises and project supervising for Computer Programming (Python)
B.Sc. Students, ENS Cachan (SAPH115) - Practical applications of the course Computational Methods (Python)
B.Sc. Students, ENS Cachan (SAPH112B) - Practical applications of the course Experimental Techniques
B.Sc. Students, ENS Cachan (SAPH124)
- Exercises and project supervising for Computer Programming (Python)
B.Sc. Students, ENS Cachan (SAPH115) - Practical applications of the course Computational Methods (Python)
B.Sc. Students, ENS Cachan (SAPH112B) - Practical applications of the course Experimental Techniques
B.Sc. Students, ENS Cachan (SAPH124) - Pluridisciplinary Project co-advisor (Compost)
B.Sc. Students, ENS Cachan (SAPH235) - Development of a tool to detect plagiarism among students of the programming course (Python + C)
Short Biography
2010-2011
- Master's degree of Automated Systems Engineering
ENS Cachan in partnership with University Henri Poincaré in Nancy
- First year of Master's degree in Technology and Health applied to Material and Structures Mecanics
ENS Cachan in partnership with University Pierre et Marie Curie Paris 6
- Admission to the ENS Cachan
- Bachelor's degree in Mechanical Engineering
ENS Cachan in partnership with University Pierre et Marie Curie Paris 6
- Preparatory Course for ''Grandes Ecoles'', Physics and Technology at High school Champollion in Grenoble