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

Manu Upadhyayaمشاهده پروفایل

پژوهشگر

• Continuous Optimization
• Convex Optimization
• Machine Learning
• +۳ مورد دیگر

Manu Upadhyaya is a Doctoral Candidate at Lund University's Department of Automatic Control within the Faculty of Engineering. His research focuses on continuous optimization with applications in machine learning, control systems, and finance. He is actively involved in the Department of Automatic Control's research ecosystem and collaborates internationally with institutions including Inria Paris, UC Berkeley, and ETH Zürich. His educational background includes an MSc in Engineering Physics (2020), an MSc in Finance (2020), and a BSc in Mathematics (2015), all from Lund University. His PhD defense is scheduled for September 26, 2025, under supervisors Pontus Giselsson and Sebastian Banert. Upadhyaya specializes in the design and performance analysis of first-order algorithms for convex optimization problems. His recent work centers on automated Lyapunov analysis frameworks for verifying convergence properties of optimization algorithms, bridging theoretical guarantees with practical implementation. This research has direct applications in machine learning systems and control theory where computational efficiency is critical. His publications demonstrate a strong trend toward computer-aided analysis of optimization algorithms, with emphasis on tight convergence guarantees and automated verification methods. Key contributions appear in high-impact venues like Mathematical Programming, focusing on systematic approaches to algorithm design. Co-organizer of EUROPT 2024 (21st Conference on Advances in Continuous Optimization) Active participant in WASP (Wallenberg AI, Autonomous Systems and Software Program) Member of ELLIIT (Excellence Center at Linköping–Lund in Information Technology) Upadhyaya leads research projects including 'Automatic Lyapunov analysis of optimization algorithms' and contributed to ESA-funded 'AI4GNC' (Artificial intelligence for guidance, navigation, and control). His work connects theoretical optimization with real-world applications in cloud computing and autonomous systems through Lund's RobotLab and WASP initiatives. Current projects focus on scalable control of interconnected systems and optimization for learning frameworks.

Emilio Jesús Gallego Ariasمشاهده پروفایل

پژوهشگر ارشد

• Theorem Proving
• Functional Programming
• Computer Music
• +۷ مورد دیگر

Emilio Jesús Gallego Arias is a non-tenured Research Fellow at the French National Center for Scientific Research (CNRS), hosted at the Institute of Fundamental Computer Research (IRIF) of CNRS and University of Paris Cité. He is also a member of the PiCube Inria team. Previously, he held postdoctoral positions at the University of Pennsylvania (2012–2014) and MINES ParisTech (2014–2019). His research spans mechanically-verified functional and logic programming , with a focus on the Coq proof assistant and the Mathematical Components Library . He develops tools like coq-lsp (language-server for Coq IDEs) and jsCoq (web interface), replacing earlier projects like SerAPI . His work bridges programming language theory , digital signal processing , and formal verification , particularly in the ANR FEEVER project for verifying Faust programs. His 15 most recent works (2014–2024) address type systems , differential privacy , and formal verification in domains like audio processing and mechanism design . Publications span journals (e.g., Journal of Privacy and Confidentiality), conferences (ICML, POPL, FARM), and workshops (CoqPL, UITP). He contributes to open-source projects (GitHub), including DFuzz (linear dependent types), DualQuery (privacy algorithms), and RAM (relational machine). He uses formal methods in collaborative development platforms (Gitter, GitLab) and advocates for free software and accessible audio technology .

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

Prof. Dr. Mario Fritz is a Professor at Saarland University and faculty member at CISPA Helmholtz Center for Information Security. He serves as a Fellow at the European Laboratory for Learning and Intelligent Systems (ELLIS). His research focuses on Trustworthy Information Processing at the intersection of AI & Machine Learning with Security & Privacy. Mario Fritz leads numerous significant research initiatives including the European Large Open Multi-Modal Foundation Models for Robust Generalization (ELLIOT), European Lighthouse on Secure and Safe AI (ELSA), and multiple projects on privacy-preserving AI applications in healthcare. His work spans security and privacy aspects of large language models, foundation models, and medical AI applications. He has established himself as a leading researcher in trustworthy AI through his extensive publication record and leadership in major collaborative projects. His recent research (2025 publications) demonstrates a strong focus on the security and safety challenges of large language models, including model stealing attacks, causal reasoning capabilities, sampling methods, and privacy risks. His work bridges theoretical foundations with practical applications across multiple domains, particularly in healthcare and cybersecurity. Mario Fritz actively mentors PhD students and Post-Docs, seeking new researchers to join his group. He has been involved in numerous grants and collaborative projects, including those funded by BMBF and the Helmholtz Association, demonstrating his ability to secure substantial research funding and lead large interdisciplinary teams.

