Professor Hosung Song
Website:http://www.uwgb.edu/songh
Email: songh@uwgb.edu
Phone: 920.403.0326
Education:
Ph.D. in Computer Science & Engineering, University of Michigan, Ann Arbor, 2005.
M.S. in Electrical Engineering, Korea Advanced Institute of Science and Technology, Daejeon, Korea, 1994.
B.S. in Electrical Engineering, Korea Advanced Institute of Science and Technology, Daejeon, Korea, 1992.
Background:
Hosung Song is the newest faculty member of the Computer Science at UW-Green Bay. He started teaching in the fall of 2005 and for the school year of 2005/2006, he will be involved with Visual BASIC and Software Designed I/II courses. Hosung has acquired broad experiences about computing from hardware (as an electrical/computer engineer in BS/MS programs) and complex software systems (in an IT company) to mathematical foundations of computer science (in Ph.D. program). His research interest has been formal verification of information systems. He would like to expand his foundational skills to more practical aspects of computer science such as software engineering.
Positions:
Associate Professor, Information & Computing Sciences, University of Wisconsin, Green Bay, 2011 - present.
Assistant Professor, Information & Computing Sciences, University of Wisconsin, Green Bay, 2005 - 2011.
Graduate Student Instructor/Research Assistant, Electrical Engineering and Computer Science Dept., University of Michigan, Ann Arbor, 1999 - 2005.
Systems Engineer/Researcher, Samsung SDS Co., Ltd., Seoul, Korea, 1994 - 1999.
Teaching Assistant/Research Assistant, Electrical Engineering Dept., Korea Advanced Institute of Science and Technology, Daejeon, Korea, 1992 - 1994.
Courses Teaching:
- COMP SCI 256 Software Design I
- COMP SCI 257 Software Design II
- COMP SCI 353 Computer Architecture and Organization
- COMP SCI 371 Advanced Object-Oriented Design using C++
Publications:
H. Song, K. Compton, and W. Rounds, "SPHIN: A model checker for reconfigurable hybrid systems based on SPIN," accepted for publication in Fifth Int'l Workshop on Automated Verification of Critical Systems, Warwick, UK, 2005.
W. Rounds and H. Song, "The phi-calculus: A language for distributed control of reconfigurable embedded systems," in the Proceedings of Hybrid Systems: Computation and Control, 6th Int'l Workshop, HSCC 2003, LNCS 2623, pp. 435-449, Springer-Verlag, Prague, The Czech Republic, 2003.
H. Song and K. Compton, Verifying Pi-Calculus Processes by Promela Translation, CSE Technical Report 472-03, University of Michigan, 2003.