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

Daniel Müller-Gritschnederمشاهده پروفایل

استاد مدعو

• TinyML
• Embedded Software Development
• Soft Error Resilience
• +۴ مورد دیگر

Daniel Müller-Gritschneder is an Adjunct Teaching Professor (Privatdozent) at the Technical University of Munich (TUM), affiliated with the Chair of Electronic Design Automation. He leads the 'Electronic System Level' research group, focusing on embedded systems, TinyML, virtual prototyping, and hardware resilience. He temporarily served as head of the Chair of Real-Time Systems (2019–2020) and holds a senior membership in IEEE. His research spans: TinyML : Optimizing neural network inference for microcontrollers. Virtual Prototyping : Fast simulation for embedded software development (e.g., ETISS simulator). Runtime Verification : Hardware monitoring for safety-critical systems. Fault Tolerance : Cross-layer resilience against soft errors. Design Automation : NoC synthesis and RISC-V toolchain optimization. His publications emphasize RISC-V-based systems, TinyML deployment, fault injection, and embedded AI. Recent works show trends toward compiler-assisted security, thermal management, and automated design-space exploration for edge devices. Awards: Best Paper Award (SiPS 2019) Habilitation Award (Bund der Freunde der TUM, 2019) 2nd Best Paper (SMACD'15) Best Paper nominations at DAC'07, DATE'10, Analog'10, NOCS'13 He advises researchers in the Electronic System Level group and contributes to EU projects (e.g., Scale4Edge). His lab develops tools like ETISS, MLonMCU, and Seal5 for RISC-V and TinyML ecosystems.

Julia Hartmannمشاهده پروفایل

استاد

• Sustainability Management
• Climate Change Mitigation
• Energy Transition Strategies
• +۵ مورد دیگر

Professor Julia Hartmann serves as the Chair of Sustainability Management at EBS Business School, part of EBS Universität für Wirtschaft und Recht in Oestrich-Winkel, Germany. Her research focuses on climate change mitigation, energy transition strategies, sustainable supply chain resilience, and ESG compliance. She leads a team supported by industry partners like Procter & Gamble and Tetra Pak, emphasizing practical applications of sustainability theory. Her work bridges data analytics (machine learning, natural language processing) with business strategies, published in top journals such as Journal of International Business Studies and Journal of Business Ethics . Hartmann teaches courses on strategic CSR, environmental management, and empirical data techniques, advising companies on ESG leadership and future readiness. Her recent work examines oil and gas industry transitions, supply chain liability, and pandemic resilience. She actively engages with media (TV, podcasts) to discuss sustainability challenges, contributing to public discourse on energy policy and corporate responsibility. Education & Career: While formal academic qualifications are not explicitly listed, her extensive publication record and professorial role indicate advanced doctoral training in business administration or related fields. She has held leadership roles at EBS since assuming the chair position. Research Interests: Her work spans three core areas: 1) Sustainable supply chain design and resilience, 2) Energy transition pathways for industries, and 3) Quantitative methods for measuring ESG impacts. She explores how media attention, legal frameworks, and consumer behavior shape corporate sustainability outcomes. Awards & Recognition: While no specific awards are cited, her peer-reviewed publications and industry partnerships reflect scholarly and practical impact. She was an invited speaker at major conferences like EurOMA 2024 and Arthur D Little CEO Insights Conference. Grants & Collaboration: Partnerships with Procter & Gamble and Tetra Pak support applied research initiatives. Her lab focuses on bridging academic insights with industry implementation through joint projects and executive education programs. Labs/Teams: The Chair of Sustainability Management serves as her primary research hub, hosting interdisciplinary projects on supply chain governance, climate policy, and digital sustainability tools.

• Embedded Systems
• Compilers
• Hardware-Software Co-Design
• +۵ مورد دیگر