• Formal Verification
• Theorem Proving
• Approximate Computing
• +۵ مورد دیگر

Sofiène Tahar is a Professor at Concordia University's Department of Electrical and Computer Engineering, affiliated with the Faculty of Engineering and Computer Science. His research focuses on formal verification, theorem proving, and their applications in cyber-physical systems, circuit design, and reliability engineering. He has authored over 300 publications in top-tier conferences and journals, including DATE, ICFEM, and FMCAD. Key research areas include formal methods for analog/digital circuits, approximate computing, stochastic systems, and safety-critical systems. His work bridges theoretical foundations (e.g., theorem proving in HOL) with practical engineering problems like circuit reliability and autonomous systems verification. Recent projects involve formal analysis of vehicular systems, energy-efficient approximators, and machine learning integration with formal verification frameworks. Tahar collaborates extensively with industry partners and holds leadership roles in international conferences, including co-chairing ICFEM 2023.

Manfred Dietrichمشاهده پروفایل

پژوهشگر

• Design automation
• IC design
• System design
• +۳ مورد دیگر

Manfred Dietrich is a Researcher at TU Dresden's Institute of Precision Engineering and Electronic Design, actively leading EU projects including HyPerStripes (2022-2025) and KI4BoardNet (2022-2025). His work focuses on design automation, IC design, and system design for advanced semiconductor integration. His educational background includes: 1970-1974: Dipl.-Ing in Information Technology, TU Dresden 1981: Promotion (PhD) on 'Fault localization in analog circuits' Dr. Dietrich's research centers on 3D/2.5D integration challenges, particularly interposer-based memory interfaces, thermal management of stacked systems, and Wide IO implementations. His methodologies address critical bottlenecks in signal integrity, power delivery, and design verification for next-generation semiconductor packaging. Publications from 2014-2016 demonstrate consistent focus on thermal optimization of 3D systems and XML-based design rule checking, establishing foundational work for current EU projects targeting high-performance computing architectures. Scientific awards: None documented. With extensive grant leadership including ECSEL's Microprince project (2017-2020) and current EU supervision roles, his portfolio reflects significant funding acquisition expertise. No student advisees are listed in available records. He actively contributes to industry standards through memberships in VDE's ITG/GMM groups, the GI/VDE 'Computer-aided circuit and system design' cooperation, and as an ECSEL Strategic Research Group expert.

Robert Fischbachمشاهده پروفایل

پژوهشگر

• 3D Integration
• Heterogeneous Systems
• Layout Design
• +۳ مورد دیگر

Dr. Robert Fischbach is a researcher at the Institute of Micro and Electronic Systems (FET) at Dresden University of Technology. His work focuses on 3D integration, heterogeneous system design, layout verification, and thermal analysis of advanced electronic packaging solutions. Key research areas: 3D Integrated Circuits Thermal and Reliability Engineering Design Automation & Optimization Interposer-Based Systems He has contributed extensively to co-design methodologies, micro-transfer printing assembly, and XML/XSLT-based simulation frameworks. Collaborative work includes automotive mission profiles and standardized formats for electronics reliability. Notable publications span topics in layout verification, thermal modeling, and heterogeneous packaging. His collaborations include researchers like J. Lienig, A. Krinke, and T. Horst.

Gregor Leanderمشاهده پروفایل

استاد

• Symmetric Cryptography
• Block Ciphers
• Lightweight Cryptography
• +۵ مورد دیگر

