Welcome! 👋
I am Samiro, a German mathematician in theoretical computer science working mostly independently on deontic logic and proof theory, currently focussing on proof minimization in Hilbert systems. I studied and graduated in computer science at RWTH Aachen University, which now supports some of my work in the form of computing time projects.
- 🔭 Do you see the beauty in Hilbert systems? Then you might want to join my proof minimization challenge! ✨
- 👯 I am involved with Metamath's mmsolitaire project and its shortest known proofs database.
- 💫 I am enthusiastic about modern and well-written C++, especially in the context of high-performance computing.
- 💬 Feel free to contact me about any of my interests mentioned here.
- 🚫 I do not jump on hype trains for languages that compromise freedom, beauty and productivity for safety.
- 🤔 Having Asperger's syndrome, I am neither flexible in my interests, nor willing to compromise my areas of work for money, prestige, or a career. So until I find people with similar interests, I will keep working on my own projects in solitude.