Prof. Dr. rer. nat. Rainer Leupers is a faculty member at RWTH Aachen University, chairing the Department of Software for Systems on Silicon. His research focuses on embedded systems, hardware-software co-design, virtual prototyping, and security in computing-in-memory architectures. He has published extensively on RRAM accelerators, logic locking, and neuromorphic security. Chair of Software for Systems on Silicon Research in hardware security and deep learning accelerators Recent publications on cross-tool virtual frameworks and thermal side-channel attacks His work bridges system-level modeling with practical security implementations, emphasizing reliability and performance in heterogeneous computing environments. Key trends in his 2025-2023 articles include compute-in-memory optimization, neural network inference efficiency, and security vulnerabilities in emerging hardware. Awards and formal recognitions are not explicitly detailed in the provided materials. He has not directly mentioned advising students or research grants in the given text fragments. The chair's contact information includes an office at ICT Cube 1, Electrical Engineering, Aachen, with direct email and website links.

Yu Jiangمشاهده پروفایل

دانشیار

• Software Engineering
• Embedded Systems
• Fuzz Testing
• +۳ مورد دیگر

Yu Jiang is an Associate Professor at the School of Software, Tsinghua University, China. His research focuses on software security with emphasis on fuzz testing, embedded systems, and database security. He leads the Software System Security Assurance Group which has discovered over 1,000 bugs in major system software with 300+ CVEs registered. Dr. Jiang's research interests include Software Engineering , Embedded Systems Security , and Cross-Layer Fuzzing . His work addresses vulnerabilities in operating systems, databases, communication protocols, and IoT firmware through innovative fuzzing frameworks. Key contributions include semantic-aware fuzzing for heterogeneous software stacks and learning-based vulnerability detection for embedded systems. His recent publications demonstrate strong trends in database security (Hulk, PUPPY, THANOS), ransomware defense (Fawkes, Preventing Disruption), and web security (JANUS). Research spans both theoretical advances in fuzzing techniques and practical industrial applications, with significant impact evidenced by numerous distinguished paper awards. Career Award, NSFC: 2026 Distinguished Paper Award, ISSTA: 2025 First Prize for Technical Invention, CCF: 2024 Distinguished Paper Award, USENIX Security: 2024 SIGSOFT Distinguished Paper Award, FSE: 2022 Dr. Jiang has advised over 50 graduate students including 20 PhD candidates. His research is supported by major grants including NSFC projects ($600,000 for Software Trustworthiness Construction and $350,000 for Distributed Database Reliability), Huawei ($80,000 for LLM-Powered Fuzzing), and Tencent ($120,000 for LLM-Powered Unit Testing). The Software System Security Assurance Group maintains strong industry partnerships with Huawei, Alibaba, Tencent, and Webank. The group operates cutting-edge infrastructure for fuzz testing across multiple domains including database systems, operating kernels, blockchain platforms, and industrial control systems. Current projects integrate LLM technologies with traditional fuzzing techniques to enhance vulnerability detection in complex software stacks.

Guillermo Payá Vayáمشاهده پروفایل

استاد

• Embedded Systems
• Processor Architecture
• FPGA Design
• +۵ مورد دیگر

Prof. Dr.-Ing. Guillermo Payá Vayá leads the Chair for Chip Design for Embedded Computing at Technical University of Braunschweig's Faculty of Electrical Engineering, Information Technology, and Physics. His research focuses on processor architecture design, FPGA/ASIC implementations, and optimization techniques for embedded systems, particularly in high-performance, low-power, and radiation-hardened computing domains. Primary research interests include: Application-Specific Instruction Set Processors (ASIPs) and compiler co-design Radiation effects characterization and fault-tolerant hardware Ultra-low-power processor architectures for embedded AI Hardware acceleration of neural networks and computer vision algorithms Memory subsystem optimization and parallel computing techniques Recent publications demonstrate strong emphasis on radiation-hardened electronics (35% of recent works), AI accelerator design (27%), and ultra-low-power systems (20%), with growing interest in biomedical applications. Experimental validation through FPGA prototyping and semiconductor testing is a consistent methodology across research domains. Leads research team investigating: Radiation-tolerant FPGA architectures (Trumann, Weide-Zaage) Vector processor optimization (Gesper, Thieu) Nano-scale controller design (Weißbrich) AI-hardware co-design (Kautz, Beyer)

