Description: Master's Candidate and Fulbrighter
blog (30164) lebanon (1220) sinan (15) sinan morcel war on ignorance constant war on ignorance
Thanks for checking out my website!
I am a Graduate Student at WPI studying Robotics Engineering. My research focuses on technology that enables Automatic Code Synthesis with correctness guarantees and minimal specification-effort.
My interests took me on a tools and framework discovery and assessment journey, so far, that goes from a Formal Methods tool called Alloy, to Refinement Calculus powered by Theorem Provers, to a tiny-bit of the proof-assistant Coq and Decidable Refinement Types. I have yet to explore more of the state-of-the-art regarding Software Synthesis, and so far, I am loving it!