I’m a model-based systems engineering researcher with GA Tech Research Institute. I use Alloy for research related to formal timing semantics for behavior models. The long-term goal is automated semantic conformance-checking for behavior models. My more “applied” research involves building enterprise and systems models and setting up trade studies based on those models.