English for Speakers of Other Languages (ESOL) (Cambridge University): First Certificate in English (FCE).International English Language Testing System (IELTS): Min.Test of English for International Communication (TOEIC) (10-990 Pts.): 785 Pts.Test of English as a foreign Language (TOEFL)* Internet based (0-120 Pts.): Min.The foreign language must have been the primary language of instruction at the university (or study program) or at a higher education institution over at least two years. University certificates or certificates from other higher education institutions The foreign language must be documented over at least 5 years, up to the degree which entitles university entrance. May 2010 – Aug.Main Content Foreign Language Skills at Level B2 of the "Common European Framework of Reference for Languages of the Council of Europe"įoreign language skills are evidenced by school reports, university certificates or language certificates. Technische Universität München: Chair for logic and verification (Prof. Ludwig-Maximilians-Universität München: Chair for programming and modelling languages (Prof. Ludwig-Maximilians-Universität München: Chair of computer science (Prof.
2014 | Luxembourg, Luxembourg Work Experience Universität der Bundeswehr München: Research Institute Cyber Defence (CODE)įeb. 2015 | Eugene, Oregon, United States VTSA 2014: Summer School on Verification Technology, Systems & Applications 27 Oct. 2017 | LMU Munich, Germany OPLSS 2015: Oregon Programming Language Summer School 15 Jun. 2018 | Amsterdam, The Netherlands TutorPlus: Basis-Zertifikat Apr. 2018 | Amsterdam, The Netherlands Matryoshka 2018 : First European Workshop on Higher-Order Automated Reasoning 25 Jun. 2018 | Princeton, New Jersey, United States WAIT 2018: Fourth International Workshop on Automated (Co)inductive Theorem Proving 28 Jun. 2019 | Amsterdam, The Netherlands DSSS 2018: DeepSpec Summer School 16 Jul.
2019 | Herrsching, Germany Lean Together 2019 7 Jan. 2008–Mai 2011 | Trois-Rivières, Québec, CanadaĮxtra-Academic Background PC 2019: Autumn school "Proof and Computation" 70 Sep. 2018 | Munich, Bavaria, GermanyĪverage grade (German system): 1.20 (120 ECTS) Christoph Weidenbach Universität der Bundeswehr Münchenįeb. 2021– | Saarbrücken, Saarland, GermanyĬosupervisor: Dr. D., Lorenz Panny, Andrei Popescu, and Dmitriy Traytel, Isabelle 2014 Release Academic Background Max-Planck-Institut für Informatik
Thesis, École de technologie supérieure, 2014 Defining (Co)datatypes in Isabelle/HOL Jasmin Christian Blanchette, M. Automatische statische Kosten-Analyse für parallele Programme M.Sc Seminar, Ludwig-Maximilians-Universität München, 2017 Formalizing Types and Programming Languages in Isabelle/HOL B.Eng. O Kunčar, A Lochbihler, F Meier, L Panny, A Popescu, C Sternagel,ġ1th International Symposium on Frontiers of Combining Systems, 2017 Stefan Brunthaler Language: English : Control-Flow Integrity : Software Diversity, part 1 : Software Diversity vs BROP, COOP, JIT-Spraying : Side Channels, Spectre & Meltdown Publications Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais Conference on Automated Deduction (CADE) 2021 Towards Efficient and Verified Virtual Machines for Dynamic Languages Martin Desharnais, Stefan Brunthaler Certified Programs and Proofs (CPP) 2021 A Generic Framework for Verified Compilers Using Isabelle/HOL's Locales Martin Desharnais, Stefan Brunthaler Isabelle Workshop 2020 A Generic Framework for Verified Compilers Using Isabelle/HOL's Locales Martin Desharnais, Stefan Brunthaler Journées Francophones des Langages Applicatifs (JFLA) 2020 Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic J Biendarra, J C Blanchette, A Bouzy, M Desharnais, M Fleury, J Hölzl, course at Universität der Bundeswehr München, Germany Main lecturer: Prof. Stefan Brunthaler Language: German Weekly exercices Language-based Security (Summer 2019) M.Sc. Teaching Maschinennahe Programmierung Übung (Winter 2021) B.Sc. My main fields of interest are programming languages, type systems,įunctional programming, formal verification, and static analysis. in Software Engineering at the École de technologie supérieure (Canada). at the Ludwig-Maximilians-Universität München (Germany) and a B.Eng. I am a PhD student in computer science at the Max-Planck-Institut für Informatik (Germany).īefore that, I concluded a M.Sc.
0 kommentar(er)