Prof. Dr. Gregor Leander is a Professor and Head of the Symmetric Cryptography chair at Ruhr-University Bochum, Faculty of Computer Science. He is a leading researcher in the field of symmetric cryptography with significant contributions to both theoretical foundations and practical applications of cryptographic primitives. Professor Leander has an extensive background in mathematics with a PhD focused on theoretical aspects of Boolean functions. His research spans the entire spectrum of symmetric cryptography, from fundamental theoretical questions to practical implementations deployed in real-world applications. He has been instrumental in designing ciphers that have seen widespread deployment, as well as analyzing and improving existing cryptographic standards. Created the symmetric cryptography group at Ruhr University Bochum in 2015 Founder and managing editor of the IACR Transaction of Symmetric Cryptography journal Active participant in numerous prestigious conferences as program co-chair, organizer, and invited speaker Professor Leander's research interests primarily focus on symmetric cryptography, including the design and analysis of block ciphers, stream ciphers, and cryptographic hash functions. His work bridges the gap between theoretical cryptography and practical security requirements, with particular emphasis on lightweight cryptography for constrained environments. He has made significant contributions to understanding the mathematical foundations of cryptographic primitives while ensuring their practical applicability in real-world systems. His recent publications demonstrate a continued focus on foundational aspects of symmetric cryptography while expanding into post-quantum cryptography and the intersection of symmetric and asymmetric cryptographic techniques. The research output shows a consistent pattern of addressing both theoretical challenges and practical implementation concerns, with many contributions becoming international standards. Scientific Awards and Recognition 2022: SKINNY is ISO standard (ISO/IEC 18033-7) as a Tweakable Block Cipher 2020: IACR CRYPTO 2020, Best Paper Award and invitation to Journal of Cryptology 2015: Heisenberg Professorship, a prestigious funding line for upcoming leaders by the DFG 2014: IACR FSE 2014, Best Paper Award and invitation to Journal of Cryptology 2010: PRESENT is ISO standard (ISO/IEC 29192-2) for Lightweight Cryptography 2010: German IT Security Award (worth 100kEUR), first place 2011: Erdos Number 2 Professor Leander has successfully advised numerous PhD students who have gone on to make their own contributions to the field of cryptography. His group at Ruhr-University Bochum has received significant research funding, including the prestigious Heisenberg Professorship from the DFG. He has been actively involved in organizing major cryptographic conferences and workshops, contributing to the advancement of the field through community building and knowledge sharing. The symmetric cryptography group at Ruhr-University Bochum, which Professor Leander founded in 2015, has become a renowned center for cryptographic research. The group maintains strong collaborations with other leading research institutions worldwide and regularly hosts visiting researchers. Through the IACR Transaction of Symmetric Cryptography journal, which Professor Leander founded, the group has also established a significant platform for high-quality research publication in the field.

Jennifer Müllerمشاهده پروفایل

پژوهشگر

• Logic in Computer Science
• Formal Methods
• Automated Reasoning
• +۳ مورد دیگر

Jennifer Müller is a Researcher at the Max Planck Institute for Informatics, affiliated with the Automation of Logic Research Group (Research Group 1). She is part of the Saarbrücken Research Center for Visual Computing, Interaction, and Artificial Intelligence (VIA) and contributes to the Max Planck European Laboratory for Learning and Intelligent Systems (ELLIS Unit SAM). Her work is embedded within the Kaiserslautern-Saarbrücken Computer Science Cluster and the Saarland Informatics Campus. Her research focuses on foundational aspects of logic, automated reasoning, and formal methods, with applications to artificial intelligence and computer-aided verification. Müller collaborates with interdisciplinary initiatives such as the International Max Planck Research School on Trustworthy Computing and the Konrad Zuse School of Excellence in Learning and Intelligent Systems (ELIZA). She participates in graduate programs including the Max Planck Ph.D. Program in Computer Science and the Maryland Max Planck Ph.D. Program. Her institutional roles involve contributions to research coordination and adherence to good scientific practices, though specific awards or grants are not detailed in the provided text.

Zhenyang Xuمشاهده پروفایل

پژوهشگر

• Software Testing
• Debugging
• Program Reduction
• +۲ مورد دیگر

