Monday and Wednesday, 11:00am to 12:10pm and 5:00pm to 5:30pm
Tuesday, 10:30am to 12:10pm
or email me to set up a meeting outside of these times.
Assembly Programming, Concepts of Programming Languages, Compilers, Discrete Structures, Operating Systems, Software Engineering, Web Server and Unix Administration
Advanced Software Engineering, Software Specification and Verification
Improving the practice of requirements engineering---elicitation, specification, analysis, and verification of software system requirements and design preferences---using both human (listening) and computational (automated preference reasoning) methods.