Victor Winter

Victor Winter is a full Professor of Computer Science at the University of Nebraska-Omaha (UNO) and serves as the creator of the educational tool Bricklayer. He is affiliated with the UNO College of Information Science & Technology, where he has been active since 2001. His teaching focuses on programming languages, formal language theory, discrete math, functional programming, and computational science. Dr. Winter holds a Ph.D. in Computer Science from the University of New Mexico (1994).

His research interests center on program transformation, language design, and Java source code analysis, with significant contributions to software assurance and high-consequence systems engineering. He has developed tools like Sextant for software metrics visualization and Monarch for Java source-code migration, emphasizing formal methods and dependable systems. Collaborations with organizations such as Sandia National Laboratories highlight his work on safety-critical systems and embedded software design.

Winter's publications consistently address challenges in high-assurance systems, reflecting a strong focus on formal verification, compiler design, and the integration of virtual reality for system validation. His work often intersects with strategic programming and aspect-oriented methodologies, demonstrating expertise in both theoretical and applied computer science domains.

He has advised multiple collaborative projects involving researchers like Harvey Siy, Azamat Mametjanov, and Jim Ringland. While no specific grants are listed, his technical reports and conference contributions indicate sustained engagement with federally funded research initiatives. His research group collaborates on projects related to semantic computing and high-consequence system validation through ontology-based approaches.