You are here: Home
Looking for a Drone MS Thesis? Contact Bernhard Frömel and Ezio Bartocci! Looking for a Rover MS Thesis? Contact Oliver Höftberger! Galileo satellite Pylon for power distribution grid Very-large scale integrated circuit Microcontroller printed circuit board

Institute of Computer Engineering (E182)

Head of Institute: Univ.Prof. Radu GROSU

Cyber-Physical Systems Group E182-1 (CPS)

Univ.Prof. Radu GROSU (Head)
O.Univ.Prof. Herbert GRÜNBACHER
Em.O.Univ.Prof. Hermann KOPETZ
Ao.Univ.Prof. Peter PUSCHNER

Embedded Computing Systems Group E182-2 (ECS)

Univ.Prof. Ulrich SCHMID (Head)
Ao.Univ.Prof. Andreas STEININGER


The Institute of Computer Engineering's research and teaching activities focus on the area of cyber-physical systems and dependable embedded systems. Our activities are at the heart of the primary research area Technische Informatik (Computer Engineering) of the Faculty of Informatics, and integrate computer science, discrete and continuous systems theory, and microelectronics in a holistic approach. Major research areas are hybrid systems, real-time systems, fault-tolerant distributed algorithms, and dependable digital circuit architectures. Particular research activities range from formal/mathematical modeling and analysis over SW/HW architectures to microcontroller programming and FPGA/VLSI design.

With respect to teaching, the Institute of Computer Engineering is mainly involved in the Master and Bachelor curricula Technische Informatik (Computer Engineering), which offer a profound scientific-technological education in our fields of expertise.

Institute's mission TI Research Presentations

PowerPoint Slideshow: What is Technische Informatik/Computer Engineering?

Recent Publications
P. Baldi: A note on standard completeness for some extensions of uninorm logic.
Soft Computing, 18 (2014), p. 1463 - 1470
bib details
P. Baldi: A proof-theoretical approach to standard completeness
Workshop on Gentzen Systems and Beyond 3. Vienna, Wien
bib details
P. Baldi: Density Elimination and Standard Completeness for extensions of UL and MTL
Prague Seminar on Substructural logic, Prag
bib details
P. Baldi, A. Ciabattoni, K. Terui et al.: Standard completeness: proof-theoretical and algebraic approaches
35th Linz Seminar of Fuzzy Set Theory, Linz
bib details
D. Prokesch, B. Huber, P. Puschner: Towards Automated Generation of Time-Predictable Code
14th International Workshop on Worst-Case Execution Time Analysis, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Germany, 2014, ISBN: 978-3-939897-69-9, p. 103 - 112
bib details doi pdf
More publications...