جستجوی استاد راهنمای دانشگاهی

• Brain-Computer Interface
• Biomedical Engineering
• Neuroprosthetics
• +۵ مورد دیگر

Prof. Dr. Gernot R. Müller-Putz is Head of the Institute of Neural Engineering and the Graz Brain-Computer Interface Lab at Graz University of Technology. He serves as Dean of the Faculty of Computer Science & Biomedical Engineering and holds editorial roles at Frontiers in Human Neuroscience IEEE Transactions in Biomedical Engineering Brain-Computer Interface Journal . With over 212 peer-reviewed publications and an h-index of 80, his research focuses on Brain-Computer Interfaces , Neuroprosthetics , and EEG-based Motor Control . His work investigates: Neural signal decoding for spinal cord injury rehabilitation Hybrid BCI systems with error processing Artificial sensory feedback mechanisms Machine learning applications in neural engineering VR-based neurofeedback environments Non-invasive multimodal biosignal recording Research trends show strong emphasis on EEG signal processing , BCI clinical applications , and neurotechnology integration . Scientific Awards : ERC Consolidator Grant (2015) Ludwig-Guttman Award (2017) CYBATHLON Best Paper (2019) State of Styria Research Award (2019) Förderstipendium (2013-2014) He advises 21 PhD students and has managed major projects like MoreGrasp (EU Horizon 2020) , Feel Your Reach (ERC) , and INTRECOM (EU EIC Pathfinder) . The Institute hosts the BCI Racing Team Mirage91 and offers international thesis opportunities.

• Fault-Tolerant Distributed Algorithms
• Digital Integrated Circuits
• Topology
• +۷ مورد دیگر

Ulrich Schmid is a Full Professor and Head of the Research Unit for Embedded Computing Systems at TU Wien. He holds a position in the Faculty of Informatics and leads the department of Embedded Computing Systems (E191-02). His roles include Curriculum Coordinator for the Bachelor and Master programs in Computer Engineering, as well as the Excellence Program Bachelor with Honors. He is also the Chair of the Curriculum Commission for Computer Engineering and a Substitute Member of the Informatics Commission. His research focuses on fault-tolerant distributed algorithms, digital integrated circuits, and topology-based approaches to distributed systems. He coordinates major projects such as the FWF-funded DMAC (2019–2024) and ByzDEL (2020–2025), which integrate topological semantics and hybrid delay models for robust hardware design and distributed system analysis. Schmid has contributed to groundbreaking work in Byzantine fault tolerance, epistemic logic for system recovery, and real-time scheduling through collaborations with researchers like Chatterjee, Függer, and Rajsbaum. Notable awards include the 2018 Edsger W. Dijkstra Prize and the 2021 Principles of Distributed Computing Doctoral Dissertation Award. His research also bridges formal verification techniques with physical hardware implementations, exemplified by projects like HEX (a Byzantine-tolerant clock distribution system) and the Involution tool for timing analysis. Schmid actively contributes to academic governance, advancing rigorous education and research standards in computer engineering. His advising and grant work involve mentoring on fault-tolerant architectures and securing funding from agencies like FWF and the European Commission. Labs and teams under his leadership include the Embedded Computing Systems group, specializing in hardware-software co-design for dependable systems-on-chip, and collaborations with institutions like GSI Helmholtzzentrum and the University of Amsterdam.

• Distributed Systems
• Fault-Tolerant Computing
• Asynchronous Algorithms
• +۳ مورد دیگر

Prof. Ulrich Schmid is a full professor at TU Wien, affiliated with the Forschungsbereich Embedded Computing Systems. His research focuses on distributed systems, fault-tolerant computing, and asynchronous algorithms. He leads projects like 'Asynchronous Distributed Algorithms in the Theta-Model' and 'Gracefully Degrading Agreement in Directed Dynamic Networks.' Prof. Schmid has received honors at TU Wien and actively supervises numerous students in PhD and Master's programs. His academic work spans theoretical foundations (e.g., epistemic logic in Byzantine systems) and practical applications (e.g., digital circuit delay modeling). Key contributions include hybrid delay models for integrated circuits and formal verification frameworks for timed circuits. Collaborations involve institutions like the Institut für Technische Informatik and the E191-02 research group. Notable research areas: Byzantine fault tolerance, consensus protocols, and embedded systems Leadership in 4 major projects addressing distributed computing challenges Recipient of TU Wien honors (2021) Prof. Schmid's lab emphasizes bridging theoretical computer science with hardware-software co-design, producing over 220 publications and 10+ supervised theses since 2000.

• Distributed Systems
• Cloud Computing
• Edge Computing
• +۴ مورد دیگر

