Subjects
1. Compiler Construction 2. Telecommunications 3. Verification 4. Embedded Systems 5. Software Engineering