Curriculum Vitæ. David Pichardie. 29D avenue du Bois Labbé Rennes France.

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "Curriculum Vitæ. David Pichardie. 29D avenue du Bois Labbé 35000 Rennes France. David.Pichardie@inria.fr. http://www.irisa.fr/celtique/pichardie/"

Transcription

1 Curriculum Vitæ David Pichardie Personal Details Nationality French Date of Birth 30 April 1977 Familial Position Home Address Office Address Married 29D avenue du Bois Labbé Rennes France IRISA, Projet Celtique, Campus de Beaulieu, Rennes Cedex France Office Tel Mobile Tel Homepage Research experience 2009-now Research scientist (chargé de recherche 1ère classe), INRIA Rennes - Bretagne Atlantique, France, Celtique team (Thomas Jensen s group) Junior research scientist (chargé de recherche 2ème classe), INRIA Rennes - Bretagne Atlantique, France, Lande team (Thomas Jensen s group) Post-doc, INRIA Sophia-Antipolis, France, Everest team (Gilles Barthe s group). Education Phd Thesis in Computer Science at University Rennes 1 and Irisa. Title : Abstract interpretation in intuitionist logic: extraction of certified Java analysers. Defended in December Student at the École Normale Supérieure de Cachan, brittany site Agrégation de mathématiques 1. Rank : 18 th amongst 350 successful candidats Master of Mathematics and Computer Science at ENS Cachan and University Rennes 1, including : Pre-doctoral studies in Computer Science, first class honours. Rank : 1 st MSc in Computer Science, first class honours. Rank : 1 st MSc in Mathematics, first class honours. Rank : 5 th BSc in Computer Science, first class honours. Rank : 4 th BSc in Mathematics, first class honours. Rank : 1 st 1 A high-level national competitive examination for recruiting teachers.

2 Teaching experience Teaching Algorithms at ENS Cachan, brittany site Teaching Logic and Computability at ENS Cachan, brittany site Teaching the formal method Methode B at INSA (engineering school) with Mireille Ducasse Teaching Abstract Interpretation and Semantics in the research Master of the University of Rennes 1 with Thomas Jensen Teaching assistant (assistant moniteur normalien), ENS Cachan, brittany site. Publications Abstracts and preprints of these publications can be found at International journal articles [1] Frédéric Besson, Thomas Jensen, Guillaume Dufay, and David Pichardie. Verifying resource access control on mobile interactive devices. Journal of Computer Security, To appear. [2] Frédéric Besson, Thomas Jensen, and David Pichardie. Proof-carrying code from certified abstract interpretation to fixpoint compression. Theoretical Computer Science, 364(3): , [3] David Cachera, Thomas Jensen, David Pichardie, and Vlad Rusu. Extracting a Data Flow Analyser in Constructive Logic. Theoretical Computer Science, 342(1):56 78, September Extended version of [20]. International refereed conferences [4] Thomas Jensen and Florent Kirchner David Pichardie. Secure the clones: Static enforcement of policies for secure object copying. In Proc. of 20th European Symposium on Programming (ESOP 2011), Lecture Notes in Computer Science. Springer-Verlag, To appear. [5] Frédéric Besson, Thomas Jensen, David Pichardie, and Tiphaine Turpin. Certified result checking for polyhedral analysis of bytecode programs. In Proc. of the 5th International Symposium on Trustworthy Global Computing (TGC 2010), volume 6084 of Lecture Notes in Computer Science, pages Springer-Verlag, [6] David Cachera and David Pichardie. A certified denotational abstract interpreter. In Proc. of International Conference on Interactive Theorem Proving (ITP-10), volume 6172 of Lecture Notes in Computer Science, pages Springer-Verlag, [7] Delphine Demange, Thomas Jensen, and David Pichardie. A provably correct stackless intermediate representation for Java bytecode. In Proc. of the 8th Asian Symposium on Programming Languages and Systems (APLAS 2010), volume 6461 of Lecture Notes in Computer Science, pages Springer-Verlag, [8] Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas Jensen, Vincent Monfort, David Pichardie, and Tiphaine Turpin. Sawja: Static Analysis Workshop for Java. In Proc. of the 1st International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010), Lecture Notes in Computer Science. Springer-Verlag, To appear. [9] Laurent Hubert, Thomas Jensen, Vincent Monfort, and David Pichardie. Enforcing secure object initialization in java. In Proc. of the 15th European Symposium on Research in Computer Security (ESORICS 2010), volume 6345 of Lecture Notes in Computer Science, pages Springer- Verlag, 2010.

3 [10] Frédéric Besson, David Cachera, Thomas P. Jensen, and David Pichardie. Certified static analysis by abstract interpretation. In Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures, volume 5705 of Lecture Notes in Computer Science, pages Springer-Verlag, [11] David Cachera and David Pichardie. Comparing techniques for certified static analysis. Proc. of the 1st NASA Formal Methods Symposium (NFM 09), pages , [12] Frédéric Dabrowski and David Pichardie. A certified data race analysis for a java-like language. In Proc. of 22nd International Conference on Theorem Proving in Higher Order Logics (TPHOLs 09), volume 5674 of Lecture Notes in Computer Science, pages Springer-Verlag, [13] Gilles Barthe, César Kunz, David Pichardie, and Julián Samborski Forlese. Preservation of proof obligations for hybrid certificates. In Proc. of the 6th IEEE International Conferences on Software Engineering and Formal Methods (SEFM 08), pages IEEE Computer Society, [14] Laurent Hubert, Thomas Jensen, and David Pichardie. Semantic foundations and inference of non-null annotations. In Proc. of the 10th International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 08), volume 5051 of Lecture Notes in Computer Science, pages Springer-Verlag, [15] David Pichardie. Building certified static analysers by modular construction of well-founded lattices. In Proc. of the 1st International Conference on Foundations of Informatics, Computing and Software (FICS 08), volume 212 of Electronic Notes in Theoretical Computer Science, pages , [16] Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, and David Pichardie. The MOBIUS Proof Carrying Code infrastructure. In Proc. of the 6th International Symposium on Formal Methods for Components and Objects (FMCO 07), volume 5382 of Lecture Notes in Computer Science, pages Springer-Verlag, [17] Gilles Barthe, David Pichardie, and Tamara Rezk. A Certified Lightweight Non-Interference Java Bytecode Verifier. In Proc. of 16th European Symposium on Programming (ESOP 07), volume 4421 of Lecture Notes in Computer Science, pages Springer-Verlag, [18] Gilles Barthe, Julien Forest, David Pichardie, and Vlad Rusu. Defining and reasoning about recursive functions: A practical tool for the coq proof assistant. In Proc. of 8th International Symposium on Functional and Logic Programming (FLOPS 06), volume 3945 of Lecture Notes in Computer Science, pages Springer-Verlag, [19] David Cachera, Thomas Jensen, David Pichardie, and Gerardo Schneider. Certified Memory Usage Analysis. In Proc. of 13th International Symposium on Formal Methods (FM 05), number 3582 in Lecture Notes in Computer Science, pages Springer-Verlag, [20] David Cachera, Thomas Jensen, David Pichardie, and Vlad Rusu. Extracting a Data Flow Analyser in Constructive Logic. In Proc. of 13th European Symposium on Programming (ESOP 04), number 2986 in Lecture Notes in Computer Science, pages Springer-Verlag, [21] David Cachera and David Pichardie. Embedding of Systems of Affine Recurrence Equations in Coq. In Proc. of 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 03), number 2758 in Lecture Notes in Computer Science, pages Springer-Verlag, [22] David Pichardie and Yves Bertot. Formalizing Convex Hulls Algorithms. In Proc. of 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 01), number 2152 in Lecture Notes in Computer Science, pages Springer-Verlag, International refereed workshops [23] Laurent Hubert and David Pichardie. Soundly handling static fields: Issues, semantics and analysis. Proc. of the 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 09), 253(5):15 30, 2009.