Thomas Werner Pusztai is a Researcher at the Department of Distributed Systems, TU Wien. His work focuses on cloud-edge continuum systems, serverless computing, and service-level objective (SLO) management. He contributes to projects like RapidREC, TEADAL, and the EU-funded RAINBOW initiative. His research spans distributed scheduling algorithms, edge-cloud resource allocation, and SLO-aware middleware frameworks like Polaris and HyperDrive. Education: Completed a Diploma in Computer Science at TU Wien with a thesis on Model-based design and architecture of fog computing applications (2019). Active in academic conferences, presenting at IEEE/ACM Edge Computing, Cloud, and Fog/Edge events. Research interests include edge computing, cloud-native systems, IoT applications, and optimizing SLO compliance through novel scheduling techniques. His work emphasizes practical frameworks for real-world distributed systems challenges. Projects include developing HyperDrive for serverless function scheduling in 3D edge-cloud spaces, Polaris for SLO-aware microservices orchestration, and SLO Script for complex elasticity-driven SLO implementations.

• Cryptocurrencies
• Blockchain Interoperability
• Blockchain Scalability
• +۳ مورد دیگر

Giulia Scaffino is a PreDoc Researcher in the Security and Privacy group at the Technical University of Vienna (TU Wien). Her research focuses on cryptocurrencies, blockchain interoperability, scalability, off-chain protocols, and decentralized finance (DeFi). She holds an MSc in Nuclear and Particle Physics from the University of Pavia, Italy, and is pursuing a PhD at TU Wien. Before her PhD, she worked as a Salesforce developer at Deloitte Digital in Milan. Giulia is involved in projects such as CDL-BOT (2020–2025), Browsec (2018–2024), CoRaF (2022–2025), and SFB SPyCoDe (2023–2026). Her work includes developing frameworks for cross-blockchain smart contracts, optimizing light clients for DeFi, and creating scalable blockchain bridges. She has contributed to publications on topics like IoT data marketplaces and distributed key generation using zk-SNARKs. Her research trends emphasize solving blockchain scalability challenges through innovative protocols and enhancing interoperability between different blockchain systems. Projects like Glimpse and Alba highlight her focus on efficient, secure, and decentralized solutions for modern blockchain ecosystems.

• Formal Methods
• Cyber-Physical Systems
• Probabilistic Programming
• +۴ مورد دیگر

Ezio Bartocci is a Full Professor in Formal Methods for Cyber-Physical Systems Engineering at TU Wien's Faculty of Computer Science. He leads the Trustworthy Cyber-Physical Systems (TrustCPS) Group within the Cyber-Physical System Research Unit. His research focuses on formal verification, probabilistic systems, and runtime monitoring, with applications in autonomous systems, safety-critical software, and embedded systems. Roles & Affiliations: Full Professor, TU Wien (100% research focus) Principal Investigator in projects funded by EU, WWTF, FFG, and industry partners Chair of the Curriculum Commission for Computer Engineering Editor-in-Chief of the Formal Methods in Outer Space series Research Interests: Formal methods for CPS: verification, synthesis, and runtime monitoring Probabilistic programming and loop analysis Temporal logic specifications and mining Automated tools for safety-critical systems (e.g., Polar, MoonLight) Applications in healthcare, robotics, and autonomous vehicles Key Projects: ProbInG (2020–2025): Analyzing probabilistic loops ARTIST (2021–2026): AI and robotics safety EdgeAI (2022–2025): Optimizing embedded processing TAIGER (2023–2027): Trustworthy AI and CPS Grants & Funding: €10M+ secured from EU Horizon 2020, WWTF, FFG, and industry partners like TTTech Auto AG. Academic Leadership: Teaches courses on logical methods, CPS engineering, and scientific research at TU Wien. Supervises PhD students in formal methods and CPS domains. Tools Developed: Polar (probabilistic loop analyzer), MoonLight (spatio-temporal monitoring), and FIM (fault injection tool).

Frank Pallasمشاهده پروفایل

استاد

• Privacy Engineering
• Policy-Aligned Systems
• Techno-Legal Implications
• +۷ مورد دیگر

Frank Pallas is a Professor at the Paris Lodron University of Salzburg, affiliated with the Faculty of Digital and Analytical Sciences. His research focuses on Privacy Engineering and Policy-Aligned Systems (PEPSys), integrating technical and legal aspects of emerging technologies. Education: Dipl.-Inform. and Dr.-Ing. in Computer Science from TU Berlin His work emphasizes techno-legal privacy engineering , policy-alignment mechanisms , and experimental assessment of privacy techniques , addressing anonymity, utility metrics, and societal impacts. Recent publications explore data anonymization, GDPR compliance, and privacy in distributed systems. Key projects include co-leading Salzburg's EXDIGIT initiative for digital sciences. Activities span organizing international workshops on privacy engineering, media contributions, and third-mission engagements like public lectures on digital privacy.