• Financial Reporting
• Regulation
• Disclosure
• +۱ مورد دیگر

Patricia Breuer serves as an Assistant Professor of Accounting at the Erasmus School of Economics, Erasmus University Rotterdam, and is a Research Fellow of TRR 266 Accounting for Transparency. Her academic career bridges traditional accounting research with emerging regulatory frameworks in environmental and sustainability reporting. Education Dr. rer. pol. in Accounting, University of Mannheim (2023) Visiting Ph.D. student, University of Chicago Booth School of Business (2021/22) M.Sc. in Business Administration, Ludwig-Maximilians-University (2017) B.Sc. in Economics and Business Administration, Eberhard Karls University (2014) Dr. Breuer's research focuses on the economic consequences of financial and environmental reporting regulations, with particular expertise in disclosure requirements, ESG reporting, and regulatory impacts on corporate behavior. Her work demonstrates how mandatory disclosure frameworks affect corporate carbon emissions reporting and how financial transparency influences market dynamics and firm heterogeneity. Her publication record includes a significant article in Science (2023) on carbon disclosure, demonstrating her ability to publish in top-tier interdisciplinary journals. The research portfolio shows a consistent theme examining how regulatory frameworks shape corporate reporting behavior and economic outcomes, with increasing attention to environmental sustainability issues. Scientific Recognition Best Conference Paper Award 2022 (VHB Annual Conference) for 'Transparency regulation and reallocation' Dr. Breuer's research has established her as a promising scholar in regulatory accounting, with particular contributions to understanding the real-world impacts of disclosure requirements. Her work with prominent scholars like Michael Greenstone and Christian Leuz demonstrates her integration into high-impact research networks. While specific grant information isn't provided in the text, her Research Fellow position with TRR 266 Accounting for Transparency indicates external research funding support.

Delphine Demangeمشاهده پروفایل

دانشیار

• Programming languages implementation
• Compiler verification
• Formal semantics
• +۳ مورد دیگر

Delphine Demange is an Associate Professor in Computer Science at the University of Rennes, affiliated with Inria, CNRS, and IRISA. She works in the Epicure research group (formerly Celtique) and focuses on formal semantics, compiler verification, program transformations, static analysis, computer-aided verification, and language-based security. Her career spans roles at the University of Pennsylvania as a postdoctoral researcher and a PhD at ENS Cachan-Brittany Extension under Thomas Jensen and David Pichardie. Her research interests center on formal methods for programming languages , particularly through compiler verification , static analysis , and language-based security . She has mechanized semantics for dataflow circuits and SSA-based optimizations, bridging theoretical rigor with practical compiler correctness. Her work often leverages interactive theorem provers like Coq to ensure robustness. Delphine’s recent publications (2025–2010) highlight her expertise in formal verification of compilers, dataflow analysis , and concurrent systems . Notable trends include mechanized semantics for gated SSA and dataflow circuits , verified intermittent computing models, and concurrent garbage collectors using rely-guarantee methodologies. Scientific Awards: EAPLS Best PhD Dissertation Award (2012) Gilles Kahn PhD Thesis Award (2013) Teaching: She has taught undergraduate and master’s courses including Java programming, algorithmics, deductive verification with Why3, compilation, and software security. Her pedagogical contributions span functional programming, semantics, and logic. Professional Service: Delphine has served on steering committees for CC (2021–2024), co-chaired JFLA 2024 and 2023, and participated in program committees for conferences like CGO, OOPSLA, and POPL.

Tobias Wolbringمشاهده پروفایل

استاد

• Analytical sociology
• Empirical educational research
• University research
• +۷ مورد دیگر

