University of Nebraska-Lincoln [2017 Fall] CSCE 428/828 (Automata, Computation and Formal Languages) South Dakota State University [2023 Fall] CSC770 (Software Engineering)