News

New PhD Student: Steffen LortzWe welcome Steffen Lortz as a new PhD student in the MAIS group.
12.04.12
New PhD Student: Jens SauerWe welcome Jens Sauer as a new PhD student in the MAIS group.
19.03.12
Guest Prof. Stephen ChongProf. Stephen Chong from Harvard University will be visiting the MAIS group on March 2-5, 2012.
20.02.12
Guest Dimiter MilushevDimiter Milushev from KU Leuven visited the MAIS group on February 14, 2012. He gave a talk on "Towards Incrementalization of Holistic Hyperproperties" in the MAIS graduate seminar.
20.02.12
Barbara Sprick became Professor at Hochschule HeidelbergFollowing four years of successful research with the MAIS group, Dr. Barbara Sprick took over in December 2011 a Professor position at SRH-Hochschule Heidelberg. She will be giving lectures on algorithms and data structures as well as software engineering. She plans to continue research collaborations with us.
06.02.12
Guest Prof. Ulfar ErlingssonProf. Úlfar Erlingsson, Ph.D. from Google Research visited Prof. Dr. Heiko Mantel (MAIS) on February 1-2, 2012. He gave a lecture on "Cloud Computing and Software Security" in the CASED Distinguished Lectures Series on February 2, 4:15 pm in S2|02, C205.
04.02.12
Guest Prachi KumariPrachi Kumari from KIT visited the MAIS group on January 31, 2012. She gave a talk on "Deriving Implementation-level Policies for Usage Control Enforcement" in the MAIS graduate seminar.
01.02.12
Guest Dr. Felix KlaedtkeDr. Felix Klaedtke from ETH Zurich visited the MAIS group on January 24-25, 2012. He gave a talk about "Policy Monitoring with First-order Temporal Logic" in the MAIS graduate seminar.
26.01.12
New PhD Student: Abdullah Abdul KhadirWe welcome Abdullah Abdul Khadir as a new PhD student in the MAIS group.
01.12.11
Guest Cedric FournetCédric Fournet, Ph.D. from Microsoft Research visited Prof. Dr. Heiko Mantel (MAIS) on November 24-25, 2011. He gave a lecture on "Modular Code-Based Cryptographic Verification" in the CASED Distinguished Lectures Series on November 24 and a talk about "CFLOW" on November 25.
26.11.11

Older news

2011

2010

2009

2008

2007

2006

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang