Institute of Computer Engineering News
OpenWorm Journal Club: The Search for Food

Ramin M. Hasani from TU Wien together with Dr. Stephen Larson from the OpenWorm Foundation have led a live discussion about a recent work describing a model for predicting C. elegans random search behavior. The paper to be discussed is "A stochastic neuronal model predicts random search behaviors at multiple spatial scales in C. elegans" by W. Roberts, et. al.

BMVIT Interview with Radu Grosu about CPS

The Federal Ministry for Transport, Innovation and Technology (Bundesministerium für Verkehr, Innovation und Technologie) interviewed Radu Grosu about Cyber-Physical Systems as part of the CPS week.

APA Interview with Radu Grosu about CPS: Connecting the World

From smart clothing and driving assistants to smart grids: The digitalisation of all areas of life increasingly combines the real and virtual world in "Cyber-Physical Systems". How the growing armada of sensors and small computers should communicate is topic of a conference next week in Vienna with more than a thousand participants.

Cyber-Physical Systems: The World Is Going Smart

From computer chips triggering an airbag to smart cities: “cyber-physical systems” are changing our world. During CPS-week (April 11 -14. 2016), the international scientific community comes together in Vienna.

Talk on Formal Methods for Dynamical Systems

Calin Belta will give a talk on Formal Methods for Dynamical Systems on Friday, 15th April 2016 at 10:00 at the Library of the Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien, 3rd floor.

Ezio Bartocci is the co-Chair of CMSB'16

Ezio Bartocci will co-organize the 14th International Conference on Computational Methods in Systems Biology, that will be held in the Computer Laboratory at University of Cambridge, UK, on 21-23 September.

DieselGate: Armin Wasicek in Zeit-im-Bild on the VW Scandal

VW has manipulated its Diesel cars in the US to trick emission tests. The Austrian TV news Zeit-im-Bild interviewed Armin Wasicek in a TV report. Armin states that without security, manipulation of the car computers is absolutely possible.

"Laufbahnstelle" for Ezio Bartocci

Ezio Bartocci of our CPS-Team won one of four openly advertised tenure-track positions at the TU Vienna against 180 (!) competitors from all over the world.

PhD on Mixed Signal IC Verification

The goal of this PhD activity is to develop and investigate new methods and concepts for verification of Mixed-Signal Smart Power ICs for various automotive applications, like lighting, heating, power distribution, motor driving etc. Short time to market requirements, increasing complexity, miniaturisation of modern ICs and latest safety standards result in stringent requirements and considerable effort for the pre-silicon verification process. To satisfy these needs Infineon Technologies Austria together with KAI and the Vienna University of Technology will set up a research project on new methods and concepts for IC verification.

Thomas Reinbacher receives "Scholarship of Excellence" for his PhD thesis

Thomas Reinbacher got his doctoral degree awarded "sub auspiciis praesidentis" in March 2014. The title of his thesis (supervised by Andreas Steininger) is "Analysis of Embedded Real-Time Systems at Runtime". Part of the work was done by him at NASA Ames Research Center. Recently, Thomas Reinbacher got the Scholarship of Excellence (Exzellenzstipendium) awarded from TU Vienna, which is specifically devoted to supporting "sub auspiciis preasidentis" graduates. He will use the award to strengthen his relation to the Chinese academia, industry, and culture in general, with the vision of intensifying the scientific collaboration between our countries, especially in his field.