|
Office Hours for MS Programs: |
Beginning September for Fall 2008: MW 2:00-3:00pm in RVR-3018 and T 4:00-5:00pm in RVR-3018 |
|
Office Hours for Classes: |
Beginning September for Fall 2008: MW 3:00-3:50pm in RVR-3018 and T 4:00-5:00pm in RVR-3018 |
|
Teaching Schedule: |
Fall 2008: CSc201 5:30-6:45pm, MW, RVR-1008 CSc209 7:00-7:50pm, T, RVR-1008 CSc235 4:00-5:15pm, MW, RVR-1008 |
|
Phone and Fax: |
916-278-5769 or 916-278-6834 (Dept. Office) 916-278-6774 (Dept. Fax) |
|
Email: |
Professor Zhang's research interests include software engineering, software architecture, formal methods for secure software engineering, formal methods for information assurance and computer security, and programming language theories and paradigms. She has been conducting research in these areas and published research papers in journals and international conferences. Professor Zhang has served on program committees and/or as session chairs for international conferences. She has also reviewed a range of technical papers for journals and international conferences.
In summers of 1997, 1998, 1999, and 2000, Professor Zhang served as a Visiting Associate Researcher at UC Davis and involved in research projects on formal specification and verification of distributed computing systems and projects on formal specification and verification for information assurance and computer security. Currently she is an affiliated faculty member of the Programming Language and Software Engineering Research Laboratory at UC Davis. She has received course completion certificates of the following three courses from the Software Engineering Institute (SEI) of Carnegie Mellow University: the Software Architecture Principles and Practices Course in August 2005, the Software Architecture Documentation Course in August 2007, and the Software Architecture Design and Analysis Course in August 2008.
Professor Zhang received the Outstanding Scholar of the Year Award from the College of Engineering and Computer Science in 2000.
Professor Zhang's teaching interests include software engineering, formal methods for secure software engineering, and programming languages. At CSU Sacramento, She has taught or been teaching the following courses: CSc130 (Data Structures and Algorithm Analysis), CSc131 (Computer Software Engineering), CSc201 (Programming Language Principles), CSc209 (Research Methodology), CSc230 (Software System Engineering), CSc231 (Software Engineering Metrics), CSc235 (Software Architecture), CSc236/296L (Formal Methods in Secure Software Engineering), and CSc296M (Programming Language Semantics).
In addition to teaching courses, Professor Zhang has been in charge of CSc295 (Fieldwork) and supervising students in her CSc502 on MS projects. Through MS project supervision, she has been involving her students in research projects and publications in her research areas. She has also supervised a number of students on independent studies through CSc299 (Special Problems).
Professor Zhang received the Outstanding Teacher of the Year Award from the University in 2002.
Professor Zhang has been serving as the Graduate Coordinator of the Department of Computer Science since summer 2000, and served as the Associate Chair of the Department in 1999-2000. As the Chair of the Department Faculty Development Committee from Fall 1999 to Fall 2003, she organized a monthly Computer Science Colloquium Series with Guest Speakers. She has been serving on various committees at the Department level, the College level, and the University level.
Professor Zhang received the Outstanding University Service of the Year Award from the University in 2004.