جست‌وجوی استاد و پژوهشگر

Burak Özمشاهده پروفایل

پژوهشگر ارشد

• Blockchain Economics
• Maximal Extractable Value (MEV)
• Decentralized Finance (DeFi)
• +۳ مورد دیگر

Burak Öz is a Research Fellow at the Chair of Software Engineering for Business Information Systems (sebis) at the Technical University of Munich (TUM). His research focuses on blockchain economics, maximal extractable value (MEV), decentralized finance (DeFi), and Ethereum systems. University: Technical University of Munich School: Faculty of Informatics Department: Software Engineering for Business Information Systems Mr. Öz's research explores MEV extraction techniques, cross-chain arbitrage, and blockchain transaction ordering. He has contributed to foundational studies on MEV mitigation, smart contract optimization, and decentralized finance infrastructure. His recent work focuses on cross-chain MEV extraction and blockchain interoperability. He has published extensively in conferences like IEEE ICBC, ACM SAC, and AFT, with keywords spanning Ethereum, DeFi, and automated market makers. TLDR Research Fellow 2024 Burak Öz co-supervises master's theeses on MEV detection, transaction ordering, and blockchain security. He also teaches courses on blockchain systems engineering and software engineering for business applications at TUM.

Maron Schlemonمشاهده پروفایل

پژوهشگر

• High-Performance Computing
• Parallel Programming
• Synthetic Aperture Radar
• +۷ مورد دیگر

Maron Schlemon is a Ph.D. candidate and Researcher at the Technical University of Munich (TUM), affiliated with the Chair of Computer Architecture and Parallel Systems . He also serves as the CEO of IT4Medic since January 2023, leading embedded software projects and IT infrastructure development. Education: M.Sc. in Industrial Engineering / Computer Science (April 2016 – September 2017), Braunschweig University of Technology , Final Grade: Excellent (GER: 1.5) Maron’s research focuses on High-Performance Computing (HPC) , Parallel Programming , and Synthetic Aperture Radar (SAR) processing, particularly optimizing algorithms for embedded and resource-constrained systems. His work bridges Hardware-Software Co-Design , LoRaWAN Applications , and STM32 Micro-Controller Programming . Recent publications highlight trends in FPGA Acceleration , On-Board SAR Image Processing , and Real-Time Systems for aerospace applications, reflecting expertise in integrating Embedded Systems with HPC Architectures . He received the Outstanding Paper Award from IEEE HPEC in 2022 for SAR optimization work. Awards & Honors: Outstanding Paper Award, IEEE High Performance Extreme Computing Conference, 2022 Projects & Software: Maron contributes to ongoing initiatives like SEANERGYS (EuroHPC) , PlasmaPEPS , and Q-DESSI (MQV) , while developing tools such as autopin , QMPI , and SWEET . His work extends to HPC assessments at the Munich Supercomputing Center (LRZ) and collaboration with the German Aerospace Center (DLR) since 2018.

• AI Accountability
• Socio-technical Systems
• Information Systems
• +۳ مورد دیگر

Long Hoang Nguyen serves as an Affiliated Researcher and PhD Candidate at the Technical University of Munich's Heilbronn campus within the Chair of Information Infrastructures (Prof. Ali Sunyaev). His work centers on AI accountability, integrating perspectives from Information Systems, Computer Science, and Law to examine socio-technical implications for stakeholders, particularly AI developers. He earned a Master’s degree in Information Systems from the University of Potsdam, specializing in Data Science and Human-Computer Interaction. His academic background is complemented by professional experience as a Research Assistant at Berlin's Weizenbaum Institute and as a Software Engineer at a Potsdam-based high-performance computing startup. Nguyen's research investigates how accountability mechanisms shape developer behavior in AI systems. He explores reward structures that encourage proactive accountability and synthesizes cross-disciplinary accountability frameworks, highlighting the interplay between technical design, legal requirements, and social dynamics in responsible AI development. His 2024 publications reveal a focus on practical accountability interventions for developers and interdisciplinary accountability dimensions. This work contributes to emerging trends in ethical AI, emphasizing actionable strategies for embedding accountability throughout the AI lifecycle. Scientific awards and major honors were not mentioned in the available information. He mentors students on thesis projects related to AI ethics, autonomous systems, and blockchain, with current topics including ethically aligned harm mitigation in autonomous driving and decentralized software applications. No specific research grants are detailed in the provided materials. Nguyen contributes to the AAIS research project (Accountable Artificial Intelligence-based Systems: A Multi-Perspective Analysis) within the Chair of Information Infrastructures, collaborating on multi-disciplinary investigations into AI accountability frameworks and developer practices.

