Welcome to my new website. Please have a look around, any
feedback is much appreciated.
Our paper about formalizing goal serializability has been
accepted in JELIA 2016.
My PhD thesis has been published by ProQuest.
Successfully defended my PhD dissertation. No further
comments from PhD dissertation committee. Thanks to my great
advisor, Prof. Michael Kifer.
Phone: +1 631 632 5964
Email: rbasseda at cs dot stonybrook dot edu