Professor Tobias Wolbring holds the Chair of Empirical Economic Sociology at the Department of Economics and Social Sciences at Friedrich-Alexander University Erlangen-Nuremberg (FAU). His academic career spans prestigious institutions including LMU Munich, ETH Zurich, and the University of Mannheim. At FAU, he contributes to the Department of Business, Economics, and Social Sciences which ranks among Germany's top 20 faculties in business administration and economics according to the Handelsblatt ranking. Wolbring earned his sociology degree with minors in economics and social psychology from LMU Munich in 2007, followed by a doctorate with distinction in 2013. His academic journey includes positions as research assistant at LMU Munich (2008-2013), postdoc at ETH Zurich (2013/14), junior professor at University of Mannheim (2015-2017), and full professor at FAU since 2017. His research focuses on analytical sociology, empirical educational/university/science research, life satisfaction, methods of empirical social research, social inequality, social norms & deviance, and economic sociology. Wolbring's work demonstrates a strong methodological orientation with emphasis on longitudinal data analysis, experimental methods, and innovative approaches to social research. Analysis of his recent publications reveals a consistent focus on social inequality, well-being dynamics, methodological innovation in social research, and the intersection of economic and social phenomena. His work frequently employs advanced statistical techniques and experimental designs to address complex social questions, with particular attention to causal mechanisms in social processes. Dissertation Prize of the German Sociological Association (DGS) in 2014 Anatol Rapoport Prize of the DGS Section 'Modeling and Simulation' in 2014 Robert K. Merton Prize of the International Network of Analytical Sociology in 2017 Wolbring serves as co-editor of the SSCI-listed journal 'Soziale Welt' since 2013 and was a board member of the DGS Section 'Methods of Empirical Social Research' from 2013 to 2021. His work connects with FAU's research focuses on work in transition, digitalization, and interdisciplinary social science approaches. He actively contributes to the university's strong research profile in empirical social sciences and collaborates with various research networks across Germany and internationally.

Uwe Gellertمشاهده پروفایل

استاد

• Social inequalities in mathematics education
• Mathematics and language
• Mathematics teacher education
• +۴ مورد دیگر

Uwe Gellert serves as University Professor at the Faculty of Education and Psychology, Free University of Berlin, leading the Mathematics Education and Society research group since 2010. His academic career spans prestigious institutions including Universität Hamburg and international guest professorships in Bolivia, Chile, and Frankfurt, establishing him as a leading sociological voice in mathematics education. His educational trajectory features a Physics studies period at INSA Lyon (1987, DAAD-funded), Mathematics and Physics First State Examination at TU Berlin (1985-1991), Ph.D. (1997), and Habilitation (2002), all from Freie Universität Berlin. This interdisciplinary foundation informs his critical approach to mathematics pedagogy. Gellert's research centers on seven interconnected domains: social inequalities in mathematics education; mathematics-language relationships; teacher education; sociology of mathematics; crosscultural studies; classroom interaction microanalysis; and affective dimensions of mathematical engagement. He applies Bernstein's sociological frameworks to dissect how power structures manifest in mathematical discourse, particularly examining how classroom interactions perpetuate or challenge social hierarchies through linguistic practices and assessment rituals. His recent publications reveal a pronounced critical-sociological orientation, analyzing how 'mathematics for all' initiatives intersect with neoliberal policies, how academic performance gets socially constructed through teacher-student interactions, and how digital technologies reshape mathematical epistemologies. Key thematic threads include the yellowing of critical pedagogies under institutional pressures, cross-national pathway disparities, and the linguistic construction of mathematical competence in multilingual contexts. Through extensive editorial work including major C.I.E.A.E.M. sourcebooks and encyclopedia contributions, Gellert has shaped international discourse on mathematics education's sociopolitical dimensions. His theoretical integrations bridge anthropology, sociology, and linguistics to develop nuanced frameworks for understanding mathematics classroom dynamics. As an educator, Gellert has pioneered approaches connecting teacher education theory with practical classroom application, emphasizing how professional development must address the structural constraints shaping teaching practices. His work consistently examines the tension between teacher agency and institutional determinants in educational reform implementation. The Mathematics Education and Society group maintains active Latin American collaborations, conducting micro-ethnographic studies that reveal how global educational policies manifest in local classroom interactions, particularly examining how socioeconomic status and linguistic diversity intersect with mathematical reasoning development.