• Physical Unclonable Functions
• Fault Attacks
• Security for Internet of Things
• +۵ مورد دیگر

Christoph Frisch is a researcher at the Chair of Information Security at the Technical University of Munich , focusing on Physical Unclonable Functions (PUFs) and their applications in hardware security. His work explores the intersection of coding theory, information theory, and secure implementation of cryptographic primitives. Current research emphasis on entropy-area trade-offs in quantization schemes for PUFs Contributions to reliability enhancement of security primitives and min-entropy estimation Active in hardware reverse engineering and side-channel attack countermeasures His publications reveal a strong focus on IoT security and post-quantum cryptography , with recent work addressing memristor-based PUFs and polar decoder implementations. No scientific awards are mentioned in the provided text. Teaching activities include delivering Lecture Series on System Security and Applied Cryptology courses since 2017, indicating a dual role in research and education.

• Hardware Security
• Cryptography
• Lightweight Cryptography
• +۴ مورد دیگر

Michael Tempelmeier is a researcher at the Chair of Information Security, Technical University of Munich (TUM), specializing in hardware security and cryptographic implementations. His work focuses on authenticated encryption, lightweight cryptography (NIST LWC/CAESAR), and the development of evaluation frameworks for cryptographic hardware. He actively contributes to teaching, holding the Zertifikat Hochschullehre der Bayerischen Universitäten and leading courses like Angewandte Kryptologie and SmartCard Projektpraktikum . Tempelmeier's research centers on optimizing and securing cryptographic implementations for embedded systems. Key areas include: Design of hardware APIs for lightweight cryptography Side-channel and fault-attack countermeasures Trusted hardware gateways for IoT devices Efficient benchmarking methodologies for cryptographic hardware His publications demonstrate consistent focus on hardware vulnerabilities, cryptographic efficiency, and standardized evaluation frameworks. He maintains active involvement in tool development (e.g., MaskVer for detecting flawed masking implementations) and contributes to major projects like the Hardware API for Lightweight Cryptography. No awards or direct student supervision are mentioned in the provided text.

Florian Pfaffمشاهده پروفایل

استادیار

• Sensor Fusion
• Estimation Theory
• Multi-target Tracking
• +۴ مورد دیگر

Florian Pfaff is a Junior Professor (Assistant Professor) at the Institute of Automation and Software Systems, University of Stuttgart, leading the professorship for "Cognitive Sensor Technology for Future Mobility". He earned his doctorate in computer science from Karlsruhe Institute of Technology (KIT) with summa cum laude distinction. His research focuses on: Sensor fusion and multi-target tracking algorithms Probabilistic modeling for robotic systems Industrial automation and optical material sorting Estimation theory for high-dimensional spaces His publication trends show strong emphasis on sensor-based sorting systems, stochastic filtering techniques, and applications of machine learning in industrial automation. Recent work demonstrates increasing focus on 3D pose estimation and real-time control systems. Awards and honors include: ISIF Young Investigator Award SICK Science Award for best doctoral thesis Inclusion in "Excellent Computer Science Dissertation" compendium Multiple best paper awards He has led research projects at KIT on optical bulk material sorting, served as visiting scholar at University College London, and visiting professor at University of Oxford. He teaches courses on software systems and sensor networks. Leads the Cognitive Sensor Technology research group at University of Stuttgart, focusing on sensor fusion applications for mobility systems.

Álvaro Lópezمشاهده پروفایل

پژوهشگر

• Machine Learning
• 5G Networks
• Wi-Fi
• +۳ مورد دیگر

