I am an Assistant Professor of Computer Science at The University of Texas at Arlington.

For Alloy, I work on methodologies to test, debugging and synthesize Alloy models (with a sprinkle of efforts to find more “interesting” instances).