Directly to the content
TU
|
CS
|
MAIS
|
News
|
Staff
Heiko Mantel
Katrin Treue
Görkem Kılınç
Alexandra Weber
Maximilian Gehring
Matthias Perner
Nastaran Shekofte
Tim Weißmantel
Rene Czerny
Youness Bachire
Alumni
|
Open Positions
Ph.D. Candidates / Postdocs
M.Sc. / B.Sc. Students
ATMs
|
Research
Research Areas
Publications
Tools
Third Party Funded Projects
Collaborators
|
Teaching
Summer Term 2024
Winter Term 2023/24
Summer Term 2023
Summer Term 2022
Winter Term 2021/22
Past Terms
Studying abroad
|
Thesis and HiWi Topics
|
Contact
Directions
TU Darmstadt
Computer Science
MAIS
NewsItems
Guest: Dr. Toby Murray
MAIS
News
Staff
Open Positions
Research
Teaching
Thesis and HiWi Topics
Contact
Guest: Dr. Toby Murray
Dr. Toby Murray
from NICTA is visiting MAIS on March 3 and 4. He is giving the talk
"Building Highly-Secure Systems at Reasonable Cost - Branching Out with Formal Verification"
in a special session of the MAIS Graduate Seminar in room E302 on March 3 at 16:00.
A
A
A
|
Print
|
Imprint
|
Sitemap
|
Contact