Hsu-Chun Yen

Professor

Educational Background
- Ph.D., University of Texas at Austin (Computer Sciences), U.S.A., 1986. (Advisor: Louis E. Rosier)
- M.S., National Chiao-Tung University (Computer Engineering), Taiwan, 1982. (Advisor: Wen-Hsiang Tsai)
- B.S., National Taiwan University (Electrical Engineering), Taiwan, 1980.
Publications
Professional Activities/Awards
Biographical Sketch
Vitae
Courses:
- Advanced Theory of Computation
- Theory of Computation
- Discrete Mathematics(Spring 2008)
- Computer-Aided Verification
- Algorithms
- Data Structures and Programming
- Automata Theory & Formal Languages
Areas of Research Interest:
- Theory of Computation
- Design and Analysis of Algorithms
- Graph Drawing
- Petri Net Theory
- Formal Methods