Courses

• CS4620 Compilers (undergraduate course)
• CS6620 Compilers (graduate course)
• CS8501 Neural Network Verification (graduate course)