Yannick Zakowski

Thanks to a cursus going through preparatory classes, then one of the most highly selective examination in France, I'm today specializing in computer science, with a solid background in mathematics. Here are detailed the formation I had in the ENS. You might also want refer to my Curriculum Vitae.

2013 / 2014

One year internship at the Aarhus University, in the Logics and Semantics group, under the supervision of Lars Birkedal and Filip Sieczkowski .

2012 / 2013

ENS Cachan, Brittany Extension - MIT3 / University of Rennes 1 - Research master's degree in computer science.

Second Semester

• 5-month internship in the project-team Celtique, INRIA / ENS / CNRS Rennes- Bretagne Atlantique, entitled: "Generation of polynomial inequalities as invariants".

First Semester

• Mechanized Semantics
• Introduction to Distributed Computing
• Program Analysis for Software Security
• Advanced Techniques in Verification
• Distributed Algorithms and Distributed Computability
• Performance evaluation
• Scalable Distributed Systems
• Cryptography, and Cryptographic Protocols

2011 / 2012

ENS Cachan, Brittany Extension - MIT2 / University of Rennes 1 - Computer Science Master.

Second Semester

• AASR : Algorithmic approach to applications and distributed systems. Michel Raynal.
• MVFA : Formal check and Validation. Sophie Pinchinat and Axel Legay.
• TI : Information Theory. Aline Roumy.
• Math4 : Numerical optimization ; cryptography and primality. Rozenn Texier-Picard and Jeremie Leborgne
• BDA : Advance Databases. Virginie Sans.
• Optique : Introduction to LASER's physic. Olivier Emile
• REPR : Networks and protocols. Cesar Viho.
• XTRA : Research training. Sophie Pinchinat and Thomas Genet.
• English.
• Proj : Collective development project

First Semester

• SEM : Semantic. David Cachera.
• ELEC1 : Radiating systems and antennas. Ronan Sauleau.
• TS : Signal theory and filtering. Jean-Jacques Bellanger.
• CVFP : Object analysis, conception and modal logics. Francois Schwarzentruber.
• COMP : Compilation. Sebastien Ferre.
• MEPS : Performance evaluation modeling and dependability analysis. Bruno Sericola.
• XTRA : Research training . Sophie Pinchinat et Thomas Genet.
• Proj : Collective development project
• English.

2009 / 2010

I followed during this year two cursuses at the same time, in computer science and mathematics. ENS Cachan, Brittany Extension - MIT1 / University of Rennes 1.

Computer science

Second Semester

• Prog2 : Algorithms and advanced programming.
• Algo2 : Advanced algorithms.
• LC : Logic and computability.
• ArcSys2 : Architecture and operating systems.
• IMA : Image analysis.
• MATH2 : Probability theory and statistics.
• XTRA : Research training.
• ELC : Electronics.
• English.

First Semester

• Prog1 - Introduction to programming.
• Algo1 - Algorithms.
• LF - Formal languages.
• CRES - Introduction to network theory and protocols.
• ArcSys1 - Architecture and operating systems.
• ELMG - Electromagnetism and optics.
• English.

Mathematics

Second Semester

• Lebesgue's integral and probabilities.
• General topologie.
• Arithmetic.
• Numerical linear algebra.

First Semester

• Differential calculus and holomorphic functions.
• Normed vector spaces.
• Lebesgue and Fourier