I worked with Professors V. Braberman, N. D’Ippolito, and S. Uchitel on the usage of synthesis for software engineering. Particularly, we were studying how can MTS be used as a data structure for exploration of unknown settings and synthesis over the MTS as a guide for exploration that in addition guarantees the delivery of required goals under some given conditions. Furthermore, we were studying alternative modes of synchronization and suggest a new synthesis algorithm and enactment framework that would be more amenable for implementation of devices rather than programs.