Victor Winter is a full professor in the Department of Computer Science at the University of Nebraska-Omaha and the creator of Bricklayer. His area of expertise is programming languages. Within this area Dr. Winter has a particular interest in formalisms and frameworks that enable the description of computation in a manner that facilitates understanding as well as various forms of analysis. This interest includes verification, the informal and formal reasoning about properties of programs, and validation, the manual and automated construction of tests to increase confidence in the behavior of a system. His teaching interests include programming languages, formal language theory, discrete math, functional programming, Unity game programming, and computational science. His research interests include program transformation, language design, Java source code analysis, and educational technologies.
Dr. Winter has authored or co-authored numerous publications on topics such as program transformation, Java library migration, software metrics, high-assurance systems, and strategic programming. Selected works include papers presented at conferences such as the IEEE International Symposium on High Assurance Systems Engineering and articles in journals including the Journal of Software Engineering and Applications. He has contributed to technical reports from Sandia National Laboratories and other institutions on subjects including transformational perspectives on class loaders and higher-order strategies in rewriting and programming.