• Computer Engineering
• Fault-Tolerant Computing
• Asynchronous Logic
• +۷ مورد دیگر

Andreas Steininger is an Associate Professor in the Department of Embedded Computing Systems at TU Wien. His primary research focuses on fault-tolerant computing, asynchronous logic, and dependable systems. He leads the Embedded Computing Systems group and serves as Director of the Curriculum Commission for Computer Engineering. His work emphasizes resilient hardware architectures, radiation effects in microelectronics, and timing domain interfacing. He has contributed to numerous projects with industry partners like Intel and TTTech Auto AG, addressing challenges in trustworthy autonomous systems and robust distributed algorithms. Key research interests include asynchronous circuits, clockless processors, and error detection mechanisms. He has over 50 publications in top-tier conferences and journals, including IEEE Transactions and ASYNC. Notable contributions include methodologies for mitigating single-event transients in QDI logic and fault-tolerant clock generation schemes. He teaches advanced courses in digital design, computer engineering, and scientific research methods. His projects span radiation-hardened ASIC design, metastability analysis in FPGAs, and secure IoT architectures. He actively collaborates with automotive and aerospace industries to develop solutions for embedded systems reliability. Recent work explores fault resilience in neural networks and energy-efficient asynchronous microprocessors.

Andrea Morichettaمشاهده پروفایل

پژوهشگر

• Machine Learning
• Distributed Systems
• Edge Computing
• +۷ مورد دیگر

Andrea Morichetta is a University Assistant (Postdoc) at the Institute of Information Systems Engineering, Technische Universität Wien, Austria. He leads research in distributed systems, focusing on the intersection of machine learning and systems design. His work emphasizes edge computing, cloud-native systems, and AI-driven resource management. Education: PhD in Electrical, Electronics, and Communications Engineering (Politecnico di Torino, 2020), supervised by Prof. Marco Mellia. Visiting researcher at Cisco (2017), AIT (2019). Research Interests: ML for cloud/edge systems, federated learning, predictive scaling, cybersecurity in distributed environments, and intent-based systems management. Recent work explores multi-dimensional elasticity in stream processing, asynchronous federated learning, and self-referential digital anatomies. Teaching: Courses include Distributed Systems (VO), Distributed Systems Technologies (VU), and project/seminar courses (SE/PR). Actively supervises bachelor/master theses on topics like federated learning, edge computing, and serverless architectures. Key Contributions: Developed Polaris scheduler for SLO-aware edge scheduling, FL-SERENADE for network anomaly detection, and RainCloud for IoT swarm coordination. Co-authored over 50 peer-reviewed papers in top venues (IEEE Cloud, SOSE, ICSOC). Awards: 2019 Best Poster Runner-Up (TMA Paris), 2018 Best Student Paper (ITC Vienna).

Esparza Javierمشاهده پروفایل

استاد

• Algorithms and tools for the design and verification of reactive and distributed systems
• Verification of systems with infinitely many states
• Software Model Checking
• +۷ مورد دیگر

Javier Esparza is a Professor at the Technische Universität München, holding the Chair of Foundations of Software Reliability and Theoretical Computer Science since 2007. Prior to this, he held chairs at the University of Stuttgart (2003-2007) and the University of Edinburgh (2001-2003), along with academic positions dating back to 1990. Education: M.S. in Theoretical Physics (1987, University of Zaragoza), Ph.D. in Computer Science (1990, University of Zaragoza), and Habilitation in Computer Science (1994, University of Hildesheim). His research focuses on formal verification, distributed systems, and software reliability, particularly through algorithms for software model checking, logic and automata theory, and analysis of probabilistic systems. His work has been supported by numerous grants from the German Research Council (DFG), British Engineering and Physical Sciences Research Council (EPSRC), and the Humboldt Foundation. Scientific Awards: Doctor honoris causa from Masaryk University (2009), TeachInf Awards for best Bachelor and Master courses (2009, 2010), TU München Diploma for excellent teaching (2011), Member of Academia Europaea (2011), and Dissertation Prize from the University of Zaragoza (1990). Esparza has supervised over 15 PhD students, including Dr. Stefan Schwoon, Dr. Claus Schröter, and Dr. Michael Luttenberger, and collaborated on research projects with institutions across Europe and the UK.

• High-Performance Computing
• Parallel Programming
• GPU Computing
• +۳ مورد دیگر

