TI Research Presentation Dates

TI Research Presentations

[TI Research Groups] [TI Research Presentations Schedule] [TI Master Thesis Seminar] [TI Bachelor Thesis Presentations]

TI Research Groups

This page gives information on the research groups that contribute substantially to the research focus and the study programs Technische Informatik/Computer Engineering. All students interested in practicals, Bachelor, Master or PhD theses, or internship projects are kindly requested to contact the potential supervisors directly, to find out about possible project assignments.

Note that the list below is not fully exhaustive, since the work of several other groups in the Faculty of Informatics and in the Faculty of Electrical Engineering and Information Technology also touches upon the area of computer engineering.

[Please contact U. Schmid (s@ecs.tuwien.ac.at) if you are interested to have your group also listed here. ]

Name                                  
Institute 
Group                                                                                                              
Keywords
Ezio Bartocci E191-01 Cyber-Physical Systems Group CPS verification and synthesis, runtime verification, quantitative evaluation
Georg Weissenbacher E192-04 Formal Methods in Systems Engineering Group Computer-aided verification
Norbert Görtz E389-03 Signal Processing Group Statistical signal processing, distributed estimation, deconvolution
Radu Grosu E191-01 Cyber-Physical Systems Group Modeling and learning, verification, CPS/IoT
Axel Jantsch E384-02 Systems on Chip Group Network on chips, self-aware and predictive systems on chips, sensor nodes
Wolfgang Kastner E191-03 Automation Systems Group Industrial IoT, industrial communication, knowledge representation in automation, safety and security,
Andreas Kugi E376-02 Complex Dynamical Systems Group Systems and control theory, non-linear and optimal control, distributed-parameter systems
Peter Puschner E191-01 Cyber-Physical Systems Group Real-time systems, timing analysis
Ulrich Schmid E191-02 Embedded Computing Systems Group Fault-tolerant distributed algorithms, modeling and analysis of digital circuits, epistemic logic and topology
Andreas Steininger E191-02 Embedded Computing Systems Group Asynchronous circuits, fault-tolerant computing, clock domain crossing, metastability
Jesper Larsson Träff E191-04 Parallel Computing Group Parallel machine models, shared-memory algorithms, MPI

TI Research Presentations Schedule

Below are the dates for this year's research overviews of researchers working in TI-related fields (these events recur every winter term). These presentations shall make our students aware of these fields and provide an opportunity to get in touch with potentially available supervisors for Bachelor and Master theses, practicals and projects. Most presentations will take place in the Seminarraum DE0110 in Treitlstrasse 1-3, 1st floor; some lecturers may also offer a hybrid format via Zoom.

[Please contact U. Schmid (s@ecs.tuwien.ac.at) if you are interested to also present TI-relevant research topics conducted in your working group. ]

Day    Date                Time     Location                   
Institute  
Name              Topic                                Online Medium
             
Thu 19.10.2023 11:15 DE0110 E191-04 J. Träff Algorithms for message passing libraries
Thu 9.11.2023 09:15 DE0110 E191-02 A. Steininger Fault Tolerance in the Systems-on-Chip Era Zoom
Thu 16.11.2023 09:15 DE0110 E191-01 P. Puschner Real-Time Systems: From Timing Prediction to Predictable Timing Zoom
Thu 23.11.2023 09:15 DE0110 E191-02 U. Schmid Epistemic Logic and Topology for Fault-Tolerant Distributed Systems Zoom

 

TI Master Thesis Seminar

In the Seminar für Diplomand_innen für Technische Informatik (180.778), we offer some (not mandatory) lectures (only in WS) and 3-4 presentation days (for Master Thesis Proposals and Master Thesis Results - contact your supervisor for getting a slot) per semester that are open for everybody. The seminar takes place in Seminarraum DE0110 (albeit we also offer limited hybrid participation via Zoom, for supervisors who cannot come physically). Note that presentations and regular student's attendance are expected to be physical, however.

Day  Date           Time             Room     Supervisor   Author             Title of Master thesis/proposal                     Online Medium
Mon 25.09.2023 ZOOMspecial
10:15 DE0110 M. Vincze Stefan Schweng A Deep Learning Approach for Stem-Base Detection of Row Crop Plants
  10:45 DE0110 Steininger Christian Fiedler Proposal: Didactic Illustration of Selected Clock Synchronization Algorithms in Exercises and Implementations
  11:05 DE0110 A. Kugi/M. Vu Paul Bauer Trajectory Planning and Control of a Quadcopter for an Indoor Application
11:35 DE0110 Steininger Sebastian Wiedemann go2async: A high-level synthesis tool for asynchronous circuits based on click-elements
Thu 28.9.2023
13:15 DE0110 Maffei Aron Wussler Post-Quantum safe Cryptography in OpenPGP
13:45 DE0110 Schmid Peter Pacheiner Comprehensive Characterization of Consensus Solvability in
Dynamic Networks with Transient Stability
14:15 DE0110 Schmid Klaus Kraßnitzer Proposal: An Interactive Evaluation Framework for Graph-based
Decision Procedures in Directed Dynamic Networks
 
 
 
Mon 27.11.2023 ZOOMneu
11:15 DE0110 Kastner/Th. Frühwirth Donald Acker Proposal: Semi-Automated Verification of Functional Safety Configurations
  
11:35 DE0110 Steininger/Huemer Oliver Haschke Comparison of QDI Adders  
12:05 DE0110 Grosu/Berducci Felix Resch Autonomous Racing using Attention Based Neural Networks  
12:35 DE0110 Grosu/Berducci Fabian Kresse Proposal: Deep Off-Policy Evaluation with Autonomous Racing Cars
  
   
Mon 22.1.2024 ZOOMneu
11:15 DE0110 Puschner/Maroun Jerome Hue Interprocedural Constant Loop Bound Propagation for the Patmos Architecture  
11:45 DE0110 W. Steiner Stefan Walser Time-aware Container-based Virtualization  
12:15 DE0110 M. Vincze/J.-B. Weibel Richard Steininger Proposal: Cable Manipulation with a Mobile Robot
  
12:35 DE0110 Schmid Josef Salzmann Waveform Prediction of Digital Circuits by Sigmoidal Approximation  

 

TI Bachelor Thesis Presentations

To also support our Bachelor students, the table below contains the dates of selected presentations of TI Bachelor theses :

Day Date Time Room Supervisor Author Title of Bachelor thesis Online Medium