Jingyi Su

Dr. Jingyi Su is advancing the conversation in computer science with a focus on consensus, supporting specifications, and data types. A Master's graduate from Bowling Green State University (BGSU) in December 2017, Dr. Su has made significant contributions to the field through their research and collaborative projects. Their Master's project, "Supporting Specifications in Boa's Data Types," laid the groundwork for further exploration into the intricacies of data management and specification support. Dr. Su has co-authored several influential publications, including a notable paper on using consensus to automatically infer post-conditions. This work was presented at the International Conference on Software Engineering (ICSE) in May 2018, in collaboration with esteemed colleagues Mohd Arafat and Robert Dyer. This research has been pivotal in advancing methodologies for software engineering, particularly in the realm of automated inference and specification. Their research endeavors have been supported by the National Science Foundation under various grant numbers, underscoring the significance and impact of their work in the computing community. Dr. Su's contributions have not only enriched academic discourse but have also provided practical insights into the development and implementation of robust computing systems. At the University of Nebraska-Lincoln, Dr. Su continues to engage in cutting-edge research, fostering innovation and collaboration within the department. Their dedication to advancing the field of computer science is evident in their ongoing projects and commitment to mentoring the next generation of computer scientists.