4 [24] Frédéric Besson, Thomas Jensen, and David Pichardie. A PCC Architecture based on Certified Abstract Interpretation. In Proc. of 1st International Workshop on Emerging Applications of Abstract Interpretation (EAAI 06), ENTCS. Springer-Verlag, [25] David Pichardie. Modular proof principles for parameterized concretizations. In Proc. of 2nd International Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart Devices (CASSIS 2005), number 3956 in Lecture Notes in Computer Science, pages Springer-Verlag, [26] Thomas Genet, Thomas Jensen, Vikash Kodati, and David Pichardie. A Java Card CAP converter in PVS. In Jens Knoop and Wolf Zimmermann, editors, Proc. of 2nd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2003), Electronic Notes in Theoretical Computer Science, volume 82. Elsevier, French journal articles [27] David Cachera and David Pichardie. Programmation d un interpréteur abstrait certifié en logique constructive. Technique et Science Informatiques (TSI), To appear. French refereed conferences [28] Guillaume Hiet, Frédéric Guihéry, Goulven Guiheux, David Pichardie, and Christian Brunette. Sécurité de la plate-forme d exécution java : limites et propositions d améliorations. In Proc. of Symposium sur la sécurité des technologies de l information et des communications (SSTIC 2010), Other publications [29] Pichardie David. Interprétation abstraite en logique intuitionniste : extraction d analyseurs Java certifiés. PhD thesis, Université Rennes 1, In french. Tutorials and invited lectures 1. Certified Static Analysis, Gallium seminar, INRIA Rocquencourt, Programming an Abstract Domain in Coq, (invited talk) 2nd International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2010) 3. A Certified Denotational Abstract Interpreter, seminar Semantics and Abstract Interpretation, ENS Ulm, Certified Static Analysis, (lecturer) International School on Foundations of Security Analysis and Design (FOSAD 09), Bertinoro, Italy, Proof Carrying Code, seminar fondamental computer science, INRIA Lorraine, Proof Carrying Code, (lecturer)types Summer School, Bertinoro, Italy, Secure information flow, tutorial on Mobility, Ubiquity, and Security, Braga, Portugal, Proof Carrying Code, intern seminar of Thomson Security Lab, Rennes, France, Extracting a Certified Static Analyser in Constructive Logic: Application to Proof Carrying Code, (invited talk) CTNET 06 Workshop, Covilhã, Portugal, Formal development of Java byte code abstract interpreters, University of Cambridge, Logic and Semantics Seminar, Cambridge, England, Visiting positions January-February 2005 Collaboration with David Monniaux at École Normale Supérieure (Paris), in the Semantics and Abstraction Interpretation Team (team directed by Patrick Cousot). Subject : Formal proofs on symbolic manipulations of floating-point numbers. Summer 2000 and 2001 Collaboration with Yves Bertot, INRIA Sophia-Antipolis, Lemme team. Subject : Formalizing Convex Hulls Algorithms

5 Responsibilities Principal investigator of the ASCERT project (certified static analysis) founded by the french foundation Fondation de Recherche pour l Aéronautique et l Espace ( e for 3 years). This is a joint project with Patrick Cousot s team (ENS Paris), Xavier Leroy(INRIA Rocquencourt) and Bertrand Jeannet(INRIA Rhône- Alpes) Principal investigator of the CertLogs project (Software certificates) founded by the Brittany region ( e for 3 years) MC Member [IC0701 FR] to the european COST Action IC0701, Formal Verification of Object-Oriented Software now Co-responsible for the Component Based Embedded Software Track of the Research Master s Degree in Computer Science (M2R) of the University of Rennes 1. Advised Students Doctoral students Delphine Demange (2009-current) co-advised with Thomas Jensen Zhoulai Fu Laurent Hubert (2009-current) co-advised with Thomas Jensen (2007-2O10) co-advised with Thomas Jensen Graduate students (Master level) 2009 Delphine Demange 2008 François Dupressoir 2007 Benjamin Canou 2006 Laurent Hubert Undergraduate students 2009 Yann Salmon, Meven Car 2008 Léo Théodon 2007 Michael Armand Program committees 1. 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2011). 2. 1st International Conference on Interactive Theorem Proving (ITP 2010). 3. 8th International Conference on Integrated Formal Methods (IFM 2010). 4. 6th International Verification Workshop (VERIFY 2010). 5. (chair) 5th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTE- CODE 2010). 6. 3rd international Workshop on Proof Carrying Code and Software Certification (PCC 2009). 7. 4th Workshop on Bytecode Semantics, Verification, Analysis and Transformation(BYTECODE 09) th Nordic Workshop on Secure IT Systems (NordSec 2007).

6 Participation to Ph.D. committees 2009 Miguel Gómez-Zamalloa Gil, Transformation and Analysis of Object-Oriented Bytecode, Universidad Complutense de Madrid, Juin (external reviewer) 2008 Dorina Ghindici, Information flow analysis for embedded systems: from practical to theoretical aspects, University of Lille, December (external examiner) Reviewing 2010 ITP 10 (PC), BYTECODE 10 (PC chair), IFM 10 (PC), RP 10, SAS 10 (2 papers), VERIFY 10 (PC), Computational Geometry: Theory and Applications 2009 Mathematical Structures in Computer Science, BYTECODE 09 (program committee), VMCAI 09, SOFSEM 09, TAP 09, Software and Practice, PCC 09 (PC) 2008 FLOPS 08, SAS 08, CSF 08, RTA 08, TGC TYPES 07, TGC 07, Journal of Functional Programming, NORDSEC 07 (program committee), QSIC 07, ESORICS 07, 2006 AMAST 06, FLOPS 06, LOPSTR 06, FM 06, 2005 JPC 05, PASTE 05, BYTECODE 05 (2 papers), 2004 TYPES 04 (2 papers), CARI 04

Vincent Cheval. Curriculum Vitae. Research

