THIS SITE

Information for

Krzysztof Czarnecki

Professor

Contact InformationKrzysztof Czarnecki

Phone: 519-888-4567 x37137
Location: E3 3157

Website

Biography Summary

Krzysztof Czarnecki is a Professor in the Electrical and Computer Engineering department and is cross-appointed to the School of Computer Science. He is also the head of the Generative Software Lab at the University of Waterloo.

Professor Czarnecki’s research specializes in generative software development. His expertise includes model-driven software engineering, including software-product lines and variability modeling, consistency management and bi-directional transformations, and example-driven modeling.

He is also the NSERC Bank of Nova Scotia Industrial Research Chair in Requirements Engineering of Service-Oriented Software Systems. He co-authored the book on “Generative Programming” (Addison- Wesley, 2000), which deals with automating software component assembly based on domain-specific languages. Professor Czarnecki received the Premier’s Research Excellence Award in 2004 and the British Computing Society in Upper Canada Award for Outstanding Contributions to the IT Industry in 2008.

Research Interests

  • Generative Programming
  • Model-based Development
  • Software System Families And Product Lines
  • Software Design
  • Computer Engineering
  • Software Engineering
  • Autonomous And Connected Car
  • Automotive
  • Cybersecurity
  • Infrastructure Integrity

Education

  • 1999, Doctorate, Computer Science, Technical University of Ilmenau
  • 1995, Master of Science, Computer Science, Technical University of Ilmenau
  • 1994, Bachelor of Science (BS), Computer Science (Diplom-Inf), California State University

Courses

  • SE 490 - Design Project 1
    • Taught in 2013, 2017
  • SE 101 - Introduction to Methods of Software Engineering
    • Taught in 2013
  • ECE 155 - Engineering Design with Embedded Systems
    • Taught in 2014
  • SE 464 - Software Design and Architectures
    • Taught in 2013, 2014, 2015
  • ECE 651 - Foundations of Software Engineering
    • Taught in 2015
  • SE 390 - Design Project Planning
    • Taught in 2013, 2014, 2015
  • ECE 493 - Special Topics in Electrical and Computer Engineering
    • Taught in 2018

Selected/Recent Publications

  • Diskin, Zinovy and Gholizadeh, Hamid and Wider, Arif and Czarnecki, Krzysztof, A three-dimensional taxonomy for bidirectional model synchronization, Journal of Systems and Software, 111, 2016, 298 - 322
  • Bright, Curtis and Ganesh, Vijay and Heinle, Albert and Kotsireas, Ilias and Nejati, Saeed and Czarnecki, Krzysztof, MathCheck2: Combining SAT and CAS, , 2016
  • Bright, Curtis and Ganesh, Vijay and Heinle, Albert and Kotsireas, Ilias and Nejati, Saeed and Czarnecki, Krzysztof, MathCheck2: A SAT+ CAS Verifier for Combinatorial Conjectures, , 2016
  • Terra, Ricardo and Valente, Marco Tulio and Czarnecki, Krzysztof and Bigonha, Roberto S, A recommendation system for repairing violations detected by static architecture conformance checking, Software: Practice and Experience, 45(3), 2015, 315 - 342
  • Passos, Leonardo and Teixeira, Leopoldo and Dintzner, Nicolas and Apel, Sven and Wąsowski, Andrzej and Czarnecki, Krzysztof and Borba, Paulo and Guo, Jianmei, Coevolution of variability models and related software artifacts, Empirical Software Engineering, 2015, 1 - 50