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 focuses on applying natural language processing and machine learning techniques to improve software security at the early development stages, particularly within requirements engineering. My work integrates formal methods with machine learning 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. If you are interested, please feel free to contact me.

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

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

Current Semester

Fall 25: CS580B6: Vulnerability Management and Analysis (Colorado State University)

Previous Courses Taught