MAPPING \\ THE
•••• INTELLIGIBLE \\ TO
THE SENSIBLE
A Mathematician and Developer exploring boundaries between abstraction and experience
I like to build systems where logic finds shape and structure meets design
Research
++I seek structures that reveal more than they resolve
Current
* Nondeterministic Type Theory
* Homotopy Type Theory
* Interaction Nets
* Linear Logic
Prior
* Kleene Algebra
* Computation Complexity Theory
* Prediction Markets
* Philosophy of Science
Development
&&Development is a way to make abstract ideas move respond and sometimes even resonate
Book of Mathematics
* My Magnum Opus
* Currently in Development
Book of History
* Nondeterministic Type Theory
* Interaction Nets
* NEO4J
* Postponed
Mahler's Hammer
* Cryptography
* Postponed
Tech Stack
60Featured Work
06Let's Connect
Contact
* mert.coskun (a) metu.edu.tr
* howionwastaken (a) gmail.com
* +90 534 634 0134
Available For
* Collaboration
* Research
* Consulting
* Just Chat \ EN \ TR
Socials