Computer Science Colloquium
Technical University, Vienna
Towards Explainable RNNs: Modeling, Learning and VerificationMon 12.11.2018, 17:15, 45 minutes
Johannes Kepler University Linz, Science Park 3 055
AbstractWe introduce a new type of recurrent neural networks which we call WormNets, as they were inspired by a biophysical model for neurons and synapses in the C. Elegans worm. WormNets are interpretable, smaller in size, and more robust to noise attacks when compared to classic RNNs. They can also take advantage of the rich trove of neural policies developed by nature through billions of years of evolution. We show how to model with WormNets and learn their parameters, or even learn the WormNets from scratch, without considerable penalty, by using state-of-the-art RNN learning techniques. We also discuss how to verify WormNets.
BioRadu Grosu is a full Professor and the Head of the Cyber-Physical Systems Group within the Institute of Computer-Engineering of the Vienna University of Technology. Grosu is also a Research Professor at the Department of Computer Science, of the State University of New York at Stony Brook, USA.
The research interests of Radu Grosu include modelling, analysis and control of cyber-physical systems and of biological systems. The applications focus of Radu Grosu includes smart-mobility, Industry 4.0, smart-buildings, smart-agriculture, smart-health-care, smart-cities, IoT, cardiac and neural networks, and genetic regulatory networks.
Radu Grosu is the recipient of the National Science Foundation Career Award, the State University of New York Research Foundation Promising Inventor Award, the Association for Computing Machinery Service Award, and is an elected member of the International Federation for Information Processing, Working Group 2.2.
Before receiving his appointment at the Vienna University of Technology, Radu Grosu was an Associate Professor in the Department of Computer Science, of the State University of New York at Stony Brook, where he co-directed the Concurrent-Systems Laboratory and co-founded the Systems-Biology Laboratory.
Radu Grosu earned his doctorate (Dr.rer.nat.) in Computer Science from the Faculty of Informatics of the Technical University München, Germany. He was subsequently a Research Associate in the Department of Computer and Information Science, of the University of Pennsylvania, an Assistant, and an Associate Professor in the Department of Computer Science, of the State University of New York at Stony Brook, USA.
Invited by Prof. Dr. Armin Biere, Institute for Formal Models and Verification
The Computer Science Colloquium is organized by the Department of Coputer Science at JKU, the Österreichische Gesellschaft für Informatik (ÖGI) and the Österreichische Computergesellschaft (OCG).