Zhenyang Xu is a researcher affiliated with the University of Waterloo, specializing in Software Testing and Debugging . He has contributed to advancements in program reduction techniques, including projects like PPR (Pairwise Program Reduction), WDD (Weighted Delta Debugging), and LPR (Large Language Models-Aided Program Reduction). His work focuses on improving the efficiency and effectiveness of debugging through empirical studies and novel algorithms. Research Interests : Software Testing, Debugging, Program Reduction, Software Engineering Key Publications : Kitten (2025, ISSTA) for LLM-based compiler testing T-Rec (2025, ICSE) on lexical syntax-guided reduction Pushing the Limit of 1-Minimality (2023, SPLASH) Conferences : Active in ISSTA, ICSE, SPLASH, ESEC/FSE

Yves Bertotمشاهده پروفایل

پژوهشگر

• Interactive Theorem Proving
• Higher-Order Theorem Proving
• Formal Verification
• +۳ مورد دیگر

Yves Bertot is a Senior Research Scientist at INRIA (French Institute for Research in Computer Science and Automation), working at the Sophia Antipolis research center as part of the Stamp research team. He has been conducting research at INRIA since 1992 and is one of the main contributors to the Coq proof assistant system. Dr. Bertot's primary research focuses on formal methods, particularly interactive theorem proving and higher-order theorem proving. His work centers around the formal description of algorithms and mathematical theories that can be completely checked by computer programs. He has made significant contributions to the development and application of the Coq proof assistant, co-authoring the influential book "Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions." His research spans computational geometry, formal verification of mathematical constants like pi, and the development of practical applications for theorem proving in software verification. His publication record demonstrates a consistent focus on bridging theoretical foundations with practical applications. Recent works address geometry algorithms, software security verification, and formal methods for critical systems. His research shows a progression from foundational theorem proving techniques to increasingly practical applications in software engineering and mathematical verification. Among his notable achievements, Dr. Bertot was a recipient of the 2013 ACM Software System Award for his contributions to the Coq system. His recognition by the ACM highlights the significant impact of his work on the broader computing community. As an educator and community leader, Dr. Bertot has taught numerous courses and schools on Coq and formal methods since 2007. He has supervised student projects on formal verification of geometry algorithms, trajectory planning, and robotics motion algorithms. His research continues to bridge the gap between theoretical foundations of formal methods and their practical applications in software development and mathematical verification.

• Electronic Design Automation
• Computer-Aided Design
• Analog/Mixed-Signal Circuit Design
• +۷ مورد دیگر

David Z. Pan is a Professor at the University of Texas at Austin, where he leads a prominent research group specializing in Electronic Design Automation (EDA) and Computer-Aided Design for Integrated Circuits. His extensive publication record spanning from 1997 to the present demonstrates his leadership in advancing the field of electronic design. Dr. Pan's research focuses on solving fundamental challenges in analog/mixed-signal circuit design automation, physical design methodologies, and the integration of machine learning techniques with traditional EDA problems. His work bridges theoretical advances with practical applications in semiconductor design, with particular emphasis on photonic computing, quantum circuit design, and FPGA optimization. His research has evolved from traditional layout and placement algorithms to incorporate cutting-edge AI and machine learning approaches for next-generation design automation. Analysis of his recent publications reveals a strong trend toward integrating artificial intelligence with EDA, including the use of large language models for circuit design automation, reinforcement learning for placement optimization, and deep learning for various aspects of the design flow. His work consistently addresses critical industry challenges while pushing the boundaries of what's possible in electronic design. Dr. Pan has advised numerous graduate students who have become significant contributors to the field, with many continuing their research careers in academia and industry. His research group has developed several influential tools and methodologies that have been adopted by both academic and industrial researchers. He actively contributes to major conferences in the field including ICCAD, DAC, ASP-DAC, and ISPD, often presenting invited talks that shape the future direction of EDA research. His work on open-source EDA tools has been particularly impactful, promoting accessibility and reproducibility in electronic design research.

Marcus Pirronمشاهده پروفایل

پژوهشگر

• Cyber-Physical Systems
• Programming Languages & Verification
• Algorithms & Theory
• +۳ مورد دیگر