Vincent Cheval. Curriculum Vitae. Research Vincent Cheval School of Computing University of Kent Canterbury, CT2 7NF, UK +44 (0)7479 555701 +44 (0)1227 823816 vincent.cheval@icloud.com homepage: www.cs.kent.ac.uk/ vc218/web Nationality : French

More information

Laboratoire d Informatique de Paris Nord, Institut Galilée, Université. 99 avenue Jean-Baptiste Clément, 93430 Villetaneuse, France.

Laboratoire d Informatique de Paris Nord, Institut Galilée, Université. 99 avenue Jean-Baptiste Clément, 93430 Villetaneuse, France. Domenico Ruoppolo CV Personal Information First Name Domenico. Last Name Ruoppolo. Date of Birth December 16th, 1985. Place of Birth Naples, Italy. Nationality Italian. Location Address Office B311. Contacts

More information

Ghost Process: a Sound Basis to Implement Process Duplication, Migration and Checkpoint/Restart in Linux Clusters

Ghost Process: a Sound Basis to Implement Process Duplication, Migration and Checkpoint/Restart in Linux Clusters INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Ghost Process: a Sound Basis to Implement Process Duplication, Migration and Checkpoint/Restart in Linux Clusters Geoffroy Vallée, Renaud

More information

Memory Consumption Analysis of Java Smart Cards

Memory Consumption Analysis of Java Smart Cards Memory Consumption Analysis of Java Smart Cards GERARDO SCHNEIDER University of Oslo - Norway Joint work with PABLO GIAMBIAGI (SICS, Sweden) Previous collaboration with DAVID CACHERA, THOMAS JENSEN AND

More information

Reasons to Believe: Digital Evidence to Guarantee Trustworthy Mobile Code

Reasons to Believe: Digital Evidence to Guarantee Trustworthy Mobile Code Reasons to Believe: Digital Evidence to Guarantee Trustworthy Mobile Code Ian Stark The University of Edinburgh fet09 23 April 2009 Prague Mobility, Ubiquity and Security Enabling proof-carrying code for

More information

Certifying the Security of Android Applications with Cassandra

Certifying the Security of Android Applications with Cassandra 1 15 th International School on Foundations of Software Security and Design August 31 st, 2015, Bertinoro Certifying the Security of Android Applications with Cassandra Steffen Lortz, Heiko Mantel, David

More information

EIT ICT Labs MASTER SCHOOL DSS Programme Specialisations

EIT ICT Labs MASTER SCHOOL DSS Programme Specialisations EIT ICT Labs MASTER SCHOOL DSS Programme Specialisations DSS EIT ICT Labs Master Programme Distributed System and Services (Cloud Computing) The programme in Distributed Systems and Services focuses on

More information

Fanny Dos Reis. Visiting Assistant Professor, Texas A&M University. September 2006 - May 2008

Fanny Dos Reis. Visiting Assistant Professor, Texas A&M University. September 2006 - May 2008 Fanny Dos Reis Positions Held Visiting Assistant Professor, Texas A&M University. September 2006 - May 2008 Visiting Assistant Professor, University of Lille 1, France. September 2004 - August 2006 Visiting

More information

Sarah M. Loos. Education. Research Interests. Fellowships. Honors/Awards

Sarah M. Loos. Education. Research Interests. Fellowships. Honors/Awards Computer Science Department, CMU 5000 Forbes Avenue Pittsburgh, Pennsylvania 15213 Phone: +1 812.606.7760 Email: sloos@cs.cmu.edu Website: www.cs.cmu.edu/~sloos Education Ph.D. Carnegie Mellon University,

More information

Europass Curriculum Vitae

Europass Curriculum Vitae Europass Curriculum Vitae Personal information Surname(s) / First name(s) Rodrigues, Vítor Address(es) Rua Dr. Pedro Augusto Ferreira, no. 61, Hab. 3.7 4200-440, Porto, Portugal Telephone(s) +351925720586

More information

Ornela Dardha Curriculum Vitae

Ornela Dardha Curriculum Vitae Ornela Dardha Curriculum Vitae +44 (0) 141 330 3754 Ornela.Dardha@glasgow.ac.uk Personal Data Name Ornela Dardha Date of birth 03/04/1985 Place of birth Berat, Albania Citizenship Albanian Phone +44 (0)

More information

Provably Secure Execution Platforms for Embedded Systems ---- The PROSPER Project. Mads Dam KTH Royal Institute of Technology

Provably Secure Execution Platforms for Embedded Systems ---- The PROSPER Project. Mads Dam KTH Royal Institute of Technology Provably Secure Execution Platforms for Embedded Systems ---- The PROSPER Project Mads Dam KTH Royal Institute of Technology Programvara för konkurrenskraft, SSF, Vinnova, 10 Feb 2015 The Evolving Security

More information

Short Curriculum Vitæ

Short Curriculum Vitæ Short Curriculum Vitæ July 2012 Personal details Name: António Maria Lobo César Alarcão Ravara Date and Place of birth: April 6, 1968, Lisbon, Portugal Nationality: Portuguese Affiliation: Research Center

More information

Fabien Hermenier. 2bis rue Bon Secours 44000 Nantes. hermenierfabien@gmail.com http://www.emn.fr/x-info/fhermeni/

Fabien Hermenier. 2bis rue Bon Secours 44000 Nantes. hermenierfabien@gmail.com http://www.emn.fr/x-info/fhermeni/ Fabien Hermenier 2bis rue Bon Secours 44000 Nantes hermenierfabien@gmail.com http://www.emn.fr/x-info/fhermeni/ Activities Oct. 2009 - Sep. 2010 : Post-doctoral researcher École des Mines de Nantes, ASCOLA

More information

Automatic Verification by Abstract Interpretation

Automatic Verification by Abstract Interpretation Automatic Verification by Abstract Interpretation (Invited tutorial) Patrick Cousot École normale supérieure, Département d informatique, 45 rue d Ulm, 75230 Paris cedex 05, France Patrick.Cousot@ens.fr

More information

Mikaël Cozic. Areas of specialization : rational choice theory, philosophical logic, cognitive sciences, philosophy and methodology of economics

Mikaël Cozic. Areas of specialization : rational choice theory, philosophical logic, cognitive sciences, philosophy and methodology of economics Mikaël Cozic Personal Information Born 03-06-1978 French citizenship Married, 1 child Contact Information Professional address: Département d Etudes Cognitives Ecole Normale Supérieure 45, rue d Ulm F-75005

More information

Europass Curriculum Vitae

Europass Curriculum Vitae Europass Curriculum Vitae Personal information Surname(s) / First name(s) Address(es) Custódio, Jorge Filipe Telephone(s) +351 919687707 Email(s) Personal website(s) Nationality(-ies) Rua Francisco Pereira

More information

EUPIDE 2008 Enterprise-University Partnership in Doctoral Education 12-13 June, Université Pierre et Marie Curie, Paris Conference program