Álvaro López is a Research Associate at the Fraunhofer Heinrich Hertz Institute (HHI) in Berlin, Germany, where he joined the Multimedia Communications Group in 2023. His work focuses on next-generation mobile communications and 5G standardization within the 3GPP RAN2 activities. His educational background includes: B.Sc. in Telecommunications Systems Engineering from Universitat Politècnica de Catalunya (UPC), 2015 M.Sc. in Wireless Communications Systems from Universitat Pompeu Fabra (UPF), 2017 Ph.D. in Information and Communication Technologies from UPF, 2022 Dr. López's research interests center on the intersection of machine learning and wireless communications . He develops autonomous learning techniques for 5G and beyond, with emphasis on Wi-Fi multi-link operations , traffic allocation , and network optimization to enhance next-generation communication systems. His publications (2016-2022) reveal a consistent focus on wireless networking evolution, particularly IEEE 802.11 standards (Wi-Fi 6/7) and 5G. Key trends include machine learning integration for self-organizing networks, multi-link resource management, and performance optimization in heterogeneous wireless environments. No information is available regarding students advised or specific research grants. His 3GPP standardization participation indicates industry-collaborative project involvement. At Fraunhofer HHI, Dr. López contributes to the Multimedia Communications Group's work on video coding, 5GXR, volumetric video, and Versatile Video Coding (VVC), advancing multimedia transmission for emerging applications like virtual reality.

Denise Kahlمشاهده پروفایل

پژوهشگر

• Augmented Reality
• Visualization
• Tangible User Interfaces
• +۱۰ مورد دیگر

Dr. Denise Kahl , affiliated with the Saarland Informatics Campus and the German Research Center for Artificial Intelligence , is a Researcher at the Ubiquitous Media Technology Lab . Her work focuses on Augmented Reality , Tangible User Interfaces , and Visualization , with a strong emphasis on prototyping interactive systems. Email: Denise.Kahl@dfki.de Office: Building Gebäude D3 4, Room +1.79, Saarbrücken, Germany Research Interests : Dr. Kahl specializes in Tangible Augmented Reality , exploring how environmental lighting affects AR perception, gaze-based interaction design, and adaptive scrolling algorithms for collaborative reading. Her projects include IRL APPsist , KoPoSaB , and ForeSight , aiming to integrate AR into daily applications like retail, smart homes, and educational tools. Key areas: Human-Computer Interaction , User Experience Design , and Smart Glasses Recent trends: Optical See-through AR , Peripheral Vision Clarity , and Motion Gestures for Mobile Payment Teaching & Advising : She has coordinated Programming for Engineers (Summer 2017) and led Multi-User Gaze-Based Interaction seminars in 2014 and 2017. She supervises Master's theses on topics like virtual scene authoring, performance support via smart glasses, and adaptive gaze direction in AR.

Marcel Kösterمشاهده پروفایل

پژوهشگر

• GPGPU
• Particle Simulations
• Compilers
• +۱ مورد دیگر

Dr. Marcel Köster is a researcher affiliated with the Ubiquitous Media Technology Lab at the German Research Center for Artificial Intelligence (DFKI) and the Saarland Informatics Campus. His work focuses on GPGPU computing, particle simulations, compilers, and optimization techniques. Email: Marcel.Koester@dfki.de Phone: +49 681 85775 7750 Location: Gebäude D3 1, Room 0.13, Saarbrücken Research Interests Dr. Köster's research integrates GPU computing with simulation algorithms and compiler optimization. He contributes to advancements in parallel processing, domain-specific languages, and scientific visualization through both theoretical exploration and practical implementations. His publications highlight innovative applications of GPU acceleration to heuristic optimization, state generation, and particle simulations. These works demonstrate expertise in thread compaction, shared memory utilization, and warp scheduling. Teaching Experience Dr. Köster has taught multiple courses at HBK Saar, including: Artificial Intelligence (Summer 2019) Grundlagen der Medieninformatik (Winter 2016/17) Physical Simulations on Media Facades (Winter 2015/16) Core Lecture: Compiler Construction (Winter 2013/2014)

Nico Herbigمشاهده پروفایل

پژوهشگر

• Machine Translation
• Human-Computer Interaction
• Multi-Modal Interfaces
• +۳ مورد دیگر

