Our lab is not only about research: we do a lot of development using Java, Python, Javascript, Haskell and other languages in combination with advanced libraries and frameworks. This development experience was very helpful during my job interviews, and employers were impressed by the projects we develop here in the lab.

# Zinovy Diskin, Ph.D.

**Research Associate**

Room: DC 1340

Email: zdiskin-at-gsd.uwaterloo.ca

- My area of expertise is formal semantics and algebraic models for constructs and concepts used in MDE, particularly metamodeling, multimodleing and model management. Resume can be found here.

I am cross-appointed in the Department of Computing and Software at McMaster University as

**Senior Research Scientist**with the NECSIS Project.

**News**

- 1 of 3
- ››

# Projects

# Activities

# Publications

*Modeling Product Lines with Kripke Structures and Modal Logic,*, no. GSDLAB–TR 2015-04-01, Waterloo/Hamilton, University of Waterloo, ECE, April, 2015. [pdf]

*TomMaibaum-Photo,*, 2015. [jpg]

*ZinovyDiskin-Photo,*, 2015. [jpg]

*An algebraic semantics for bidirectional model synchronization,*, no. GSDLab TR 2014-04-01, 08/2014. [pdf]

*Modeling product lines with Kripke structures and modal logic,*, no. GSDLab TR 2014-08-01, Waterloo, University of Waterloo (ECE), 08/2014. [pdf]

*The Semantics of Feature Models via Formal Languages (Extended Version),*, no. GSDLab TR 2014-08-02, Waterloo/Hamilton, University of Waterloo (ECE)/McMaster University(CAS), 08/2014. [pdf]

"Towards Category Theory Foundations for Model Management",

*GSDLab-TR*, no. GSDLab-TR 2014-03-03, Hamilton/Watreloo, McMaster University/University of Waterloo, 03/2014. [pdf]*A Taxonomic Space for Increasingly Symmetric Model Synchronization,*, no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014. [pdf]

"Modeling Product Lines with Kripke Structures and Modal Logic",

*GSD Technical Report*, no. TR 2013-10-1, Watreloo, University of Waterloo(ECE) / McMaster University (CAS), 10/2013. [pdf]*Lax Lenses,*, no. GSDLAB-TR 2013-03-10: University of Waterloo, 03/2013. [pdf]

*Mechanics of Megamodeling: Design Patterns and Laws,*, no. GSDLab/McSCert-TR-2013-03-14, Waterloo/Hamilton , University of Waterloo/McMaster University, 03/2013. [pdf]

"Example-Driven Modeling Using Clafer",

*First International Workshop on Model-driven Engineering By Example*, 2013. [ppsx][pdf]
"Example-Driven Modeling. Model = Abstractions + Examples",

*New Ideas and Emerging Results (NIER) track of the 35th International Conference on Software Engineering (ICSE 2013)*, San Francisco, CA, USA, 2013. [pdf]
"Mapping-aware megamodeling: Design Patterns and Laws",

*Software Language Engineering*: Springer, 2013. [zip]
"Partial Instances via Subclassing",

*6th International Conference on Software Language Engineering*, Indianapolis, USA, 2013. [pdf][pdf]
"Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond",

*7th ACCAT Workshop on Applied and Computational Category Theory (affiliated with ETAPS'2012)*, To appear, 2012. [pdf]
"Intermodeling, queries, and Kleisli categories",

*15th International Conference on Fundamental Approaches to Software Engineering (FASE'12)*, Tallinn, Estonia, LNCS, volume 7212, pp. 163-177, 01/2012.
"CT for BX: Category Theory Foundations for Bidirectional Model Transformations",

*Applied and Computational Category Theory*, Tallinn, Estonia, Pre-proceedings, 2012. [pdf]*Example-Driven Modeling poster,*, Toronto, CASCON, 2012. [pdf]

*Towards generic formal semantics for consistency of heterogeneous multimodels,*, Waterloo, University of Waterloo, Jan 2011. [pdf]

"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",

*MoDELS'10 Workshops: Reports and Selected Papers*, vol. 6627, Oslo, Norway, Springer, 2011. [pdf]
"Correctness of Model Synchronization Based on Triple Graph Grammars",

*ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems*: Springer, 10/2011. [pdf]
"From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case",

*ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems*: Springer, 10/2011. [pdf][pdf]
"Intermodeling, queries and Kleisli categories",

*Generative Software Development Laboratory*, Waterloo, University of Waterloo, 10/2011. [pdf]