Monday, Tuesday, and Wednesday, 10:00am to 11:30am
Wednesday, 5:00pm to 5:30pm
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, Theory of Computation, 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.