Krzysztof Czarnecki

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.

• 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

• 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

• 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
• 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
• 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

• Prof named to expert panel on automated vehicles