whoami
Rayen Manai

Rayen Manai

Software Engineering Elite Graduate Program Student

Working Student Software Developer at adesso SE

Welcome to my digital realm, where bits and bytes come to life and algorithms dance in harmony. With a curious mind and a drive to excel, I am committed to pushing boundaries, exploring new frontiers, and harnessing the power of innovation. Join me on this journey as I showcase my endeavors, projects, and aspirations in the world of computer science.

Work Experience

01/2024 - present: Working Student: Software Developer at adesso SE

  • Fullstack development and testing responsibilities within a Scrum methodology framework
  • Completion of various full stack development trainings: Spring Boot, Angular, Docker

06/2023 - 12/2023: Working Student: IT Administration at TAP SG

  • IT Support: Troubleshooting and providing technical support
  • Deployment of Security Policies
  • M365 Tenant Administration
  • IT Documentation
  • Creating and managing system permissions
  • Monitoring

10/2022 - 04/2023: Assistant Teacher, Technical University of Munich, Discrete Structures

  • Weekly tutorials
  • Homework correction
  • Exam correction

Education

2024 - 2026: Software Engineering - Elite Graduate Program

  • Elite Program from the three universities (TUM, LMU, UniA) geared towards the top 2 percent of students in computer science
  • Focus on Software Engineering, Database Systems and Formal Methods
  • One of the 21 students to get accepted out of more than 1000 applicants

2021 - 2024: B.Sc. Computer Science

  • Technical University of Munich
  • Graduation Grade: 1.5
  • Application Subject: Mathematics

2020 - 2021: German Language Course

  • Leibniz University Hannover, Lower Saxony Preparatory Foundation
  • University Entrance Exam, Grade: 1.1

2016 - 2020: Elite High School in Tunisia with focus on Mathematics

  • Top 10 of the year, Grade: 1.16 (Tunisia)
  • Top of the year in my region (Jendouba)
  • Awarded a Scholarship from the Tunisian Government in cooperation with the DAAD

Software Engineering - Elite Graduate Program @TUM, LMU, UniA

Curriculum
( Link )

1.Semester

Project Management

Software Engineering

Formal Methods

Database Systems

Soft Skills Trainings (Teamwork and conflicts in teams, Presentation techniques and Authors workshop)

Bachelor of Science Informatics @TUM

Curriculum
( Link )

1.Semester

Diskrete Strukturen

EinfĂźhrung in die Informatik & Grundlagenpraktikum: Programmierung

Einführung in die Rechnerarchitektur 👨‍💻

Deutsch im Bachelorstudium C1 - Informatik: Wissenschaftliche Texte verstehen und schreiben

2.Semester

EinfĂźhrung in die Softwaretechnik

Grundlagen: Algorithmen und Datenstrukturen

Funktionale Programmierung und Verifikation

Lineare Algebra fĂźr Informatik

Grundlagenpraktikum: Rechnerarchitektur

3.Semester

Grundlagen: Datenbanken

Grundlagen: Betriebssysteme und Systemsoftware

IT-Sicherheit

Analysis fĂźr Informatik

Numerisches Programmieren

Concepts of C++ programming

4.Semester

Grundlagen: Rechnernetze und Verteilte Systeme

EinfĂźhrung in die Theoretische Informatik

Diskrete Wahrscheinlichkeitstheorie

Modellbildung und Simulation (Fokus Analysis)

Seminar: Computational Methods for X-ray Computed Tomography

5.Semester

Applied Regression

Bachelor-Praktikum - Scientific Computing (PSE) Molekulardynamik

Fundamentals of Artificial Intelligence

Netzsicherheit

English for Academic Purposes: Gateway to English Master's C1

6.Semester

Bachelor's Thesis: Evaluation of Methods for Enhancing the Integrity of Web Applications

Security Engineering

Introduction to Data Science and Statistical Thinking

Bachelor's Thesis

Evaluation of Methods for Enhancing the Integrity of Web Applications

Unlike downloadable mobile apps, which are usually packaged and signed, giving providers control over the usage of their signing key, web applications are served directly to users upon request. This exposes users to potential risks, as malicious actors could serve altered JavaScript code with harmful intent. Existing security policies often overlook scenarios where the main application server is compromised, particularly when an attacker gains control over a system terminating TLS connections, compromising end-to-end integrity between the client and content owner. This thesis aims to evaluate and compare existing solutions for addressing these attack vectors, establish criteria for evaluation, and propose an abstract solution with a practical implementation to demonstrate its effectiveness.

Read More

Skills & Projects

Languages and Frameworks


Database and Infrastructure


Development Tools and Practices


Introduction to VCS & Git

I created this article after learning about Git and GitHub on Coursera. It's a simple guide that teaches the basics of version control. Using easy examples, it shows how Git tracks changes in projects. This helps people work together on code efficiently.

Person

Ferienakademie 2022

Modern Approaches to Optimization and Verification in Computer Science:

I presented a 30-minute talk on deductive verification. I explained how deductive verification ensures software correctness using formal proofs and logical reasoning. Sharing real examples, I highlighted its importance in enhancing software reliability and contributing to computer science optimization and verification.

Seminar X-ray Computed Tomography

I presented a one-hour lesson where I gave an Introduction to X-ray computed tomography and the basic mathematics needed for it. This work is based on the first three chapters of the book Computed Tomography: Algorithms, Insight, and Just Enough Theory by Per Christian Hansen, Jakob Sauer Jorgensen, and William R.B. Lionheart.

Ferienakademie 2023

Computational Medical Imaging:

I presented a 30-Min Talk about Backpropagation and training Neural Networks.
Projects: implementation of an autograd engine(micrograd) / regularized iterative reconstruction for X-ray CT.
The course focuses on advanced image processing tasks like tomographic reconstruction and the synergy between deep learning and classical variational methods in medical imaging.

Developing a Molecular Dynamics Simulation

Bachelor Practical course PSE Molecular Dynamics:

Particle Representation: Implementation of particle representations.
Force Calculation: Algorithms for computing inter-particle forces.
Output and Visualization: Output formats and tools for visualizing simulation results.
This course specializes in the integration of best practices in software engineering with the focus on optimizing scientific computations for conducting molecular dynamics simulations.

Used Technologies: C++, CMake, CI, GoogleTest, Doxygen, spdlog, OpenMP

About me

whoami

Hey! I’m Rayen, a computer science student from Tunisia, currently in my first semester at the Software Engineering elite graduate program. Living in Germany and diving deep into the world of tech has been an exciting journey filled with challenges, learning, and growth.

Why creating this website ?

It all started with a YouTube video by Chuck Keith (NetworkChuck). He said something that really stuck with me: "You could be that person for someone else, and even if you inspire just one person, it’s worth it." This website is my way of doing just that—sharing my experiences, habits and insights. It’s also a personal project where I’m putting what I’ve learned into practice. Whether it's coding, study hacks or inspiration, I hope you find something here that resonates with you.

Beyond the Code

Life isn't just about computer screens and algorithms! When I'm not coding, you’ll likely find me at the gym working out, traveling to new places, or watching football games. I’m also a fan of League of Legends. I used to play quite a bit when I was younger, but now I just enjoy chilling and watching the competitions. And of course, I’m always down for a good concert.