Marcus Pirron is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on research in algorithms, programming languages, and cyber-physical systems. His work spans areas such as robotic systems, autonomous driving, and software verification. He actively contributes to interdisciplinary projects combining hardware and software co-design, formal verification techniques, and safety-critical systems. His research interests include Cyber-Physical Systems , Programming Languages & Verification , Robotics , and Autonomous Driving . Key themes in his publications include the development of testing frameworks for autonomous systems, automated configuration synthesis, and formal methods for robotic interactions. Marcus' recent work emphasizes Paracosm —a framework for testing autonomous driving simulations—and PGCD —a system for robot programming and verification. His articles often address challenges in concurrency, safety, and the integration of geometry and dynamics in robotic applications. Despite his prolific output, no specific awards, grants, or student advisement details are explicitly mentioned in the provided materials.

Laura Kovácsمشاهده پروفایل

استاد

• Automated Theorem Proving
• Automated Assertion Generation
• Symbolic Computation
• +۲ مورد دیگر

Laura Kovács is a Professor at the Faculty of Informatics of the Vienna University of Technology (TU Wien), where she leads the Automated Program Reasoning (APRe) Group. Her work focuses on developing computer-aided methods for program analysis and verification. Research Interests: Automated Theorem Proving Automated Assertion Generation Symbolic Computation Formal Methods in Systems Engineering Scientific Awards & Grants: ERC Consolidator Grant 2020 ARTIST Amazon Research Award 2020 FOREST Promotion Prize 2021 in STEM from the City of Vienna ERC Proof of Concept 2018 ERC Starting Grant 2014 Wallenberg Academy Fellow 2014 She has co-chaired major conferences including IJCAR 2022, LPAR 2020, and CONCUR 2020, and has contributed to accepted papers at CAV 2021, CADE 2021, and ESOP 2021.

Patrick Totzkeمشاهده پروفایل

پژوهشگر

• Theoretical Computer Science
• Formal Verification
• Automata Theory
• +۵ مورد دیگر

Patrick Totzke is a theoretical computer scientist at the University of Liverpool's Department of Computer Science. His research focuses on mathematical models of computation, formal verification, and the complexity of strategies in stochastic and temporal games. University of Liverpool (2018–present) Postdoctoral positions: LFCS Edinburgh (2016–2018), University of Warwick (2015), LaBRI Bordeaux (2014) Research Interests include automata theory, game theory, computational logic, and computer-aided verification. Recent work emphasizes history-deterministic systems, timed automata, and decision problems in infinite-state games. Key Publications (2024–2025) explore temporal graph explorability (PSPACE-complete), stochastic nondeterminism resolution (undecidability in NFAs), and bounded-memory strategies in partial-information games. Earlier works address energy-parity objectives (NP∩coNP) and the reachability problem in 2D vector addition systems (NL-complete). Awards Shortlisted for Teacher of the Year (2021) PI on EPSRC-funded project (2021) Co-PI on Royal Society grant (2021) Collaborations include Richard Mayr, Stefan Kiefer, Mahsa Shirmohammadi, and Sougata Bose (postdoc, 2021). He co-chaired Reachability Problems (RP'21) and contributes to open-source tools like alot and LaTeX beamer themes.

Klemens Rotherمشاهده پروفایل

استاد پژوهشی

• Structural Engineering
• Materials Science
• Mechanical Engineering
• +۳ مورد دیگر

Prof. Dr.-Ing. Klemens Rother serves as Research Professor at Munich University of Applied Sciences within Faculty 03, affiliated with the Institute for Materials and Construction Research (IMB). He holds dual leadership roles as Program Director for the Master Computational Engineering (TBM) program and Deputy Chair of its Examination Board, operating from Room R 4.059 at Lothstraße 64, 80335 Munich. His research spans critical domains of structural integrity and mechanical design, with core expertise in: Strength of materials and fracture mechanics Fatigue analysis of welded joints Computer-aided engineering for safety-critical systems Knowledge-based design methodologies Risk management in structural calculations Lightweight construction optimization Prof. Rother directs R&D efforts in mechanical structure concept development and structural integrity verification, with publications accessible via ORCID and SCOPUS. His operational base includes the MTM Laboratory (Mathematics & Engineering Mechanics) and IMB facilities, focusing on applied computational methods for industrial engineering challenges.