Main Page
Current Schedule
| Monday | Tuesday | Wednesday | Thursday | Friday |
|
| 8:00 | SE2832 Introduction top Software Verification Lab S343 |
||||
| 9:00 | SE2832 Introduction top Software Verification Lecture DH229 |
SE2832 Introduction top Software Verification Lecture DH229 |
SE2832 Introduction top Software Verification Lecture S343 |
SE2832 Introduction top Software Verification Lecture DH229 |
|
| 10:00 | Office Hours |
Office Hours |
SE4940 Network Security Lab DH339 |
Office Hours |
Office Hours |
| 11:00 | SE4940 Network Security Lecture DH229 |
SE4940 Network Security Lab DH339 |
SE4940 Network Security Lecture DH229 |
||
| 12:00 | Independent Study - S. Park |
SE2832 Introduction top Software Verification Lab DH229 |
|||
| 13:00 | Department Meeting / Program Meeting |
SE2832 Introduction top Software Verification Lecture DH229 |
SE2832 Introduction top Software Verification Lecture DH229 |
SE2832 Introduction top Software Verification Lab DH229 |
SE2832 Introduction top Software Verification Lecture DH229 |
| 14:00 | |||||
| 15:00 | |||||
| 16:00 | |||||
| 17:00 | |||||
| 18:00 |
Milwaukee School of Engineering Courses Taught (*Course Coordinator for Class)
- Winter 2019-2020
- CS3840: Operating Systems
- CS1011 Introduction to Computer Programming
- Fall 2019-2020
- SE3821 Software Requirements and Specification
- SE3910: Real Time Systems
- Spring 2018-2019
- SE2832: Introduction to Software Verification
- SE4940: Network Security
- Winter 2018-2019
- CS3840: Operating Systems
- CS1011 Introduction to Computer Programming
- Fall 2018-2019
- CS3841: Design of Operating Systems
- SE3910: Real Time Systems
- Spring 2017-2018
- SE2832: Introduction to Software Verification
- Winter 2017-2018
- CS2711 Computer Organization
- CS3840: Operating Systems
- Fall 2017-2018
- CS3841: Design of Operating Systems
- SE4940: Network Security
- Spring 2016-2017
- SE2832: Introduction to Software Verification
- SE3910: Real Time Systems
- Winter 2016-2017
- CS2711 Computer Organization
- CS3844: Operating Systems
- Fall 2016-2017
- CS3841: Design of Operating Systems
- SE4930: Secure Software Development
- Spring 2015-2016
- SE2890 Software Engineering Practices
- SE3910: Real Time Systems
- Winter 2015-2016
- CS2710 Computer Organization
- CS3844: Operating Systems
- Fall 2015-2016
- CS3841: Design of Operating Systems
- SE4930: Secure Software Development
- Spring 2014-2015
- SE2832: Introduction to Software Verification
- SE3910: Real Time Systems
- Winter 2014-2015
- CS2710 Computer Organization
- CS3844: Operating Systems
- SE1021 Software Development II
- Fall 2014-2015
- CS3841: Design of Operating Systems (NEW September 8 2015)
- SE4930: Secure Software Development (NEW September 8 2015)
- Spring 2013-2014
- SE2832 Introduction to Software Verification (NEW September 9 2015)
- Real Time Systems (NEW September 8 2015)
- Winter 2013-2014
- SE4831 Software Quality Assurance (NEW September 8 2015)
- Operating Systems (NEW September 9 2015)
- Fall 2013-2014
- SE3821 Software Requirements and Specification (NEW September 8 2015)
- SE498: Topics in Software Engineering: Parallel Computing (NEW September 8 2015)
- Spring 2012-2013
- SE2890 Software Engineering Practices (NEW September 8 2015)
- SE2832: Introduction to Software Verification (NEW September 8 2015)
- Winter 2012-2013
- CS2710 Computer Organization (NEW September 8 2015)
- SE4930 Developing Secure Software (NEW September 9 2015)
- SE4831 Software Quality Assurance (NEW September 9 2015)
- SE499 Independent Study in Real-Time Systems
- Fall 2012-2013
- CS3841 Design of Operating Systems (NEW September 8 2015)
- SE3821 Software Requirements and Specification (NEW September 8 2015)
- Spring 2011-2012
- SE2890 Software Engineering Practices (NEW September 8 2015)
- CE2810 Embedded Systems 2 (NEW September 8 2015)
- Winter 2011-2012
- CE2800 Embedded Systems 1 (NEW September 8 2015)
- SE4831 Software Quality Assurance (NEW September 8 2015)
- SE4930 Secure Software Development (NEW September 8 2015)
- Fall 2011-2012
- SE-2831 Introduction to Software Verification (NEW September 8 2015)
- CS3841 Design of Operating Systems (NEW September 8 2015)
- SE-1011 Software Development 1 (NEW September 8 2015)
- Spring 2010-2011
- SE2890 Software Engineering Practices
- CE2810 Embedded Systems Software II
- SE2811 Software Component Design
- Winter 2010-2011
- SE4831 Software Quality Assurance
- CE2800 Embedded Systems Software
- Fall 2010-2011
- SE2831 Introduction to Software Verification*
- CS3841 Design of Operating Systems *
- CS3841 Design Of Operating Systems Alternate (Replacement professor in week 4)
- SE1011 Software Development 1 (Only taught first 3 weeks before being transfered to Operating Systems)
- Spring 2009-2010
- SE2890 Software Engineering Practices*
- CE2810 Embedded Systems Software II
- SE1021 Software Development II (Lab Only)
- Winter 2009-2010
- SE4930 Developing Secure Software*
- SE4831 Software Quality Assurance
- CE2800 Embedded Systems Software
- Fall 2009-2010
- SE1011 Software Development 1
- SE2831 Introduction to Software Verification*
- CS3841 Operating Systems*
- Spring 2008-2009
- SE4930 Developing Secure Software*
- SE2890 Software Engineering Practices*
- CS2851 Data Structures
- Winter 2008-2009
- CE2800 Embedded Systems Software I
- SE4831 Software Quality Assurance*
- Fall 2008-2009
- SE1010 Software Development 1
- SE010 Introduction to Software Development
- SE2831 Introduction to Software Verification*
- Spring 2007-2008
- SE2890 Software Engineering Practices
- CS2851 Data Structures
- Winter, 2007-2008
- SE1020 Software Development 2
- SE4831 Software Quality Assurance