Prof. Ernst Rank and the TUM-IAS team invite the scientists of TUM and their guests for coffee each Wednesday! Just come over to the TUM-IAS after lunch between 1:00–2:00 p.m. and have a coffee with us, meet other scientists and listen from time to time to a short talk (10-15 mins) on a recent major TUM publication or issue – aimed specifically at a non-expert audience.
On May 8, 2019, Prof. Dr. Majid Zamani (former TUM Electrical and Computer Engineering) will have a talk "Towards Certifiable Autonomy".
Professor Zamani received in 2018 an ERC starting grant award with €1.5M. Using this grant, he aims to develop an innovative design process, in which the embedded control software is synthesized from high-level correctness requirements in a push-button and formal manner.
We look forward to seeing you there!
Would you like to receive regular updates on Scientists MeetScientists – Wednesday Coffee Talk? Just send contact us via the contact formular!
An overview of upcoming Wednesday Coffee Talks can be found here: www.ias.tum.de/events/coffee-talk