Dr. Nico Herbig is a researcher at the Ubiquitous Media Technology Lab (UMTL) at Saarland University, holding a Dr.-Ing. degree awarded in 2022 for his PhD thesis on multi-modal post-editing of machine translation. His work bridges human-computer interaction and language technologies, focusing on enhancing translator productivity through innovative interface design. Herbig's primary research explores Machine Translation and Human-Computer Interaction , with specific expertise in multi-modal post-editing systems that reduce cognitive load. His investigations into gesture-based interfaces, handwriting recognition, and speech commands for translation workflows represent significant contributions to the field. Recent work extends into E-Learning applications where multi-modal cognitive load detection improves adaptive learning systems, and Retail Technology focusing on sustainable food systems and intelligent shopping interfaces. Analysis of his 15 most recent publications (2018-2022) reveals a consistent focus on multi-modal translation interfaces, with 70% dedicated to post-editing enhancement. His work increasingly integrates physiological sensors for cognitive load measurement (2019-2021) and expands into cross-domain applications like e-learning (2020) and retail (2017-2018). The publications demonstrate strong industry relevance through collaborations with professional translators and practical implementations in CAT tools. As an academic advisor, Herbig has supervised 7 Master's theses and 3 Bachelor's theses between 2017-2020. Key projects include ImpoWord MTQE (2020), IPE visualization (2020), and tangible AR systems for retail (2018). His teaching portfolio includes Web Development courses (2017-2018) and the 'Livestreaming Meets HCI' seminar (2017), reflecting his interdisciplinary approach. Herbig operates within the Ubiquitous Media Technology Lab led by Prof. Dr. Antonio Krüger, collaborating on projects including MMPE (Multi-Modal Post-Editing), VICAR, HyperCOG, and KOALA. The lab's research spans intelligent retail systems (e.g., 'intelligent fruit stand'), factory layout planning (DEPlata), and sports technology (OmniSports), with Herbig contributing core expertise in human-centered translation interfaces and cognitive load optimization.

Anna Fuchsمشاهده پروفایل

پژوهشگر

• Parallel I/O
• Compression
• Distributed Parallel Filesystems
• +۳ مورد دیگر

Anna Fuchs is a researcher at the Department of Computer Science, Faculty of Mathematics, Informatics and Natural Sciences at University of Hamburg, working at DKRZ (German Climate Computing Centre). She began her doctoral research in June 2016 focusing on parallel I/O and compression within distributed parallel filesystems. Currently, she serves as contact person for various courses including "High Performance Computing" and supervises Master's and Bachelor's theses. Her research interests center around High Performance Computing with specific focus on: Parallel I/O systems Data compression techniques for distributed filesystems Lustre and ZFS filesystem optimization Machine learning applications for data reduction Performance analysis of HPC systems Anna Fuchs' publication record demonstrates a consistent focus on data management and optimization in high-performance computing environments. Her work spans from theoretical aspects of data compression to practical implementations in filesystems like Lustre. Recent publications show an increasing integration of machine learning techniques to improve data-aware compression algorithms, particularly evident in her 2022 paper "Data-Aware Compression for HPC using Machine Learning" which appeared in multiple venues including ACM SIGOPS and CHEOPS2022. She has supervised numerous Master's and Bachelor's theses, guiding students through research on topics related to parallel systems, filesystem optimization, and data compression. Her teaching portfolio includes: Lecture "High Performance Computing" Seminar "Supercomputers: Research and Innovation" Project "Parallel Systems" for both regular and advanced students Student Cluster Competition mentorship

Jannek Squarمشاهده پروفایل

پژوهشگر

• High-Performance Computing
• Parallel Computing
• Code Transformation
• +۵ مورد دیگر

Dr. Jannek Squar is a researcher affiliated with the University of Hamburg and the German Climate Computing Centre (DKRZ). His work focuses on high-performance computing (HPC) infrastructure, code transformation, and parallelization techniques. Academic Rank: Researcher Key Projects: i_SSS (Integrated Support System for Sustainability), HLRE-5 Supercomputer Procurement His research spans automatic code transformation using LLVM , parallelization via OpenMP/MPI , and high-performance I/O optimization . Recent publications highlight applications in sustainable agriculture and compiler-assisted HPC performance analysis. He has supervised multiple theses on topics including elastic cloud solutions, MPI communication modeling, and LLVM-based code verification. No scientific awards are explicitly mentioned in the provided text.

Martin Vechevمشاهده پروفایل

استاد

• Programming Languages
• Software Analysis
• Static Analysis
• +۴ مورد دیگر