EUPIDE 2008 Enterprise-University Partnership in Doctoral Education 12-13 June, Université Pierre et Marie Curie, Paris Conference program EUPIDE 2008 Enterprise-University Partnership in Doctoral Education 12-13 June, Université Pierre et Marie Curie, Paris Conference program Session 3 Workshop 2 DEVELOPING KNOWLEDGE OF ENTREPRISE Joël Monéger

More information

Curriculum Vitae. Jens Chr. Godskesen. IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark www.itu.

Curriculum Vitae. Jens Chr. Godskesen. IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark www.itu. Curriculum Vitae Jens Chr. Godskesen Date of Birth May 25, 1963 Position Address www Positions Head of Department IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark www.itu.dk/~jcg

More information

Curriculum Vitae. Géraldine Heilporn

Curriculum Vitae. Géraldine Heilporn Curriculum Vitae Géraldine Heilporn Géraldine HEILPORN Email: geraldine.heilporn@hec.ca Web: http://homepages.ulb.ac.be/ gheilpor/ Citizenship: Belgian. Permanent resident of Canada since May, 2008 Education

More information

CURRICULUM VITÆ. Education. Latest update : August 2015. Sanjay Ramassamy Graduate student at Brown University.

CURRICULUM VITÆ. Education. Latest update : August 2015. Sanjay Ramassamy Graduate student at Brown University. CURRICULUM VITÆ Latest update : August 2015 Sanjay Ramassamy Graduate student at Brown University. Address : Sanjay Ramassamy Box 1917 151 Thayer Street Providence, RI 02912 USA Webpage : http://www.normalesup.org/~ramassamy/

More information

CURRICULUM VITAE. 2006-2013 President of the Board of Directors of the Annales des Sciences Mathématiques du Québec.

CURRICULUM VITAE. 2006-2013 President of the Board of Directors of the Annales des Sciences Mathématiques du Québec. CURRICULUM VITAE François Huard Department of Mathematics Bishop s University, Sherbrooke, Québec Canada, J1M1Z7 819-822-9600 (2363) email:fhuard@ubishops.ca Languages: French, English. Citizenship: Canadian

More information

Advances in Programming Languages

Advances in Programming Languages Advances in Programming Languages Lecture 13: Certifying Correctness Ian Stark School of Informatics The University of Edinburgh Tuesday 4 November 2014 Semester 1 Week 8 http://www.inf.ed.ac.uk/teaching/courses/apl

More information

CURRICULUM VITAE. Igor V. Maslov. 1-24-17-6 Sasazuka, Shibuya-ku Phone: +81 (80) 54863304. Web: http://www.columbia.edu/~ivm3/

CURRICULUM VITAE. Igor V. Maslov. 1-24-17-6 Sasazuka, Shibuya-ku Phone: +81 (80) 54863304. Web: http://www.columbia.edu/~ivm3/ CURRICULUM VITAE 1 Igor V. Maslov Contact information 1-24-17-6 Sasazuka, Shibuya-ku Phone: +81 (80) 54863304 Tokyo 151-0073 E-mail: ivm3@columbia.edu Japan Web: http://www.columbia.edu/~ivm3/ Education

More information

Motivations 1. What is (or should be) the essential preoccupation of computer scientists?

Motivations 1. What is (or should be) the essential preoccupation of computer scientists? Improving Systems Quality Challenges and Trends An Abstract Interpretation Perspective Patrick COUSOT École Normale Supérieure 45 rue d Ulm, 75230 Paris cedex 05, France Patrick.Cousot@ens.fr www.di.ens.fr/

More information

DOCTORAL THESIS UEB MEMBER INSTITUTIONS. Registration Institution Logo. 9 founder members: Université de Bretagne Occidentale

DOCTORAL THESIS UEB MEMBER INSTITUTIONS. Registration Institution Logo. 9 founder members: Université de Bretagne Occidentale Registration Institution Logo DOCTORAL THESIS CHARTER Université européenne de Bretagne 5 bd Laënnec 35000 Rennes Tel: (33) (0)2 23 23 79 79 www.ueb.eu April 2010 UEB MEMBER INSTITUTIONS 9 founder members:

More information

THOURAYA TRIKI PERSONAL DETAILS. Address: E-mail: ttriki@hotmail.com Date of Birth: April 9 th, 1976 Citizenships: Tunisian, Canadian

THOURAYA TRIKI PERSONAL DETAILS. Address: E-mail: ttriki@hotmail.com Date of Birth: April 9 th, 1976 Citizenships: Tunisian, Canadian THOURAYA TRIKI PERSONAL DETAILS Address: E-mail: ttriki@hotmail.com Date of Birth: April 9 th, 1976 Citizenships: Tunisian, Canadian PROFESSIONAL EXPERIENCE January 2010- Present: Senior Research Economist,

More information

Seminal Research Articles in Programming Languages

Seminal Research Articles in Programming Languages Seminal Research Articles in Programming Languages Abstract The research articles listed here cover the period 1963 to the present. They are all important articles, and they are relevant to this offering

More information

MAP-I Programa Doutoral em Informática. Rigorous Software Development

MAP-I Programa Doutoral em Informática. Rigorous Software Development MAP-I Programa Doutoral em Informática Rigorous Software Development Unidade Curricular em Teoria e Fundamentos Theory and Foundations (UCTF) DI-UM, DCC-FCUP May, 2012 Abstract This text presents a UCTF

More information

Thomas Jeanjean. 2008 Associate Professor of Accounting, HEC School of Management

Thomas Jeanjean. 2008 Associate Professor of Accounting, HEC School of Management Thomas Jeanjean D ETAILS HEC School of Management 1 rue de la Libération 78351 Jouy-en-Josas CEDEX FRANCE Email: jeanjean@hec.fr Office tel: +33 1 39 67 72 86 French citizenship Married, three children

More information

The Spec# Programming System: Challenges and Directions

The Spec# Programming System: Challenges and Directions The Spec# Programming System: Challenges and Directions Mike Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs, K. Rustan M. Leino, Wolfram Schulte, and Herman Venter Microsoft Research, Redmond, WA,

More information

The degrees on offer at TELECOM Bretagne are internationally recognized. Higher Education Area (EHEA). Allocation of the 1160 students by degree

The degrees on offer at TELECOM Bretagne are internationally recognized. Higher Education Area (EHEA). Allocation of the 1160 students by degree Founded in 1977, TELECOM Bretagne is one of the most prestigious graduate engineering schools ("Grandes Écoles") in France. It is a public institution, under the aegis of the Ministry for Industry and

More information

List of publications and communications

List of publications and communications List of publications and communications Arnaud Dessein March 2, 2013 Chapters in books [1] Arnaud Dessein, Arshia Cont, and Guillaume Lemaitre. Real-time detection of overlapping sound events with non-negative

More information

