Research Projects - Software Modeling and Verification - RWTH ...

• Member of the EPSRC Review College (Engineering and Physical Sciences Research
Council), UK.
• General Chair of the Aachen Concurrency and Dependability Week:
• 22nd Int. Conference on Concurrency Theory (CONCUR)
• 8th Int. Conference on Quantitative Evaluation of Systems (QEST)
• 6th Int. Symposium on Trustworthy Global Computing (TGC)
• Member of several external international PhD committees.
• Chairman of Selection Committee of Full Professorship on Logics and Automata Theory.
• Chairman of Evaluation Committee of Junior-Professorship on Theory of Hybrid Systems.
• Chairman of the Examination Board of Department of Computer Science.
Thomas Noll
• Student advisor for the following applied subjects within CS:
Electrical Engineering, Civil Engineering, and Medicine
• Member of CS Commission for Teaching Service
• Member of the Program Committee of the following events:
• Software Engineering Track at the 27th Annual ACM Symposium on Applied Computing
(SAC 2012)
• 2nd Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS 2011)
at the 32nd IEEE Real-Time Systems Symposium (RTSS 2011)
• 5th IEEE International Conference on Secure System Integration and Reliability Improvement
(SSIRI 2011)
• Software Engineering Track at the 26th Annual ACM Symposium on Applied Computing
(SAC 2011)