About

I’m Zeina. Third year PhD student at the University of California, Los Angeles, advised by Prof. Jens Palsberg. I am studying fundamental aspects of gradually typed systems. Currently, I am interested in automating the task of making a gradually typed program as static as possible.