Experience
    Education
    Bio
    My research interests are in Software Engineering, specifically software and systems modeling, modeling languages, and formal methods. I have recently worked on synthesis of structure and behavior, differencing, log analysis, model inference, and model-based testing.