Michael Gerten

Meet Professor Gerten

Years at Knox: 2024 to present

"My main research focus is on applying software engineering to molecular programs. Validating these programs is challenging, making extending traditional software techniques important to this domain. Preparing students to explore interdisciplinary problems is a goal of my teaching."

Education

B.S., 1998, Knox College.

Teaching Interests

Software Engineering, AI

Selected Professional Accomplishment

Honors/Grants

Research Excellence Award, Iowa State University 2024

Publications

Michael C. Gerten. 2023. A Framework for Testing Chemical Reaction Networks. In Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE '22). Association for Computing Machinery, New York, NY, USA, Article 117, 1–5.

Michael C. Gerten, Alexis L. Marsh, James I. Lathrop, Myra B. Cohen, Andrew S. Miner, and Titus H. Klinge. 2022. Inference and test generation using program invariants in chemical reaction networks. In Proceedings of the 44th International Conference on Software Engineering (ICSE '22). Association for Computing Machinery, New York, NY, USA, 1193–1205.

I. Mesecan, Michael C. Gerten, James I. Lathrop, Myra B. Cohen and Tomas H. Caldas, "CRNRepair: Automated Program Repair of Chemical Reaction Networks," 2021 IEEE/ACM International Workshop on Genetic Improvement (GI), Madrid, Spain, 2021, pp. 23-30,

ACM SIGSOFT Distinguished Paper Award

Michael C. Gerten, James I. Lathrop, Myra B. Cohen, and Titus H. Klinge. 2021. ChemTest: an automated software testing framework for an emerging paradigm. In Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE '20). Association for Computing Machinery, New York, NY, USA, 548–560.

David P. Bunde and Michael C. Gerten. 2016. Results of a student census in CS 2. J. Comput. Sci. Coll. 32, 1 (October 2016), 65–70.