Enroll in CSCE990: Special Topics on Software Verification if you are interested in:
- identifying bugs in programs,
- proving program correctness,
- repairing buggy programs,
- learning how software companies such as Facebook, Microsoft, and NASA develop techniques and tools to improve software quality.
Credit Hours: 3
Instructor: ThanhVu Nguyen (tnguyen@cse.unl.edu)
Schedule: TR 11:00:AM - 12:15:PM
Location: BURN-126