p1:"After following training courses focused on software development at the <a href='https://www.univ-tlse2.fr/home/' class='text-primary'>University of Toulouse 2 Jean-Jaurès</a> "+
"and obtained a <a href='https://www.univ-tlse2.fr/accueil/navigation/formation-insertion/formation-continue/master-informatique-collaborative-en-entreprise-ice-1e-et-2e-annee-444876.kjsp'>"+
"sandwich course master's degree in Collaborative Computer Science</a>. Then, completed a PhD in Computer Science at <a href='https://www.univ-tlse3.fr/'>University Toulouse 3 Paul Sabatier</a> "+
"at the <a 'href='https://www.irit.fr/?lang=en'>IRIT</a> research laboratory. I am currently a Postdoctoral Researcher at <a href='https://carleton.ca/'>Carleton University</a>.",
p2:"My main research topics concern the <a href='https://en.wikipedia.org/wiki/Software_architecture'>software architecture</a>, "+
"the <a href='https://en.wikipedia.org/wiki/Computer_security'>security</a> et the <a href='https://en.wikipedia.org/wiki/Formal_methods'>Formal methods</a>. "+
"And I am particularly interested in my doctorate on <a href='https://en.wikipedia.org/wiki/Model-driven_engineering'>model-driven engineering</a> and "+
"<a href='https://en.wikipedia.org/wiki/Formal_verification'>formal verification</a> approaches to secure software architectures.",
p3:
"As self-taught <a href='https://fr.wikipedia.org/wiki/D%C3%A9veloppement_de_logiciel'>software developer</a> from a young age, "+
"I am from a personal point of view a passionate developer. I have a special interest in <a href='https://en.wikipedia.org/wiki/Free_software'>free software</a> "+
location:"<a href='https://www.univ-tlse3.fr/'>University Toulouse 3 Paul Sabatier</a> at <a href='https://www.irit.fr/?lang=en'>IRIT</a>, Toulouse, France (31)",
exp1:"Computer science research - Rigorous Development of Secure Software Architectures : Security / Model Driven Engineering / Formal Methods",
location:"<a href='https://www.univ-tlse3.fr/'>University Toulouse 3 Paul Sabatier</a> at <a href='https://www.irit.fr/?lang=en'>IRIT</a>, Toulouse, France (31)",
p1:"Après avoir suivi un parcours orienté développement logiciel à l'<a href='https://www.univ-tlse2.fr/' class='text-primary'>Université Toulouse 2 Jean-Jaurès</a> "+
"et obtenu un <a href='https://www.univ-tlse2.fr/accueil/navigation/formation-insertion/formation-continue/master-informatique-collaborative-en-entreprise-ice-1e-et-2e-annee-444876.kjsp'>"+
"Master en Informatique Collaborative en Entreprise</a> en alternance. Puis réaliser un doctorat en Informatique à l'<a href='https://www.univ-tlse3.fr/'>Université Toulouse 3 Paul Sabatier</a> "+
"au sein du laboratoire de recherche de l'<a href='https://irit.fr' class='text-primary'>IRIT</a>. "+
"Je suis actuellement chercheur postdoctoral à l'<a href='https://carleton.ca/'>Université Carleton</a>",
p2:"Mes principaux sujets de recherches concernent les <a href='https://fr.wikipedia.org/wiki/Architecture_logicielle'>architectures logicielles</a>, "+
"la <a href='https://fr.wikipedia.org/wiki/S%C3%A9curit%C3%A9_des_syst%C3%A8mes_d%27information'>sécurité</a> et les <a href='https://fr.wikipedia.org/wiki/M%C3%A9thode_formelle_(informatique)'>méthodes formelles</a>. "+
"Et je m'intéresse plus particulièrement dans la cadre de ma thèse aux approches basées sur l'<a href='https://fr.wikipedia.org/wiki/Ing%C3%A9nierie_dirig%C3%A9e_par_les_mod%C3%A8les'>ingénierie dirigée par les modèles</a> et "+
"la <a href='https://fr.wikipedia.org/wiki/V%C3%A9rification_formelle'>vérification formelle</a> pour les architectures logicielles sécurisées.",
p3:
"Ayant commencé à apprendre jeune le <a href='https://fr.wikipedia.org/wiki/D%C3%A9veloppement_de_logiciel'>développement logiciel</a> en autodidacte, "+
"je suis d'un point de vue personnel un développeur passionné. Je porte un intérêt particulier pour les <a href='https://fr.wikipedia.org/wiki/Logiciel_libre'>logiciels libres</a> "+
exp1:"Recherche en informatique - Développement Rigoureux des Architectures Logicielles Sécurisées : Sécurité / Ingénierie Dirigée par les Modèles / Méthodes Formelle",
location:"<a href='https://www.univ-tlse3.fr/'>Université Toulouse 3 Paul Sabatier</a> / <a href='https://www.irit.fr/?lang=en'>IRIT</a>, Toulouse, France (31)",
exp1:"Recherche en informatique - Développement Rigoureux des Architectures Logicielles Sécurisées : Sécurité / Ingénierie Dirigée par les Modèles / Méthodes Formelle",