He is currently a visiting scholar at FSL working with Grigore Rosu. ==Research areas== Programming Languages, Software Engineering, and Formal Methods.