Welcome to my academic journey
Due to the lack of presence on social media, I figured a blog would be better to confirm that I am indeed a real person, a reasonable one at that (or at least I hope so). I might randomly ramble at given points, expect french or english writings depending on the weather.
Samar Rahmouni
Master's Student
École Polytechnique, Paris
"The future is neurosymbolic ——"
Current Research
IS4 Decidability in Coq
Formalizing decidability proof for intuitionistic modal logic
INRIA SaclayQuick Stats
Research Highlights
View All Projects →Proof Search in BV Logic
2024OCaml implementation for proof search in Pomset and BV logic using graph cycles.
RL Domain Oracle
2022Domain-informed module for reward shaping in reinforcement learning using logic programming.
Category Theory Proof Assistant
2023Equational graphical language for categories with type system formalization.
About Me
A few things that define my academic and personal interests
Computer Science B.S.
Carnegie Mellon University
Concentration in Programming Languages
Research Focus
Formal verification, logic programming & proof theory
AI & Machine Learning
Reinforcement Learning & Symbolic AI believer
Personal Interests
Education Timeline
Master's in CS Research
École Polytechnique
2023 - Present
B.S. Computer Science
Carnegie Mellon
2018 - 2023
Recent Posts
View All Posts →The Medication Journey
A personal reflection on the complex relationship with psychiatric medication and the ongoing journey of finding balance in mental health treatment.
Life in France
Reflections on academic life and cultural experiences during my time in France. Finding balance after difficult times and discovering new mathematical abstractions.
Burn-out
Personal thoughts on academic burnout and the unsustainable culture of American university life. Recognizing burnout as a natural response to systemic pressures.