Martin Vechev is a Professor in the Department of Computer Science at ETH Zurich, leading the Secure, Reliable, and Intelligent Systems (SRL) Lab. His research bridges programming languages, software analysis, and emerging domains like quantum computing, with significant contributions to static analysis, abstract interpretation, and machine learning for code. His primary research interests include programming languages, static analysis, abstract interpretation, and quantum computing. Vechev has pioneered scalable techniques for software verification, particularly in concurrency and security analysis, and has recently driven innovations at the intersection of programming languages and quantum software development. His work emphasizes practical applications while maintaining theoretical rigor. Analysis of Vechev's recent publications reveals a strategic evolution toward quantum programming languages and machine learning integration. His lab has shifted from traditional static analysis to developing foundational frameworks for quantum circuit synthesis (e.g., Silq, Unqomp) and robust neural network certification, addressing critical challenges in quantum resource management and AI safety. The SRL Lab under Vechev's direction focuses on building intelligent systems that are inherently secure and reliable through advanced program analysis techniques. The lab's research spans theoretical foundations to industrial-strength tools, with strong emphasis on quantum software engineering and the application of machine learning to code understanding and generation.

Olivier Flückigerمشاهده پروفایل

پژوهشگر

• Programming Languages
• Compilers
• Just-In-Time Compilation
• +۶ مورد دیگر

Olivier Flückiger is a Researcher affiliated with Google , with past involvement at Northeastern University. He actively contributes to programming language design, compiler optimization, and runtime system verification through publications in venues like PLDI, POPL, and SPLASH. Current affiliation: Google Past affiliation: Northeastern University Committee roles in ECOOP, PLDI, VMIL, and SPLASH Research Interests : Just-In-Time Compilation and Speculative Optimization Function Specialization and Runtime Monitoring Lazy Evaluation and Intermediate Representations Security Implications of Compilation Techniques Language Implementation for Dynamic Languages Compiler Verification and Deoptimization Mechanisms Trends in Publications : His work focuses on hybrid dynamic verification, on-stack replacement, and type feedback mechanisms, emphasizing correctness in speculative optimizations and language migration challenges (e.g., R to strict semantics). Conference Leadership : Co-chair for ICOOOLPS 2021 Program Committee for VMIL, MPLR, and SPLASH tracks Artifact Evaluation Committee for ECOOP Volunteer and session chair roles in academic conferences

Kristóf Marussyمشاهده پروفایل

استادیار

• Model-Driven Engineering
• Dependability Analysis
• Logic Solvers
• +۴ مورد دیگر

Kristóf Marussy is an Assistant Professor at the Department of Artificial Intelligence and Systems Engineering, Budapest University of Technology and Economics. His work bridges model-driven engineering , dependability analysis , and logic solvers to address challenges in critical cyber-physical systems (railway, automotive, aerospace). He leads research in formal verification , automated reasoning , and graph generation , integrating AI with logic-based techniques for system reliability. His recent publications focus on stochastic analysis , abstraction algorithms , and distributed ledger architectures , often leveraging his tool Refinery for constraint-based model generation. Notable awards include the 2024 University Researcher Scholarship Programme (EKÖP) and the 2023 Josef Heim Award . He has served on program committees for OOPSLA, ECOOP, and MODELS. Education: PhD in Computer Science, Budapest University of Technology and Economics (2018–2023) MSc and BSc in Computer Science, Budapest University of Technology and Economics Professional Highlights: 2025–: Assistant Professor at BME, leading research in formal verification and graph-based logic reasoning 2020–2023: Assistant Research Fellow in Hungarian national projects (railway/automotive verification) 2018–2019: Assistant Research Fellow at MTA-BME Lendület Cyber-Physical Systems Research Group Scientific Contributions: Developed Refinery , an open-source graph solver for model generation Contributed to European Space Agency's VAMPIR project for positioning systems Created formal verification methods for critical subsystems in railway/automotive industries Awards: 2024 EKÖP Postdoctoral Scholarship Multiple ÚNKP Excellence Program grants (2016–2023) 2023 Josef Heim Award for innovation Conferences & Journals: Published 15+ papers in top venues (ICSE, ASE, MODELS, IEEETSE, etc.) Active in program committees for OOPSLA, ECOOP, and LLM4MDE Teaching: Course Coordinator for Critical Systems Laboratory since 2024 TA for 9 years, supervising 7 BSc and 4 MSc theses Advising Scientific Students' Association (5 Gold, 5 Silver awards)