fer
I am a post doc at School of Computer Science at
Carnegie Mellon University with Professor
Edmund M. Clarke.

I just finished my PhD at Computer Science Department of University of Illinois at Urbana-Champaign. My adviser is Professor José Meseguer.