Anouar EL GAZRI

Junior Researcher

Anouar is a visiting student and working on verification of various reliability and security properties of Kalman's filter implementation in C. Originally, Anouar is an engineering student in the Polytechnic School at the University of Orléans, specializing in Physical Engineering and Embedded Systems in his third year post-high school. He has successfully completed an integrated two-year preparatory class studying mathematics, computer science, and physics. He has skills in software development, encompassing C++, Qt Creator, PHP, HTML/CSS, MySQL, Python, and C#. He is an enthusiastic person with a passion for his work. His various computing projects include creating a blog website using HTML/CSS, PHP, and MySQL, as well as developing a cash register software on Debian with a C++ Qt Creator graphical interface. Anouar has also contributed to a project involving the creation of a laser target using an Arduino board, photoresistors, and lasers.

His research interests and skills include:

• hardware design
• hardware security
• verification and analysis