Education

Ph. D.: Computer Science Department, Colorado State University, Fort Collins, Colorado, 2001.

Graduate Degree: Master of Science, Computer Science, Computer Science Department, Colorado State University, Fort Collins, Colorado, 1986.

Undergraduate Degree: Bachelor of Engineering, Biomedical Engineering, University of New Mexico, Albuquerque, New Mexico, 1979.

Professional Experience

Research Associate, Colorado State University, 2006 – present.

Research Scientist, Colorado State University, 2003 – 2005.

Project Scientist, Agilent Laboratories, Agilent Technologies, 2000 – 2003.

Project Scientist, Hewlett Packard Laboratories, Hewlett Packard Company, 1999-2000.

Technical Contributor, Software Technology Center, Hewlett Packard Company, 1996-1999.

Technical Contributor, Un*x Development Lab, Hewlett Packard Company, 1992-1996.

Software Engineer, Hewlett Packard Company, 1979-1992.

Honors

Upsilon Pi Epsilon, International Honor Society for the Computing Sciences, 2002.

Tau Beta Pi Engineering Honor Society, 1979

Selected Publications

Geri Georg & Robert France, “An Activity Theory Language: USE Implementation”, Colorado State University, Computer Science Technical Report, CS-13-101, January, 2013.

Michelle Mills Strout, Geri Georg, and Catherine Olschanowsky, “Set and Relation Manipulation for the Sparse Polyhedral Framework”, Proceedings of the 25th International Workshop on Languages and Compilers for Parallel Computing (LCPC), September 2012.

Siv Hilde Houmb, Geri Georg, Dorina C. Petriu, Behzad Bordbar, Indrakshi Ray, Kyriakos Anastasakis, and Robert B. France, "Balancing Security and Performance Properties During System Architectural Design", Software Engineering for Secure Systems: Industrial and Research Perspectives, Haris Mouratidis, editor, ISBN: 1615208372, copyright 2011, IGI Global.

Geri Georg, Kyriakos Anastasakis, Behzad Bordbar, Siv Hilde Houmb, Indrakshi Ray, Manachai Toahchoodee, "Verification and Trade-off Analysis of Security Properties in UML System Models", Transactions on Software Engineering, May/Jun2010, Vol. 36 Issue 3, p338-356, 2010.

Siv Hilde Houmb, Geri Georg, Dorina C. Petriu, Behzad Bordbar, Indrakshi Ray, Kyriakos Anastasakis, and Robert B. France, "Balancing Security and Performance Properties During System Architectural Design", in Software Engineering for Secure Systems: Industrial and Research Perspectives, Haris Mouratidis, editor, ISBN: 1615208372, IGI Global, 2011.

Manachai Toahchoodee, Indrakshi Ray, Kyriakos Anastasakis, Geri Georg, and Behzad Bordbar, “Ensuring Spatio-Temporal Access Control for Real-World Applications”, Proceedings of the 14th ACM Symposium on Access Control Models and Technologies (SACMAT’09), ACM, pp 13-32, 2009.

Murray Woodside, Dorina C. Petriu, Dorin B. Petriu, Jing Xu, Tauseef Israr, Geri Georg, Robert France, James M. Bieman, Siv Hilde Houmb, Jan Jürjens, “Performance Analysis of Security Aspects by Weaving Scenarios Extracted from UML Models”, Journal of Systems and Software (JSS), 82, 56–74, 2009.

Geri Georg, Indrakshi Ray, Kyriakos Anastasakis, Behzad Bordbar, Manachai Toahchoodee, Siv Hilde Houmb, "An Aspect-Oriented Methodology for Designing Secure Applications", Information and Software Technology (IST), 51, Elsevier B.V., pp. 846-864, 2009.

Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, and Indrakshi Ray, "On Challenges of Model Transformation from UML to Alloy", accepted for publication in Journal on Software and Systems Modeling (SOSYM) special issue of extended papers from the MODELS 2007 conference, Software & Systems Modeling, Jan2010, Vol. 9 Issue 1, p69-86, 2008.

Y. Raghu Reddy, Sudipto Ghosh, Robert B. France, Greg Straw, James M. Bieman, N. McEachen, Eunjee Song, Geri Georg, “Directives for composing aspect-oriented design class models”, Transactions on Aspect-Oriented Software Development I, LNCS 3880, p 75-105, Springer-Verlag, 2006.

Eunjee Song, Raghu Reddy, Robert France, Indrakshi Ray, Geri Georg, and Roger Alexander, “Verifiable composition of access control and application features”, ACM Symposium on Access Control Models and Technologies (SACMAT), June 2005.

Robert France, Indrakshi Ray, Geri Georg, and Sudipto Ghosh, “Aspect-oriented approach to design modeling”, IEE Proceedings on Software, 4(151):173-185, 2004.

Indrakshi Ray, Robert France, Na Li and Geri Georg, "An aspect-based approach to modeling access control concerns", Journal of Information and Software Technology, 46(9), pages 575-587, 2004.

Geri Georg, Robert France, and Indrakshi Ray, “Designing high integrity systems using aspects”, Proceedings of the Fifth IFIP TC-11 WG 11.5 Working Conference on Integrity and Internal Control in Information Systems (IICIS 2002), November, 2002.

Professional Activities

MODELS (Model Driven Engineering Languages and Systems) conference steering committee, October 2004 – present, steering committee vice-chair October 2009-2010, steering committee chair October 2010-October 2012.

Conference Chair, Model Driven Engineering Languages and Systems (MODELS) 2005.

Assistant Editor, Journal on Software and Systems Modeling (SoSyM), Feb 2002 – present.

Program Board Member: MODELS 2012.

Program Committee Member: MODELS 2013 Foundation Track, MODELS 2011 Application Track, MODELS 2010 Foundation and Application Track, Workshop on Composition and Variability 2011-2012, held in conjunction with AOSD, Quality of Software Architectures (QoSA) 2011-2012, International Workshop on Risk and Trust in Extended Enterprises (RTEE'2010), held in conjunction with ISSRE 2010, Aspect-Oriented Software Development (AOSD) 2009, Modeling Security Workshop, held in conjunction with MODELS 2008, Workshop in Aspect-Oriented Requirements Engineering and Architecture Design (Early Aspects at ICSE), to be held in conjunction with ICSE 2007, 5th International Workshop on Critical Systems Development Using Modeling Languages, in conjunction with MoDELS 2006, October 2006, 4th International Workshop on Critical Systems Development Using Modeling Languages, held in conjunction with SAFECOMP 2005, Multi-Conference on Systemics, Cybernetics and Informatics (SCI), 2000 to 2003.

Organizing Committee: Workshop on Modeling in Software Engineering (MISE at ICSE), held in conjunction with ICSE 2007-2009 and 2012, Comparing Modeling Approaches Workshop, held in conjunction with MODELS 2011 and MODELS 2012, Risk and Trust Workshop 2012 held at ISSRE 2012, Model-Driven Security (MDSec) workshop at MODELS 2012, 1st International Model-Driven Engineering for High Performance and CLoud computing (MDHPCL) at MODELS 2012, Workshop on Composition and Variability 2010, held in conjunction with AOSD, 5th International Workshop on Critical Systems Development Using Modeling Languages, in conjunction with MODELS 2006.