Viktoria Koscinski, PhD

I am an Assistant Professor in the Department of Computer Science at Colorado State University. My work focuses on bridging the gap between software engineering and cybersecurity.

Prior to joining CSU, I completed my Ph.D. in Computing and Information Sciences at the Rochester Institute of Technology, where my dissertation explored Identifying Underspecifications in Security Requirements Using a Formal Reasoning Approach. I also hold MS and BS degrees in Computer and Information Science from SUNY Polytechnic Institute.

My goal is to mentor and educate the next generation of cybersecurity researchers and software engineers using an interdisciplinary approach. I am passionate about advancing the field of cybersecurity through the application of formal methods and rigorous engineering principles.

My research aims to improve software security from the early development stages, particularly within requirements engineering. My work integrates formal methods with machine learning and natural language processing to support rigorous and scalable security analysis. I am also interested in the empirical evaluation of vulnerability management systems and their impact on risk-informed decision-making. Through this interdisciplinary work, I aim to reduce the gap between software engineering and cybersecurity by enabling more secure-by-design practices.

I am interested in working with motivated students to join my research. Interested in joining my research? Learn more  here.

NEW: Our recent paper, "Conflicting Scores, Confusing Signals: An Empirical Study of Vulnerability Scoring Systems," was presented at ACM CCS 2025. A preprint is available here.

For a complete list of my publications, please see my Google Scholar profile.

Current & Upcoming Semesters

Spring 26: CS556: Computer Security

Previous Courses Taught