Automated Technology for Verification and Analysis

Programming Techniques Software engineering Computer networks Software Engineering/Programming and Operating Systems Logic design Logics and Meanings of Programs Computer science Programming Languages, Compilers, Interpreters Automatic theorem proving Artificial intelligence