Cha, Sungdeok (Steve)

Software Engineering. Logics and Meanings of Programs. Information Systems and Communication Service. Automatic theorem proving Special Purpose and Application-Based Systems. Programming Languages, Compilers, Interpreters. Computer Science. Computer Communication Networks.