I am a former software engineering M.Sc. student of the Department of Computer Sceince, University of Toronto, where I was supervised by Marsha Chechik.

I grew up in Toronto but I obtained my B.Math in computer science, combinatorics, and optimization at the University of Waterloo.

During the summer of 2011, I was a research assistant in the WatForm research group at the University of Waterloo, working on finding feature interactions (conflicts) in requirements models.

I was an NSERC USRA at the University of Toronto for the summer of 2010. I worked on a project called JSCOOP, which attempts to simplify concurrent programming in Java by adding some new annotations.

My research and academic interests primarily focus on model driven engineering, formal methods, and software engineering. I am additionally interested in graph theory, cryptography and mathematics and computer science in general.


Conference & Workshop Papers

Change Propagation Due to Uncertainty Change. Rick Salay, Jan Gorzny, and Marsha Chechik. FASE 2013.

Feature Interaction Analysis of the Feature-Oriented Requirements-Modelling Language Using Alloy. David Dietrich, Pourya Shaker, Joanne M. Atlee, Derek Rayside, and Jan Gorzny. MoDeVVa 2012.

Comparing the Effectiveness of Reasoning Formalisms for Partial Models. Pooya Saadatpanah, Michalis Famelis, Jan Gorzny, Nathan Robinson, Marsha Chechik, and Rick Salay. MoDeVVa 2012.

Towards a Methodology for Verifying Partial Model Refinements. Rick Salay, Marsha Chechik, and Jan Gorzny. VOLT 2012.

Posters Presented

Uncertainty Management With Partial Models. Famelis, M., Gorzny, J., SaadatPanah, P., Chechik, M., and Salay, R. Presented at the University of Toronto Department of Computer Science Research In Action Showcase 2012.

Feature-Oriented Modelling and Analysis. Atlee, J.M., Shaker, P., Beidu, S., and Gorzny, J. Presented at the Technology Showcase at CASCON 2011.

JSCOOP: Simple Concurrency for Java. Gorzny, J., Torshizi, F., and Chechik, M. Presented at the University of Toronto Department of Computer Science Summer Research Poster Session. August 2010.