• Programming Languages
• Functional Programming
• Partial Evaluation
• +۴ مورد دیگر

Peter Thiemann is a Professor of Computer Science at the Institute of Computer Science, Faculty of Technology, University of Freiburg, Germany. He leads the Programming Languages research group and serves as a member of the examination committee. His extensive academic service includes chairing the steering committee of the European Symposium on Programming (ESOP) since 2017, having previously served as program chair for ESOP 2016 and general chair for ICFP'12. Thiemann's research spans multiple areas within programming languages, with particular focus on partial evaluation, program transformation, functional programming, type systems, and web programming. His work on the WASH (Web Authoring System Haskell) demonstrates his contributions to server-side web scripting with strong type safety guarantees. He has developed techniques for higher-order redundancy elimination, binding-time analysis, and adaptive programming. His research shows a consistent thread of connecting theoretical foundations with practical implementation concerns, particularly in the areas of program analysis and transformation. Thiemann has been deeply involved in the programming languages community, serving as vice chair of ACM SIGPLAN (2015-2018) and tutorial editor of the Journal of Functional Programming (2017-2020). His extensive program committee service across major conferences like POPL, ICFP, ESOP, and ECOOP demonstrates his standing in the field. He has also contributed to IFIP Working Group 2.8 on Functional Programming and chaired the steering committee for the ACM symposium on Partial Evaluation and Semantics Based Program Generation (2003-2005). His publications reveal a research trajectory focused on bridging theoretical concepts with practical implementation, particularly in the areas of partial evaluation, type systems, and program transformation. His work shows consistent contributions to both the theoretical foundations and practical applications of programming language techniques, with numerous publications in top-tier conferences and journals spanning over two decades.

Fernando Magno Quintão Pereiraمشاهده پروفایل

دانشیار

• Compilers
• Code Generation
• Compiler Optimizations
• +۳ مورد دیگر

Fernando Magno Quintão Pereira is an Associate Professor in the Department of Computer Science at the Federal University of Minas Gerais (UFMG), Brazil. He earned his Ph.D. from the University of California, Los Angeles (UCLA) in 2008 under the supervision of Jens Palsberg. His research focuses on compiler technologies, including code generation, optimization techniques, and static program analysis. Pereira's work spans: Binary analysis and optimization Program transformation and synthesis Performance profiling and code size reduction Security-oriented compiler techniques Machine learning applications in compilers His recent publications demonstrate a strong emphasis on practical compiler tools, theoretical frameworks for program analysis, and optimization algorithms for modern computing systems. He actively contributes to the programming languages community through service on program committees for major conferences including PLDI, CGO, ECOOP, and OOPSLA. He has also held organizational roles such as Diversity and Inclusion Co-Chair for PLDI 2023 and Finance Chair for CGO 2025.

• coalgebras
• computer science semantics
• universal algebra
• +۴ مورد دیگر

Dr. Stefan Milius is a Senior Lecturer (Akademischer Direktor) at the Chair for Theoretical Computer Science of Friedrich-Alexander University Erlangen-Nuremberg. His academic career spans theoretical computer science with a focus on categorical and algebraic methods applied to computational problems. Dr. Milius's research program centers on coalgebras and their applications in computer science, semantics of iteration and recursion, universal algebra and category theory, and logic and formal verification of systems. His work bridges abstract mathematical theory with practical computational applications, particularly in verification frameworks for software systems. His approach often combines category-theoretic perspectives with concrete computational problems. His publication record demonstrates consistent contributions to theoretical computer science, with recent work exploring stone duality, bialgebraic reasoning frameworks, automata theory with computational effects, and foundational aspects of programming language semantics. He has developed novel approaches to extending classical algebraic language theory to effectful settings and created new frameworks for reasoning about program equivalence in stateful and higher-order languages. Best Theory Paper at FM 2019 for "Generic Partition Refinement and Weighted Tree Automata" EATCS Best Paper Award at MFCS 2017 for "Eilenberg Theorems for Free" CALCO 2015 Best Paper Award for "Syntactic Monoids in a Category" Ackermann Award 2006 for PhD thesis Braunschweig Preis für hervorragende Leistungen im Studium, 2000 Dr. Milius has held significant editorial responsibilities including Editor-in-Chief of Logical Methods in Computer Science since 2020 and membership on the editorial boards of Applied Categorical Structures and TheoretiCS. He actively contributes to the theoretical computer science community through conference organization, serving as PC co-chair for FoSSaCS 2026 and MFPS 2025, and as a program committee member for numerous top-tier conferences including LICS, MFPS, and CALCO. Earlier in his career, he contributed to practical software development through projects like Alan, a Turing machine simulator developed during a 1997 software engineering practicum, and the VerSyKo project on verification of synchronous software components at TU Braunschweig (2011-2012).

