CV

Education

• Ph.D in Computer and Information Science, Rochester Institute of Technology, 2028 (expected)
• M.S. in Computer Science, Rochester Institute of Technology, 2023
• B.S. in Mathematics, University of Colorado, 2019

Publications

Type- and Control-Flow Analysis for System F-omega

Dongyu, Wu. (2023). "Type- and Control-Flow Analysis for System F-omega." Master's Thesis, Rochester Institute of Tecnology. 1(1).