Nowar Kazem Hello! My name is Nowar Kazem and I am a master's student at École Normale Supérieure de Rennes and University of Rennes in computer science and mathematics.

About me

Main Interest and Research

I am particularly interested in theoretical computer science rather than programming. More specifically, my interests lie in applied algebra in computer science, including computer algebra, algebraic complexity, cryptography, coding theory, complexity theory , as well as logic, semantics, and information theory

I did two research interships.

• Graph rewriting for ceremony verifcation

  This is an ongoing master’s project conducted one day per week, supervised by Barbara Fila and Saša Radamirović. The project focuses on the automatic security verification of ceremonies, a formalism that generalizes protocols in order to account for all relevant factors, in particular human interactions. We are now working on implementing a proof of concept using C++ programming language.

• Decidability of deadlock-freedom of RSC system

  This internship was supervised by Thierry Jéron and Loïc Germerie Guizouarn. It focused on proving the decidability of verifying a specific property—deadlock freedom—for RSC systems, a subclass of distributed systems. The report is available here.

Project

Although I am mainly interested in theoretical computer science, I also enjoy programming. I like low-level programming languages and discovering the ideas behind new programming languages. I enjoy working with C and C++, and I have started to appreciate Rust after working on a project with it. I have completed several school and personal projects. Through both academic and personal work, I have completed several projects, including:

- NACHOS: An academic project focused on completing and extending an educational operating system.
- Several game implementations in C++, including Igel Ärgern and Deep Diep.
- Inferatrice: A group project (three students) consisting of the implementation of an inference engine in OCaml. Given a set of inference rules, the system is able to prove derived results.
- An attempt to build a calculator inspired by the Magma computer algebra system.

Competitions

I participated in the Syrian National Olympiad in 2019, where I ranked 17th in the country.

I also took part in the French Concours for the Grandes Écoles. In the computer science section, I was ranked 23rd for the ENS competition and was accepted to ENS Lyon and ENS Paris-Saclay.

Hobbies

I enjoy sports and usually train between one and two hours daily. I run four times a week and do calisthenics three times a week. In addition, I play football and go cycling with friends from school. I also enjoy hiking. I have officially completed a marathon in October 2025, finishing in three and a half hours, and I am currently preparing for a half-marathon with a target time of 1 hour 27 minutes. I am also an active Strava user.

Beyond sports, I love writing, mostly in Arabic and occasionally in French. I am passionate about the Arabic language. I also enjoy philosophy and read extensively.

Contact