assoz. Prof. Dipl.-Ing. Dr. Peter Thoman is an Associate Professor in the Department of Computer Science at the University of Innsbruck. His work focuses on high-performance computing, parallel programming models, and GPU-accelerated systems. He leads research in areas such as SYCL standard implementations, distributed computing optimizations, and energy-efficient algorithms for exascale applications. His research interests include task-based parallelism, heterogeneous computing architectures, and scalable runtime systems. Notable contributions include the Celerity API for accelerator clusters and the LIGATE drug discovery platform. He is affiliated with the University of Innsbruck’s technical research groups and collaborates on projects like the AllScale framework. Dr. Thoman’s teaching includes courses on parallel programming and high-performance computing systems. He is a member of the Department’s leadership team under Prof. Thomas Fahringer.

Dan Alistarhمشاهده پروفایل

استاد

• Machine Learning
• Distributed Computing
• Optimization
• +۴ مورد دیگر

Dan Alistarh is a Professor at the Institute of Science and Technology Austria (IST Austria) and leads the Deep Algorithms and Systems Lab (DASLab). His research focuses on efficient algorithms and systems for machine learning, including distributed optimization, sparse and quantized neural networks, and scalable training/inference techniques. He holds a PhD from École Polytechnique Fédérale de Lausanne (EPFL) and has held positions at MIT, Microsoft Research, and ETH Zurich. Research interests: Optimization for data analysis, parallel and distributed optimization, efficient machine learning algorithms, and distributed systems. Collaborations include work on optimization under uncertainty with Immanuel Bomze, Radu Bot, and others. Publications span top venues like NeurIPS, ICML, and DISC, with notable contributions in model compression (e.g., GPTQ, SparseGPT), communication-efficient distributed training, and concurrency algorithms. Awards include ERC grants and best paper awards. He advises a team of PhD students and postdocs, and his lab's tools are widely used (e.g., GitHub repositories). His work has been adopted in industry (e.g., OpenAI, Neural Magic).

Matthias Függerمشاهده پروفایل

استاد

• Computer Architecture
• Embedded Systems
• Digital Circuits
• +۳ مورد دیگر

Matthias Függer is a Professor at the Department of Technical Computer Science within TU Wien's Institute for Technical Informatics. His research focuses on digital circuit design, fault-tolerant systems, and distributed computing. He has contributed to advancements in metastability containment, clock synchronization, and consensus algorithms in dynamic networks. His work bridges theoretical computer science with practical applications in embedded systems and VLSI design. Education details are not explicitly provided, but his academic role suggests a doctoral background. Notable projects include the development of the Involution Tool for timing analysis and collaboration on resilient circuit models under adversarial conditions. His research has been published in prestigious conferences and journals, emphasizing interdisciplinary approaches to solving challenges in asynchronous systems and fault tolerance. Labs/Teams: Network Lab at TU Wien. Advising: Advised Markus Hofstätter on his thesis involving FPGA-based Byzantine fault tolerance.

Jordi Cortadellaمشاهده پروفایل

استاد

• Electronic Design Automation (EDA)
• Concurrency Theory
• Asynchronous Circuits
• +۶ مورد دیگر

Jordi Cortadella is a Full Professor in the Department of Software at the Universitat Politècnica de Catalunya (UPC), Spain. His academic journey spans decades, with a Ph.D. in Computer Science from UPC (1987) and visiting roles at institutions like UC Berkeley and Intel Corporation. A Fellow of the IEEE (2015) and member of Academia Europaea (2013), he specializes in formal methods, concurrency theory, and asynchronous circuit design. His work bridges theoretical and applied research in EDA tools and VLSI systems. Education M.S. in Computer Science, UPC (1985) Ph.D. in Computer Science, UPC (1987) Research Interests : Cortadella's research focuses on algorithms for electronic design automation, asynchronous circuits, and formal methods. Recent publications explore Petri net decomposition, dataflow circuit verification, and ethical frameworks for research governance. His work impacts both theoretical concurrency models and practical applications like FPGA optimization and energy-efficient design. Scientific Awards : Fellow of the IEEE (2015) Member of Academia Europaea (2013) Distinction for University Research Promotion (Catalan Government, 2003) Descartes Prize Finalist (2002) Best Ph.D. Thesis at UPC (1992) National Award for Best Computer Science Student (1986)

• Augmented Reality
• Remote Support Systems
• Digital Collaboration Tools
• +۵ مورد دیگر

Andrea Aschauer is a researcher at FH Hagenberg , affiliated with the Department of Information and Communication Technology and active in the Digital Media Lab . Her work intersects Augmented Reality , Remote Support Systems , and ICT Innovation , with a focus on 3D Printing for Medical Devices and Biodiversity Monitoring via UAVs . Her recent publications highlight trends in Digital Collaboration Tools and Interactive Visualization . Key projects include LOG-REWWay (2012-2026) for Waterway Logistics , MOVE (2023-2024) for Orthosis Modeling , and BAMBI (2022-2025) on Intelligent UAV Sampling . She collaborates with researchers like Andreas Stöckl and Klaus Probst. Contact: Andrea.Aschauer@fh-hagenberg.at