Open Topics

The following contains currently open thesis topics in our areas of research. The concrete scope of a thesis can be defined on an individual basis.

In case of interest please contact us by email: sc-topics(at)lists.univie.ac.at

The potential supervisors are Atakan Aral, Enes Bajrovic, Siegfried Benkner, Arman Ferdowsi, João Ferreira Alves, Ruben Laso Rodriguez and Eduard Mehofer.

Programming Models, Languages and Concepts

• Programming of heterogeneous parallel systems
• Scientific codes and GPUs with oneAPI/DPC++/SYCL
• Accelerating scientific codes with modern vector units (vector processors and CPU/SIMD mode)
• Mojo (Python Programming Language for AI)

Cloud Computing

• Serverless Computing
• Scheduling Frameworks (Kubernetes, Mesos, ...)
• HPC in the Cloud

Edge Computing and Edge AI

• Distributed AI/ML Applications, Federated Learning
• IoT-Driven Monitoring Systems
• Neuromorphic Computing in Edge Devices
• Sustainable and Reliable Edge Computing
• Hardware for Edge AI (Raspberry Pi, Jetson Nano, Google Coral, Neuromorphic Chips)

Compute-Friendly Compression Formats for Large-Scale Matrices

• Compressed Graph Analytics
• Development of New Compression Formats
• Distributed and GPU Scaling of Algorithms on Compressed Data

Parallel Computing

• Parallelization of symbolic timing analysis of digital circuits using analytical delay derivations
• Parallel neuromorphic computing

Formal Verification

• Scaling SAT-based verification to distributed computing protocols
• Hardware Model Checking: Formal Verification of Safety and Correctness in Digital Systems

Time-Sensitive Computation

• Signalling strategies in distributed networks
• Safety analysis of real-time discrete-event and hybrid systems
• Temporal Information Encoding in Neuromorphic Computing: Representing and Processing Information through Spike Timing