Welcome to: M2R Informatique & MoSIG Master of ScienceSep. in Informatics 18, 2009 Joseph 1 / 1Fou

Welcome to: M2R Informatique & MoSIG Master of ScienceSep. in Informatics 18, 2009 Joseph 1 / 1Fou Welcome to: M2R Informatique & MoSIG Master of Science in Informatics Joseph Fourier University of Grenoble & Grenoble INP UFR IMAG http://www-ufrima.imag.fr & ENSIMAG http://ensimag.grenoble-inp.fr Sep.

More information

The Toulouse School of Economics - TSE offers three Masters 1 programmes:

The Toulouse School of Economics - TSE offers three Masters 1 programmes: Ecole d économie de Toulouse TSE Master 1 Programme 2014/2015 The Masters 1 programme at the Toulouse School of Economics - TSE provides graduates with a solid foundation in their field (economics, law,

More information

PROGRAM LOGICS FOR CERTIFIED COMPILERS

PROGRAM LOGICS FOR CERTIFIED COMPILERS PROGRAM LOGICS FOR CERTIFIED COMPILERS Separation logic is the twenty-first-century variant of Hoare logic that permits verification of pointer-manipulating programs. This book covers practical and theoretical

More information

CURRICULUM VITAE Stéphane VILLENEUVE

CURRICULUM VITAE Stéphane VILLENEUVE CURRICULUM VITAE Stéphane VILLENEUVE Born 25 February 1971 Married, Two children CRM-IDEI Université des Sciences Sociales Manufacture des Tabacs 21 allée de Brienne 31000 TOULOUSE Tél: 33 (0)5-61-63-57-27

More information

HU Yong. Département de Mathématiques,

HU Yong. Département de Mathématiques, HU Yong Département de Mathématiques Bâtiment 425, Université Paris-Sud 11 15 Rue George Clemenceau 91405, Orsay, France Telephone: +33 (0)1 69 15 57 82 Email: yong.hu2@math.u-psud.fr or hu1983yong@hotmail.com

More information

THE MOST SPECIALIZED DISCOVER GRADUATE SCHOOL MODELLING DATA, CREATING KNOWLEDGE MODÉLISER LES DONNÉES, CRÉER DU SAVOIR ASSOCIATED WITH INSEE

THE MOST SPECIALIZED DISCOVER GRADUATE SCHOOL MODELLING DATA, CREATING KNOWLEDGE MODÉLISER LES DONNÉES, CRÉER DU SAVOIR ASSOCIATED WITH INSEE MODELLING DATA, CREATING KNOWLEDGE MODÉLISER LES DONNÉES, CRÉER DU SAVOIR DISCOVER THE MOST SPECIALIZED GRADUATE SCHOOL From left to right: Julia upcoming Applied Statistical Internship in Singapore; Céline

More information

Welcome presentation 2012-2013

Welcome presentation 2012-2013 http://master.irisa.fr Welcome presentation 2012-2013 Isabelle Puaut, Valérie Gouranton m2r_resp@irisa.fr 1 Generalities Curriculum organization and structure Planning of the year Selection of core modules

More information

Master informatique 2 e année Spécialité Recherche en informatique - MRI

Master informatique 2 e année Spécialité Recherche en informatique - MRI Master informatique 2 e année Spécialité Recherche en informatique - MRI http://master.irisa.fr Welcome presentation 2014-2015 Sandrine Blazy, Valérie Gouranton, m2r_resp@irisa.fr 1 Outline Generalities

More information

An Automatic Reversible Transformation from Composite to Visitor in Java

An Automatic Reversible Transformation from Composite to Visitor in Java An Automatic Reversible Transformation from Composite to Visitor in Java Akram To cite this version: Akram. An Automatic Reversible Transformation from Composite to Visitor in Java. CIEL 2012, P. Collet,

More information

Numerical Methods for Fusion. Lectures SMF session (19-23 July): Research projects: Organizers:

Numerical Methods for Fusion. Lectures SMF session (19-23 July): Research projects: Organizers: CEMRACS 2010 Centre d Eté Mathématique de Recherche Avancée en Calcul Scientifique http://smai.emath.fr/cemracs/cemracs10/ Centre International de Rencontres Mathématiques (CIRM) Marseille, 19 July - 27

More information

LEVERAGING DEDUCTIVE VERIFICATION IN INDUSTRIAL CONTEXTS

LEVERAGING DEDUCTIVE VERIFICATION IN INDUSTRIAL CONTEXTS LEVERAGING DEDUCTIVE VERIFICATION IN INDUSTRIAL CONTEXTS CEA S SOFTWARE SAFETY LABORATORY 1995: LEAP FROM DYNAMIC TO STATIC CODE ANALYSIS! CAVEAT: ARCHITECTURE C source code VC Generator Formal specifications

More information

Curriculum Vitae. Professor Paul Lescot

Curriculum Vitae. Professor Paul Lescot Curriculum Vitae Professor Paul Lescot LMRS, CNRS UMR 6085 UFR des Sciences et Techniques Université de Rouen Avenue de l Université BP12 76801 Saint-Etienne du Rouvray FRANCE Phone (+33) (0)2 32 95 52

More information

ISA - Interoperability and Security Architecture

ISA - Interoperability and Security Architecture ISA Interoperability and Security Architecture A presentation by Julien Seligmann, COO, SmartJog SA HPA Technology Retreat 2006 International Developments in Digital Cinema ISA - Interoperability and Security

More information

Ph.D., Particle Physics Theory Thesis title: FCNC Processes of B and K Mesons from Lattice QCD University of Edinburgh October 1995 July1999

Ph.D., Particle Physics Theory Thesis title: FCNC Processes of B and K Mesons from Lattice QCD University of Edinburgh October 1995 July1999 Curriculum Vitae Date of Birth: 8 th April 1971 Nationality: Place of Birth: Work Address: Taiwanese Taipei City Institute for Physics National Chiao-Tung University Hsinchu 300 Taiwan Work Telephone:

More information

Summary. Grants. Publications. Peer Esteem Indicators. Teaching Experience. Administrative Experience. Industrial Experience

Summary. Grants. Publications. Peer Esteem Indicators. Teaching Experience. Administrative Experience. Industrial Experience Summary Grants Total amount of 32,535 in two Google Research Awards, for which I wrote proposals as the Principal Researcher. Publications Peer-reviewed journal papers accepted or in print: 3 Peer-reviewed

More information

M. Lamine BA Post-doc fellow

M. Lamine BA Post-doc fellow M. Lamine BA Post-doc fellow 212 rue de Tolbiac 75013 Paris, France H (+33) 6-66-80-75-60 B mouhamadou.ba@telecom-paristech.fr Í http://perso.telecom-paristech.fr/ ba Personal data January 4, 1984 Dakar,

More information

ICS Summer School 2016

ICS Summer School 2016 ICS Summer School 2016 Scientific Trends at the Interfaces Scientific Visualization Data Science Organisers: Pascal Frey, Patrick Gallinari, Agathe Guilloux, Sylvie Thiria, Julien Tierny July 18th August

More information

Ghizlane El Boussaidi http://pages.videotron.com/ghizlane/ 3207, boul. Lévesque Est Phone : (450) 661-4397

Ghizlane El Boussaidi http://pages.videotron.com/ghizlane/ 3207, boul. Lévesque Est Phone : (450) 661-4397 Ghizlane El Boussaidi http://pages.videotron.com/ghizlane/ 3207, boul. Lévesque Est Phone : (450) 661-4397 Laval, Québec, Canada email : gelboussaidi@gmail.com H7E 2P4 Citizenship: Canadian EDUCATION Ph.D.

More information

Scientific Curriculum Vitæ

Scientific Curriculum Vitæ Scientific Curriculum Vitæ Nicolas PRONOST Teaching Assistant in Computer Science in the Bunraku Project of the IRISA Laboratory (Rennes, France) until August, 1st 2007. Field of expertise: Computer animation

More information

Sergio.Fernandes@tecnico.ulisboa.pt IST/INESC-ID. http://fenix.tecnico.ulisboa.pt/homepage/ist14264 R. Alves Redol 9 Sala 132 1000-029 Lisboa PORTUGAL

Sergio.Fernandes@tecnico.ulisboa.pt IST/INESC-ID. http://fenix.tecnico.ulisboa.pt/homepage/ist14264 R. Alves Redol 9 Sala 132 1000-029 Lisboa PORTUGAL Sérgio Miguel Fernandes Sergio.Fernandes@tecnico.ulisboa.pt IST/INESC-ID http://fenix.tecnico.ulisboa.pt/homepage/ist14264 R. Alves Redol 9 Sala 132 1000-029 Lisboa PORTUGAL Curriculum Vitae Personal Data

More information

CURRICULUM VITAE. Sonali Sen Gupta

CURRICULUM VITAE. Sonali Sen Gupta CURRICULUM VITAE Sonali Sen Gupta Department of Economics, Management School, Lancaster University, Lancaster LA1 4YX. Tel: 01524594012, Email: s.sengupta@lancaster.ac.uk. Personal Webpage: http://www.lancaster.ac.uk/staff/sengupts/

More information

Curriculum Vitae of. Vicky G. Papadopoulou

Curriculum Vitae of. Vicky G. Papadopoulou Curriculum Vitae of Vicky G. Papadopoulou Personal Information Full Name: Vicky G. Papadopoulou Home Address: Odysseos 23, Strovolos, PO Box 2040, Nicosia, Cyprus Phones: Office: +357 22 713046 Email:

More information

Detailed CV. 2009 2012 Ph.D. degree, Télécom Bretagne, Brest, France. Evolutionary Computation, Combinatorial Optimization, Human-Computer Interaction

Detailed CV. 2009 2012 Ph.D. degree, Télécom Bretagne, Brest, France. Evolutionary Computation, Combinatorial Optimization, Human-Computer Interaction Sahbi BEN ISMAIL Ph.D. Student and Teaching Assistant in Computer Science 55 Rue de Béniguet, La Trinité 29280 Plouzané, France H +33 (0)6 70 38 31 71 T +33 (0)2 29 00 11 40 u +33 (0)2 29 00 10 30 B sahbi.benismail@telecom-bretagne.eu

More information

Overview presentation, CIEL, Bordeaux, 9 June 2015. Means Eidgenösische Technische Hochschule (German)

Overview presentation, CIEL, Bordeaux, 9 June 2015. Means Eidgenösische Technische Hochschule (German) Chair of Software Engineering, ETH Zurich Overview presentation, CIEL, Bordeaux, 9 June 2015 Bertrand Meyer 1 ETH Means Eidgenösische Technische Hochschule (German) The only federal university in Switzerland

More information

Visitor Information. Welcome to the EIT ICT Labs Co-Location Centre RENNES. contact-eitictlabs-rennes@irisa.fr +33 (0)2 23 23 65 07

Visitor Information. Welcome to the EIT ICT Labs Co-Location Centre RENNES. contact-eitictlabs-rennes@irisa.fr +33 (0)2 23 23 65 07 Visitor Information Welcome to the EIT ICT Labs Co-Location Centre RENNES contact-eitictlabs-rennes@irisa.fr +33 (0)2 23 23 65 07 The Rennes Satellite Node The EIT ICT Labs Rennes satellite co-location

More information

Curriculum Vitae Javier Gómez Serrano October 2012

Curriculum Vitae Javier Gómez Serrano October 2012 Curriculum Vitae Javier Gómez Serrano October 2012 Professional Status Instituto de Ciencias Matemáticas Consejo Superior de Investigaciones Científicas, C/Nicolás Cabrera, 15, Campus de Cantoblanco, 28049,

More information

Curriculum Vitae et Studiorum Dossier n. 48773. Cinzia Di Giusto

Curriculum Vitae et Studiorum Dossier n. 48773. Cinzia Di Giusto Curriculum Vitae et Studiorum Dossier n. 48773 Cinzia Di Giusto December 31, 2010 Personal Information: Date of birth: Nationality: Di Giusto, Cinzia Oct 17, 1979 in Udine, Italy Italian Home address:

More information

13004 Marseille FRANCE

13004 Marseille FRANCE February 19 2014 Curriculum Vitae Personal data Name Frédéric Deroïan Date of birth June 26 1972 Place of birth Mont-Saint-Aignan (Rouen) Citizenship French Marital status couple, 2 children Professional

More information

Security Requirements Analysis of Web Applications using UML

Security Requirements Analysis of Web Applications using UML Security Requirements Analysis of Web Applications using UML Salim Chehida 1, Mustapha kamel Rahmouni 2 1 Department of Informatics, University of Mostaganem, Algeria salimchehida@yahoo.fr 2 Department

More information

Outline. Towards Automatic Accuracy Validation and Optimization of Fixed-Point Hardware Descriptions in SystemC. Typical and Proposed Design Method

Outline. Towards Automatic Accuracy Validation and Optimization of Fixed-Point Hardware Descriptions in SystemC. Typical and Proposed Design Method Outline Motivations Towards Automatic Accuracy Validation and Optimization of Fixed-Point Hardware Descriptions in Arnaud Tisserand CNRS, IRISA laboratory, CAIRN research team SCAN 2010, September 27 30,

More information

Academic Curriculum vitae

Academic Curriculum vitae Academic Curriculum vitae Fabio Zanasi January 29, 2012 1 Personal details First name / Surname: Fabio Zanasi Place and date of birth: Modena, 17th of December 1988 Residency: Modena, via Selmi 66 Marital

More information

International Summer School on Embedded Systems

International Summer School on Embedded Systems International Summer School on Embedded Systems Shenzhen Institutes of Advanced Technology, Chinese Academy of Sciences Shenzhen, July 30 -- August 3, 2012 Sponsored by Chinese Academy of Sciences and

More information

Doctoral Education at UPMC

Doctoral Education at UPMC Doctoral Education at UPMC How to Create a Presentation Using the Graphic Standard Jean-Dominique Polack Director, Doctoral Education Institute Doctoral Education at UPMC focussing on career and skills

More information

Training Club. Patrick ERARD

Training Club. Patrick ERARD Training Club Patrick ERARD 2 MEMBERS OF TRAINING CLUB ANSSI : Mr Olivier Levillain DGA MI : Mr Dominique Chauveau Région Bretagne : Mrs Annie Audic Espace Interrégional Européen : Mr Frédéric Suche Académie

More information

Anca Nitulescu. PhD Student. Personal information. Occupational field. PhD in cryptography

Anca Nitulescu. PhD Student. Personal information. Occupational field. PhD in cryptography Anca Nitulescu PhD Student Personal information Address: Ecole Normale Supérieure, DI Paris, France Email: anca.nitulescu@ens.fr Occupational field Cryptography: Provable Security for Protocols I have

More information

FELLOWSHIPS, GRANTS, ACADEMIC AWARDS

FELLOWSHIPS, GRANTS, ACADEMIC AWARDS ALMINAS ŽALDOKAS +852 9176 1249 HKUST, Clear Water Bay, Kowloon, Hong Kong alminas@ust.hk www.alminas.com ACADEMIC EMPLOYMENT Hong Kong University of Science and Technology 2012 Assistant Professor of

More information

OLAP. Data Mining Decision

OLAP. Data Mining Decision Machine Learning Information Systems Data Warehouses Web & Cloud Intelligence OLAP Knowledge Management Data Mining Decision ENTREPÔTS, REPRÉSENTATION & INGÉNIERIE des CONNAISSANCES A multidisciplinary

More information

Report. WT2.10: ESIGETEL, Ecole Supérieure d Ingénieurs en Informatique et Génie des Télécommunications, France. Activities performed during the visit

Report. WT2.10: ESIGETEL, Ecole Supérieure d Ingénieurs en Informatique et Génie des Télécommunications, France. Activities performed during the visit WT2.10: ESIGETEL, Ecole Supérieure d Ingénieurs en Informatique et Génie des Télécommunications, France Report Activities performed during the visit in ESIGETEL Villejuif - Paris, FRANCE period: 6-11-2014-11-11-2014

More information

Towards the Industrial Scale Development of Custom Static Analyzers

Towards the Industrial Scale Development of Custom Static Analyzers Towards the Industrial Scale Development of Custom Static Analyzers John Anton, Eric Bush, Allen Goldberg, Klaus Havelund, Doug Smith, Arnaud Venet Kestrel Technology LLC 4984 El Camino Real #230 Los Altos,

More information

Séjours dans des centres de recherche

Séjours dans des centres de recherche Juin 2009 Olivier Gossner email: gossner@ens.fr www: http://ogossner.free.fr/ Paris School of Economics 48 Boulevard Jourdan 75014 Paris, France Formation Habilitation à diriger les recherches, 2004 Ph.D.

More information

Curriculum Vitae. Positions

Curriculum Vitae. Positions Curriculum Vitae Luca Castelli Aleardi Professional address : ULB, O8.114, CP 212, Bvd. du Triomphe, 1050 Bruxelles, Belgium Personal address : 52, rue du Couédic, 75014 Paris Tél. : +33 (0)6 63 66 01

More information

Sandra CAVACO CURRICULUM VITAE RESEARCH INTERESTS

Sandra CAVACO CURRICULUM VITAE RESEARCH INTERESTS Sandra CAVACO CURRICULUM VITAE Personal Information and Contact Professional address : Laboratoire d Economie Moderne (LEM) Université Panthéon-Assas (Paris 2) 92, rue d Assas 75270 Paris Cedex 06 Phone

More information

Master s Program in Statistics as Platform for Co-operation between University and Official statistics

Master s Program in Statistics as Platform for Co-operation between University and Official statistics Master s Program in Statistics as Platform for Co-operation between University and Official statistics Erkki Pahkinen Viitaniementie 30 A FIN-40720 Jyväskylä, Finland Pahkinen@cc.jyu.fi Risto Lehtonen

More information

FACULTY OF COMPUTER SCIENCE AND ENGINEERING CURRICULUM FOR POSTGRADUATE PROGRAMMES. (Master in Information Technology)

FACULTY OF COMPUTER SCIENCE AND ENGINEERING CURRICULUM FOR POSTGRADUATE PROGRAMMES. (Master in Information Technology) FACULTY OF COMPUTER SCIENCE AND ENGINEERING CURRICULUM FOR POSTGRADUATE PROGRAMMES (Master in Information Technology) MASTER IN INFORMATION TECHNOLOGY (MIT) CURRICULUM 1.1 Introduction This programme is

More information

Master's Degree Program in Computer Science

Master's Degree Program in Computer Science Master's Degree Program in Computer Science 1. Curriculum Title Master of Science (Computer Science) M.Sc. (Computer Science) 2. Degree Title Master of Science (Computer Science) M.Sc. (Computer Science)

More information

The CompCert verified C compiler

The CompCert verified C compiler The CompCert verified C compiler Compiler built and proved by Xavier Leroy et al. Talk given by David Pichardie - Harvard University / INRIA Rennes Slides largely inspired by Xavier Leroy own material

More information

Specification and Analysis of Contracts Lecture 1 Introduction

Specification and Analysis of Contracts Lecture 1 Introduction Specification and Analysis of Contracts Lecture 1 Introduction Gerardo Schneider gerardo@ifi.uio.no http://folk.uio.no/gerardo/ Department of Informatics, University of Oslo SEFM School, Oct. 27 - Nov.

More information

Ali Sezgin. IST Austria, Am Campus 1, Klosterneuburg 3400, AUSTRIA. Phone: (43)

Ali Sezgin. IST Austria, Am Campus 1, Klosterneuburg 3400, AUSTRIA.  Phone: (43) IST Austria, Am Campus 1, Klosterneuburg 3400, AUSTRIA asezgin@ist.ac.at http://pub.ist.ac.at/~asezgin/ Phone: (43) 2243 9000 3509 Education Ph.D., Computer Science, 1999 2004 University of Utah, Salt

More information

EDUCATION. 2004 DOCTORAL DEGREE IN FINANCE (Ph. D. FINANCE) UNIVERSITÉ LAVAL, QUEBEC 1997 MASTER OF SCIENCE IN ADMINISTRATIVE SCIENCES (M.SC.

EDUCATION. 2004 DOCTORAL DEGREE IN FINANCE (Ph. D. FINANCE) UNIVERSITÉ LAVAL, QUEBEC 1997 MASTER OF SCIENCE IN ADMINISTRATIVE SCIENCES (M.SC. FRANK COGGINS, Ph.D. Associated Researcher, CIRPÉE Assistant Professor of finance Faculty of Business 2500 boul. de l'université Sherbrooke Qc, J1K 2R1 CANADA (819) 821-8000 Ext : 65156 EDUCATION 2004

More information

ADAM CHLIPALA. Objective. Education. Software technologies. Not currently seeking employment

ADAM CHLIPALA. Objective. Education. Software technologies. Not currently seeking employment Cambridge, MA USA adamc@hcoop.net http://adam.chlipala.net/ ADAM CHLIPALA Objective Not currently seeking employment Education University of California, Berkeley Electrical Engineering and Computer Science

More information

Refinement of Security Protocol Data Types to Java

Refinement of Security Protocol Data Types to Java Refinement of Security Protocol Data Types to Java Holger Grandy, Kurt Stenzel, Wolfgang Reif E-Mail: {grandy, stenzel, reif}@informatik.uni-augsburg.de Abstract. In this paper we illustrate the mapping

More information

Computer Science. Master of Science

Computer Science. Master of Science Computer Science Master of Science The Master of Science in Computer Science program at UALR reflects current trends in the computer science discipline and provides students with a solid theoretical and

More information

Curriculum Vitae. Shan Shan Huang

Curriculum Vitae. Shan Shan Huang Curriculum Vitae Shan Shan Huang College of Computing Georgia Institute of Technology 266 Ferst Drive Atlanta, GA 30332-0765 Phone: (404)275-3312 Email: ssh@cc.gatech.edu http://www.freeflygeek.com Research

More information

1999 2004 Diploma (5-year degree), School of Applied Mathematics and Physics, NTUA (Greece) Major: Computer Science and Applied Mathematics.

1999 2004 Diploma (5-year degree), School of Applied Mathematics and Physics, NTUA (Greece) Major: Computer Science and Applied Mathematics. Curriculum Vitae Vassilis Zikas Postdoctoral Researcher, UCLA University of California, Los Angeles Los Angeles, CA 90095-1596 +1 (424) 781-7942 vzikas@cs.ucla.edu www.cs.ucla.edu/~vzikas Education 2006

More information

B. Delyon. Stochastic approximation with decreasing gain: convergence and asymptotic theory. Unpublished lecture notes, Université de Rennes, 2000.

B. Delyon. Stochastic approximation with decreasing gain: convergence and asymptotic theory. Unpublished lecture notes, Université de Rennes, 2000. Some References Laetitia Andrieu, Guy Cohen and Felisa J. Vázquez-Abad. Gradient-based simulation optimization under probability constraints. European Journal of Operational Research, 212, 345-351, 2011.

More information

Michael R. Clarkson Curriculum Vitae

Michael R. Clarkson Curriculum Vitae Michael R. Clarkson Curriculum Vitae February 20, 2015 Department of Computer Science Office phone: 607-255-0278 Cornell University Fax: 607-255-9143 461 Gates Hall clarkson@cs.cornell.edu 107 Hoy Road

More information

Call for papers. Experiential marketing applied to watchmaking

Call for papers. Experiential marketing applied to watchmaking 7 th Journée de Recherche sur Marketing Horloger (JRMH) (Symposium of Applied Research on Watchmaking Marketing) www.marketinghorloger.ch Call for papers The Association des Journées Internationales du

More information

Minkowski Sum of Polytopes Defined by Their Vertices

Minkowski Sum of Polytopes Defined by Their Vertices Minkowski Sum of Polytopes Defined by Their Vertices Vincent Delos, Denis Teissandier To cite this version: Vincent Delos, Denis Teissandier. Minkowski Sum of Polytopes Defined by Their Vertices. Journal

More information

Automated Theorem Proving - summary of lecture 1

Automated Theorem Proving - summary of lecture 1 Automated Theorem Proving - summary of lecture 1 1 Introduction Automated Theorem Proving (ATP) deals with the development of computer programs that show that some statement is a logical consequence of

More information

OUTILS DE DÉMONSTRATION

OUTILS DE DÉMONSTRATION OUTILS DE DÉMONSTRATION AUTOMATIQUE ET PREUVE DE CIRCUITS ÉLECTRONIQUES Laurence Pierre Laboratoire TIMA, Grenoble PREAMBLE Design/validation of embedded applications: Design/validation for the system

More information

B.Sc. in Computer Engineering, School of Electrical and Computer Engineering,

B.Sc. in Computer Engineering, School of Electrical and Computer Engineering, Narges Khakpour Postdoctoral Researcher Theoretical Computer Science School of Computer Science and Communication Royal Institute of Technology (KTH) Stockholm E-mail: nargeskh@kth.se Leiden Institute

More information

Curriculum Vitæ of Olivier LAMOTTE

Curriculum Vitæ of Olivier LAMOTTE UNIVERSITÉ DE TECHNOLOGIE DE BELFORT-MONTBÉLIARD Curriculum Vitæ of Olivier LAMOTTE OLIVIER LAMOTTE Ref.: CV-LAMOTTE-EN-2015-I2 Ver.: 1.0 Date: 2015/08/24 Status: Public Laboratoire Systèmes et Transports

More information

Curriculum Vitae RELEVANT EXPERIENCE. September 2012- April 2013: Dean Assistant for quality assurance. University of Jordan

Curriculum Vitae RELEVANT EXPERIENCE. September 2012- April 2013: Dean Assistant for quality assurance. University of Jordan Curriculum Vitae Shereen Mousa Kakish Assistant Professor of Contemporary French Literature Mobile: 00962 (0) 77 5822766 E-mail: shereen2281@yahoo.com/ shereen.kakish.1@ulaval.ca/ s_kakish@ju.edu.jo RELEVANT

More information

Computer Science Information Sheet for entry in 2016. What is Computer Science?

Computer Science Information Sheet for entry in 2016. What is Computer Science? Computer Science Information Sheet for entry in 2016 What is Computer Science? Computer Science is about understanding computer systems and networks at a deep level. Computers and the programs they run

More information

Tableaux Modulo Theories using Superdeduction

Tableaux Modulo Theories using Superdeduction Tableaux Modulo Theories using Superdeduction An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover Mélanie Jacquel 1, Karim Berkani 1, David Delahaye 2, and Catherine

More information

Jonathon T. Giffin. Research Interests. Education

Jonathon T. Giffin. Research Interests. Education Jonathon T. Giffin University of Wisconsin USA Office: +1 (608) 262-6625 Mobile: +1 (608) 772-3663 Fax: +1 (608) 262-9777 giffin@cs.wisc.edu http://www.cs.wisc.edu/~giffin/ Research Interests My primary

More information

OUR WORK takes place in the process described in [2]

OUR WORK takes place in the process described in [2] Reverse-engineering of UML 2.0 Sequence Diagrams from Execution Traces Romain Delamare, Benoit Baudry IRISA / INRIA Rennes Campus Universitaire de Beaulieu Avenue du Général Leclerc 35042 Rennes Cedex

More information