Moritz Weißbrichمشاهده پروفایل

پژوهشگر

• Processor Architecture
• Low-power Electronics
• Approximate Computing
• +۳ مورد دیگر

M.Sc. Moritz Weißbrich is a Researcher at the Chair for Chip Design for Embedded Computing , part of the Institute of Theoretical Computer Science at Technische Universität Braunschweig. Holding an M.Sc. in Electrical Engineering and Information Technology from Leibniz Universität Hannover, his academic focus spans high-performance/low-power processor architectures , approximating arithmetic circuits , and stochastic computation techniques for fault-tolerant systems. His research portfolio includes 20+ peer-reviewed publications since 2017, with recent work on Nano-scale controllers for FPGA systems Biomedical sensor design in 22nm FDSOI Energy-aware VLIW processor optimization Stochastic timing analysis frameworks He has been developing ultra-low-power embedded solutions since 2021, following prior research assistant roles at Leibniz Universität Hannover's Institute of Microelectronic Systems (2017-2021). Key technical contributions appear in venues like Springer LNCS , IEEE RFIC Symposium , and Journal of Systems Architecture , focusing on processor customization , energy harvesting systems , and radiation-hardened circuit design . His work addresses challenges in autonomous computing, harsh environment electronics, and precision agriculture applications.

• Artificial Intelligence
• Machine Learning
• Data Analytics
• +۷ مورد دیگر

Leo Mrsic is a researcher with extensive contributions to Artificial Intelligence, Machine Learning, and Data Analytics. He has published numerous high-impact articles in journals like Artificial Intelligence Review and Quantum Machine Intelligence , covering topics such as quantum computing applications, blockchain in education, and neurotechnological frameworks. His work also extends to environmental engineering and biomedical research. Research Interests : AI, quantum computing, blockchain, sentiment analysis, educational technology, genomics Collaborators : Siddhartha Bhattacharyya, Mislav Balkovic, Mateo Sokac, Sovan Samanta Recent Articles (2025-2022) explore quantum-inspired metaheuristics, fog computing frameworks, and EEG-based image generation. No awards, students, or institutional affiliations are explicitly mentioned in the provided data.

Sebastian Hackمشاهده پروفایل

استاد

• Compiler Construction
• Domain-Specific Languages
• Program Analysis
• +۶ مورد دیگر

Sebastian Hack is a Professor of Computer Science at Saarland University since 2010. He previously served as an assistant professor at the same university (2008-2010), a Post-Doc at EPFL in the LAMP lab, and a Post-Doc with INRIA at ENS Lyon. His research focuses on compiler construction, domain-specific languages, program analysis and synthesis, code generation, and vectorization. Recent publications highlight advancements in program synthesis (Sorting Kernels), memory safety instrumentations, automatic differentiation frameworks (MimIrADe), microarchitectural analysis (AnICA), and GPU acceleration for bioinformatics (Anyseq/gpu). His work bridges theoretical compiler design with practical applications in high-performance computing and security. He has held administrative roles as Dean of Study Affairs (2012-2014) and Dean of the Department of Mathematics and Computer Science (2018-2020). His software contributions include libFirm and GrGen , and he maintains active involvement in projects like AnyDSL and UniAna.