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

Gabriele Schragمشاهده پروفایل

استاد

• MEMS Technology
• Microfluidics
• Acoustic Sensors
• +۳ مورد دیگر

Prof. Gabriele Schrag holds the Professorship of Microsensors and Actuators at the Technical University of Munich (TUM), within the TUM School of Computation, Information and Technology. Her research focuses on MEMS (Micro-Electro-Mechanical Systems), including microsensors, actuators, and their applications in acoustics, microfluidics, and bioengineering. She has pioneered work in virtual prototyping for system-level modeling to enhance device robustness and performance. Education: PhD (summa cum laude) from TUM on 'Modeling coupled effects in microsystems' Habilitation in sensor systems technology (2018) Acting head of the Chair of Technical Electrophysics (2018-2023) Research emphasizes acoustic MEMS transducers , electrohydrodynamic printing , and physics-based modeling . Notable projects include developing piezoelectric MEMS microphones with corrugated membranes and integrated micropump systems. Awards include the Bavarian Prize for Good Teaching (2021) and Eurosensors Fellow Award (2019). Her work bridges virtual prototyping with real-world applications , addressing challenges in miniaturization, energy efficiency, and sensor integration for medical and industrial systems.

Yingfei Xiongمشاهده پروفایل

دانشیار

• Software Engineering
• Programming Languages

Yingfei Xiong is an active Associate Professor at Peking University, China, specializing in software engineering and programming languages. With a consistent research trajectory from 2013 through 2026, Xiong has established themselves as a prominent figure in the software engineering research community, regularly contributing to top-tier conferences including SPLASH, ICSE, ASE, and PLDI. Dr. Xiong's research primarily focuses on program synthesis, automated program repair, and software analysis techniques. Their work bridges theoretical programming language concepts with practical software engineering applications, particularly in developing novel approaches for code generation, bug fixing, and program optimization. The research demonstrates strong interdisciplinary connections between traditional software engineering, programming languages theory, and emerging AI techniques. Analysis of Xiong's publication trends reveals a clear evolution in research focus, beginning with foundational work in API transformations and program adaptation around 2013-2016, shifting toward program repair techniques from 2017-2020, and most recently incorporating machine learning and neural approaches into program synthesis and repair (2021-2026). The work consistently addresses practical challenges in software development while maintaining theoretical rigor, with increasing integration of AI techniques in recent years. Dr. Xiong has served in various leadership roles across the software engineering conference ecosystem, including program committee membership and session chair positions at major conferences. Their extensive service demonstrates recognition by peers as a subject matter expert in software engineering and programming languages research. While specific grant information isn't detailed in the provided text, the sustained publication record suggests successful research funding.

Ilia Polianمشاهده پروفایل

استاد

• Circuit Architecture
• System Design
• Hardware Reliability
• +۶ مورد دیگر

Prof. Ilia Polian serves as Head of the Institute of Computer Engineering and Chair of the Hardware-Oriented Computer Science (HOCOS) department at the University of Stuttgart. His leadership spans research, teaching, and institutional coordination across multiple high-impact projects. Prof. Polian's research focuses on developing circuit and system architectures based on both traditional and novel principles, including neuromorphic, stochastic, and approximate architectures. His second major research focus is systematic design methodology and design automation, with particular emphasis on safety and reliability properties of developed systems. Current research directions include quantum computing engineering, secure mixed-signal neural networks, and resource-efficient stochastic circuits for near-sensor computing applications. His recent publications demonstrate strong trends in quantum computing (particularly circuit partitioning and compilation for multi-QPU architectures), hardware security (including memristive cryptographic implementations), and AI-driven approaches to hardware testing and reliability. These works bridge fundamental computer architecture research with practical industrial applications. University of Stuttgart's Publication Prize for Paper on Partitioning of Quantum Circuits Prof. Polian actively supervises doctoral students including Devanshi Upadhyaya, and leads significant research grants such as the DFG Priority Program Nano Security which he coordinates. His department offers numerous thesis and research opportunities for students interested in cutting-edge hardware research. The Hardware-Oriented Computer Science department maintains strong collaborations with industry partners including IBM, Infineon Technologies, and Advantest, as well as academic institutions through the IQST Graduate School and QuantumBW initiatives.

Lionel C. Briandمشاهده پروفایل

استاد

• Software Engineering
• Software Verification and Validation
• Trustworthy AI
• +۶ مورد دیگر

Lionel C. Briand is a Professor of Software Engineering with shared appointments at the University of Luxembourg's SnT Centre for Security, Reliability, and Trust and the School of Electrical Engineering and Computer Science at the University of Ottawa. He holds a Canada Research Chair (Tier 1) in Intelligent Software Dependability and Compliance and serves as Director of Lero, Ireland's national software research center. His academic leadership spans over 25 years of collaborative research with industry partners across automotive, aerospace, energy, financial, and legal domains. Professor Briand's research focuses on software verification and validation, trustworthy AI systems, model-driven engineering, and empirical software engineering methodologies. His work bridges theoretical foundations with industrial applications, particularly in cyber-physical systems where machine learning components interact with safety-critical control systems. He has pioneered techniques for testing AI-enabled systems, GDPR compliance automation, and mutation analysis for space systems. His publication portfolio demonstrates consistent innovation in software testing, with recent emphasis on large language models for test generation, automated compliance checking, and safety analysis of deep neural networks. Key trends include black-box testing methodologies, metamorphic testing for security, and search-based approaches for DNN validation. IEEE Fellow and ACM Fellow IEEE Computer Society Harlan Mills Award (2012) ACM SIGSOFT Outstanding Research Award (2022) IEEE Reliability Society Engineer-of-the-Year Award (2013) ERC Advanced Grant recipient (2016) Fellow of the Academy of Science, Royal Society of Canada (2023) ICSE 2011 Most Influential Paper Award As Director of Lero and holder of a Canada Research Chair, Professor Briand leads major research initiatives including an ERC Advanced Grant on cyber-physical system modeling and testing. His industrial collaborations generate substantial grant funding, particularly in automotive safety validation and regulatory compliance automation. He mentors numerous researchers through his dual appointments and serves on program committees for top software engineering conferences. Professor Briand directs research activities at the SnT Centre's SVV department, focusing on software verification and validation. His team develops practical tools like MASS for space system mutation analysis and COREQQA for compliance requirements understanding, with strong industry adoption in automotive and aerospace sectors.

Jie M. Zhangمشاهده پروفایل

استادیار

• Software Testing
• AI for Software Engineering
• Software Engineering for AI
• +۵ مورد دیگر

Jie M. Zhang is an Assistant Professor in the Department of Informatics at King's College London, specializing in the intersection of software engineering and artificial intelligence. Her research focuses on two main directions: AI for Software Engineering (leveraging AI technologies to automate software tasks) and Software Engineering for AI (applying SE principles to enhance AI system trustworthiness). Her educational background includes a PhD in Computer Science from Peking University, where she was supervised by Professors Lu Zhang and Dan Hao. Prior to joining King's College London, she was a Research Fellow at University College London working with Professor Mark Harman and Professor Federica Sarro. Dr. Zhang's research interests center on software testing, machine learning trustworthiness, fairness testing, bias mitigation in AI systems, and program analysis. Her work particularly examines how large language models can be utilized for code generation, test case creation, and program repair, while also developing techniques to detect and fix issues within AI models. Her recent publications demonstrate strong trends in evaluating and enhancing the trustworthiness of AI-generated code, with specific emphasis on fairness testing across various domains including autonomous driving systems, machine translation, and decision-making software. Her research increasingly focuses on the efficiency of generated code and detecting hallucinations in large language models. 2025 ACM Sigsoft Early Career Researcher Award for pioneering contributions to software engineering for AI IEEE TSE 2024 Best Paper Award for 'Stealthy Backdoor Attack for Code Models' FSE 2025 Distinguished Paper Award Royal Society International Exchange Grant recipient NMES Enterprise & Engagement Partnerships Fund recipient Dr. Zhang has served in numerous leadership roles across major software engineering conferences including as General Chair for AIware 2025, Area Chair for ASE 2025, and Steering Committee Member for ICST. She has advised multiple PhD students and received significant research funding for her work on LLMs and software engineering. Her research group collaborates with industry partners including Huawei and Facebook, and she leads projects such as ITEA GENIUS and ITEA GreenCode. She is actively involved with King's College London research hubs including the Trusted Autonomous Systems Hub, Security Hub, and Software Systems group, where her work contributes to developing trustworthy AI systems across multiple domains.

Gerd Terördeمشاهده پروفایل

استاد

• Electrical Engineering
• Power Systems
• Control Engineering
• +۳ مورد دیگر

Prof. Dr.-Ing. habil. Gerd Terörde is a Professor of Electrical Drive Technology at Osnabrück University of Applied Sciences, affiliated with the Faculty of Management, Culture and Technology. He holds a Diplom in Electrical Engineering from RWTH Aachen and a Dr.-Ing. habil. from TU Berlin. His career includes research at RWTH Aachen, KU Leuven, and TU Berlin, as well as industry roles as a project leader at Atlas Copco Airpower in Belgium. Education: 1989–1996: Diploma in Electrical Engineering (RWTH Aachen) 2002: PhD in Electrical Engineering (KU Leuven) 2008: Habilitation in Electrical Drive Technology (TU Berlin) Research focuses on electrical drives, power electronics, and control systems, with emphasis on sensorless control, renewable energy integration, and high-performance drive systems. He teaches courses on electrical machines, power electronics, control theory, and regenerative energy systems. Publications include a textbook on electrical drives and numerous patents/contributions to international journals and conferences. His work addresses topics like inverter systems, motion control algorithms, and energy-efficient drive solutions. Labs/Teams: Active in university research groups focusing on electrical drives and energy systems within the Faculty of Management, Culture and Technology.

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

استاد

• Programming Languages
• Software Engineering
• Macro Systems
• +۲ مورد دیگر

Robert Bruce Findler is a Professor of Computer Science at Northwestern University, specializing in programming languages and software engineering. He serves as a core developer of the Racket programming language and has contributed extensively to language design, macro systems, and gradual typing. Affiliation: Department of Electrical Engineering and Computer Science, McCormick School of Engineering Research Interests: Programming Languages (PL), Domain-Specific Languages (DSLs), Macro Systems, Gradual Typing, Contracts His work spans both theoretical and practical domains, including the development of Racket's Redex framework for semantics engineering and innovative approaches to contract systems in gradual typing. He has been actively involved in the PL community through committee memberships and program organization. Recent research focuses on macro systems (Rhombus), contract optimization (Collapsible Contracts), and language interoperability (The Functional, the Imperative, and the Sudoku). His GitHub contributions reflect ongoing development in Racket and related tools. Key Collaborations: Racket development ecosystem, PLDI/POPL/ICFP/SPLASH conferences Committee Roles: ICFP Programme Committee, REBLS Program Committee, POPLmark Retrospective Panelist

Stephan Schiemannمشاهده پروفایل

استاد

• Sports Science
• Health Sciences
• Physical Education
• +۴ مورد دیگر

Prof. Dr. Stephan Schiemann is a faculty member at Leuphana University of Lüneburg specializing in Sports Science and Health Sciences . With over 122 publications and active research in physical education, strength training, and rehabilitation, his work focuses on biomechanics, muscle adaptation, and digital health interventions. Key Research Areas: Strength training, flexibility protocols, youth athlete development, inclusive sports, and digital health applications Projects: KITA GUT & GESUND, RoBaTaS (Rollstuhlbasketball), HeaLinGo (health-language integration) Research Trends Recent publications analyze: Strength-performance correlations across sports (basketball, cross-country skiing) Long-term stretching effects on muscle hypertrophy Measurement error differentiation in ultrasound diagnostics Comparative training methods for plantar flexors His work bridges theoretical development with practical applications in school sports and rehabilitation.

Kihong Heoمشاهده پروفایل

دانشیار

• Program Analysis
• Programming Language
• Machine Learning
• +۳ مورد دیگر

Kihong Heo is an Associate Professor in the School of Computing and Graduate School of Information Security at KAIST (Korea Advanced Institute of Science and Technology) in South Korea. His academic career includes serving as an Assistant Professor at KAIST from 2017-2019 before being promoted to Associate Professor in 2020, following his postdoctoral research at the University of Pennsylvania. He earned both his Ph.D. and B.S. in Computer Science & Engineering from Seoul National University. Dr. Heo's research focuses on developing program reasoning systems for safe and reliable software, with specific interests in AI-based program analysis systems for detecting deep semantic software bugs, general-purpose program simplification systems for secure and efficient software, and scalable program synthesis systems for automatic software generation and repair. His work bridges the gap between programming languages, program analysis, and machine learning techniques to create next-generation programming systems. Analysis of his recent publications reveals a strong trend toward integrating machine learning techniques with traditional program analysis methods, with significant contributions in compiler validation, software security, fault localization, and program debloating. His research has practical impact, with some of his work incorporated into Facebook's Infer static analyzer. ACM SIGSOFT Distinguished Paper Award, FSE 2025 Amazon Research Award, 2024 The Soo-Young Lee Teaching Innovation Award, KAIST, 2024 Prize for Excellence in Teaching, KAIST, 2024 Best Artifact Award, ICSE 2022 ACM SIGPLAN Distinguished Paper Award, PLDI 2019 ACM SIGSOFT Distinguished Paper Award, ICSE 2019 Dr. Heo actively mentors graduate students, currently advising several Ph.D. candidates including Yeonhee Ryou, Taeeun Kim, and Sujin Jang, as well as master's students. He has served on program committees for major software engineering and programming language conferences including PLDI, ICSE, POPL, and SPLASH, demonstrating his active role in the academic community. His laboratory, the Programming Systems Laboratory at KAIST, focuses on creating innovative programming systems that leverage both semantic-based program analysis and AI techniques.

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

دانشیار

• Uncertainty Quantification
• Random Differential Equations
• Numerical Algorithms
• +۴ مورد دیگر

Tobias Neckel is an Associate Professor at the Institute for Informatics at the Technical University of Munich (TUM), where he leads research projects and coordinates academic programs. He has been the project team leader of the IGGSE Project ExaNIML since 2018, main coordinator of the Ferienakademie since 2014, and Program Coordinator of the Bavarian Graduate School of Computational Engineering (BGCE) since 2009. Diploma in Technomathematik from TU München (2005) Dr. rer. nat. in Informatics from TU München (2009) Neckel's research focuses on Uncertainty Quantification, Random Differential Equations, and High Performance Computing. His work develops efficient numerical algorithms using hierarchic and adaptive methods such as octrees/spacetrees and sparse grids, with applications in fluid-structure interactions and incompressible fluid flow simulation. His research bridges theoretical mathematics with practical computational science, emphasizing robust and efficient implementations. His recent publications demonstrate a strong trajectory in multi-fidelity modeling, uncertainty quantification, and high-performance computing. Neckel has made significant contributions to scalable hierarchical approximation methods, dynamic resource management in HPC, and the application of machine learning techniques to computational science problems. His work spans diverse application domains including plasma physics, hydrology, and computational engineering. Lehrfonds prize of the TUM (2014) Ernst Otto Fischer prize of the TUM (2011) Promotionspreis des Bunds der Freunde der TU München (2009) Neckel has supervised numerous graduate students and has been actively involved in curriculum development and teaching innovation. His book "Bits and Bugs: A Scientific and Historical Review of Software Failures in Computational Science" (2019) represents a significant contribution to understanding software reliability in scientific computing. He has organized minisymposia at major conferences including SIAM CSE and SIAM UQ, and serves on program committees for various computational science conferences. As coordinator of the Ferienakademie and the BGCE, Neckel plays a central role in advanced computational engineering education in Bavaria. His research group develops software for exascale computing and contributes to the Transregional Collaborative Research Centre 89 on Invasive Computing. Neckel also maintains international collaborations, with research stays at institutions including the Australian National University and Tokyo Institute of Technology.

Gudrun Kiesmuellerمشاهده پروفایل

استاد

• Inventory Management
• After Sales Service
• Design and Analysis of Manufacturing Systems
• +۴ مورد دیگر

Prof. Dr. Dr. h.c. Gudrun Kiesmüller serves as Full Professor holding the Chair for Operations Management at TUM School of Management, Technical University of Munich, based at Campus Heilbronn since July 2019. She concurrently holds the position of Hedda Andersson Guest Professor at Lund University's Department of Industrial Management & Logistics since January 2021. Previously, she held professorial positions at Otto-von-Guericke-University Magdeburg (2013-2019), Christian-Albrechts-University zu Kiel (2010-2013), and Technical University Eindhoven (2002-2009). Her research program focuses on Operations Management with particular emphasis on the implications of digitization in Industry 4.0, especially in after-sales services. She develops analytical methods to optimize processes across manufacturing and supply chains. Her work spans three interconnected domains: stochastic manufacturing systems design (examining buffer sizing and spare parts planning), safety stock optimization under uncertain demand and supply conditions, and maintenance-reliability integration. She investigates how digitization transforms traditional operations, with growing emphasis on AI applications for supply chain optimization and inventory planning. Prof. Kiesmüller's extensive publication record reveals consistent contributions to operations research methodology with practical business applications. Her work demonstrates increasing integration of data-driven approaches, particularly in the most recent publications which explore AI applications for supply chain optimization. The research shows progression from theoretical inventory models toward more complex, integrated systems that consider multiple uncertainties simultaneously, reflecting the growing complexity of modern supply chains. Her professional recognition includes: 2022 Service Award from the International Society for Inventory Research Multiple Outstanding Reviewer Awards from OR Spectrum (2017, 2020) EURO Best Paper Award (2014) for influential review on lateral transshipments Multiple teaching awards recognizing excellence in both bachelor and master level instruction At TUM, Prof. Kiesmüller teaches a comprehensive curriculum in Operations Management, emphasizing both theoretical foundations and practical applications. Her courses equip students with skills to analyze supply chain planning problems, apply quantitative models, and solve complex operational challenges. She maintains an active research group investigating how digitization transforms operations management practices, particularly in after-sales service contexts where Industry 4.0 technologies enable new optimization possibilities.

• Traffic Data Acquisition
• Traffic Data Analysis
• Video-Based Microscopic Traffic Flow Simulation
• +۲ مورد دیگر

Dr. Adrian Fazekas is a Lecturer at the Institute of Highway Engineering, RWTH Aachen University, and collaborates with the Federal Highway Research Institute (BASt). He holds a Dr.-Ing. in Computer Science from RWTH Aachen (2005–2011), specializing in Media Engineering. His professional trajectory includes roles as a Research Assistant at RWTH Aachen and industry experience as a Software Developer at Continental AG. Research interests focus on traffic data acquisition , microscopic traffic flow simulation , and intelligent transportation systems . Key projects include: DROVA: Drone-based traffic analysis for infrastructure optimization ESIMAS: Real-time tunnel safety management Digital Twin Road: Physical-informational mapping of future highways AUTUKAR: Automated tunnel monitoring systems His publications emphasize real-time traffic detection , safety analytics , and data-driven modeling , with recent work exploring thermal-camera nudging systems and weigh-in-motion accuracy. He actively contributes to the Research Association for Roads, Earth and Tunneling (SETAC). No awards or student advising roles are documented.

• Embedded Machine Learning
• Neural Network Hardware Acceleration
• Quantized Neural Networks
• +۳ مورد دیگر

Lukas Einhaus is a Researcher and PhD student in the Embedded Systems department at the University of Duisburg-Essen since April 2020, affiliated with the Intelligent Embedded Systems (IES) research group and contributing to initiatives including Elastic AI and the IoT Garage. His academic background includes: Bachelor of Science from University of Duisburg-Essen, thesis focused on programming abstractions for concurrent embedded systems Master of Science from University of Duisburg-Essen, specializing in distributed and reliable systems with thesis research on quantizing neural networks Einhaus's research centers on designing neural networks for efficient hardware implementation on FPGAs, with primary expertise in quantized or low-precision neural networks that reduce bit depth (typically 1-3 bits) for computations and information flow. This work enables energy-efficient AI solutions for embedded and IoT devices where resource constraints are critical. His publication record from 2021-2025 reveals consistent innovation in FPGA-based neural network optimization, with applications spanning fluid flow estimation, time-series analysis, and real-time stream processing. Core themes include Elastic AI for adaptive systems, precomputation techniques for convolutional layers, and hardware-aware neural architecture design. He previously contributed to the BMBF-funded project "KI-Sprung: LUTNet" (until March 2022), developing energy-efficient AI networks using elementary lookup tables for FPGA deployment. Einhaus actively mentors students through the IoT Garage initiative, supervising practical projects including drink-mixing machines, exoskeletons, and ball-challenge systems.

• Embedded Systems
• Computer Engineering
• Electronics
• +۶ مورد دیگر

Prof. Akash Kumar is a Professor at the Chair of Embedded Systems at Ruhr University Bochum, Germany. He previously held professorships at TU Dresden (2015–2024) and the National University of Singapore (NUS; 2011–2015). His research focuses on design automation of embedded systems, reliability optimization, and approximate computing, with a strong emphasis on FPGA and emerging technologies. He leads projects such as Lean-MICS (DFG-funded) and SecuREFET-II, addressing cross-layer reliability and secure circuits. Education: PhD in Multimedia Multiprocessor Systems from Eindhoven University of Technology (TUe) and NUS (2005–2009), Master of Technological Design (Embedded Systems) from NUS (2003–2004), and B.Eng (Computer Engineering) from NUS (1999–2002, First Class Honours). Research interests span embedded systems, reconfigurable architectures, and hardware-software co-design. His work includes optimizing energy efficiency, fault tolerance, and cross-layer approximation techniques. Recent publications highlight advancements in FPGA-based accelerators, machine learning optimizations, and mixed-criticality systems. Active in grants and leadership, Kumar is Principal Investigator on multiple DFG and industry-funded projects, emphasizing collaborative research in distributed computing and approximate architectures. His contributions bridge theory and practice, with applications in edge AI, IoT, and cybersecurity.

• Natural Language Processing
• Large Language Models
• Soft Robotics
• +۴ مورد دیگر

Peiyi Wang is an Assistant Professor at Peking University's School of Electronics Engineering and Computer Science, Institute for Artificial Intelligence. With strong research output spanning both natural language processing and robotics, Wang maintains significant collaborations with Southern University of Science and Technology and National University of Singapore, particularly in soft robotics research with Professor Cecilia Laschi. Additionally, Wang is actively involved with DeepSeek-AI, contributing to several major language model initiatives including DeepSeek-R1 and DeepSeek-V2. Peking University, School of EECS, Institute for Artificial Intelligence (Primary) Southern University of Science and Technology (Collaborative) National University of Singapore (Collaborative) DeepSeek-AI Research Organization Dr. Wang's research spans two primary domains with significant intersection points. In natural language processing, Wang focuses on large language model reasoning capabilities, mathematical verification, uncertainty estimation, and preference alignment. The robotics work centers on soft robotics, particularly origami-inspired designs, strain-based modeling, and control systems for continuum manipulators. These domains converge in Wang's work on vision-language models, embodied AI, and multimodal reasoning systems. Recent work demonstrates particular innovation in mathematical reasoning verification (Math-Shepherd), soft robotic control systems, and red teaming frameworks for language model safety. Wang's publication record shows remarkable productivity, with over 40 publications between 2021-2025 across top-tier venues including ACL, EMNLP, CVPR, and IEEE Transactions on Robotics. The work demonstrates consistent progression from foundational NLP tasks to increasingly sophisticated multimodal and reasoning systems. The most recent publications (2024-2025) show particular emphasis on mathematical reasoning verification, soft robotics control, and language model safety evaluation. While specific awards aren't documented in the provided materials, Wang's work has clearly gained significant recognition through acceptance at top-tier conferences and collaborations with leading researchers in both NLP and robotics fields. Wang's research demonstrates strong interdisciplinary connections, bridging theoretical NLP work with practical robotics applications. The work with DeepSeek-AI suggests active industry collaboration while maintaining strong academic research output. Current research directions appear focused on improving language model reasoning reliability while developing novel soft robotic systems that can interact safely and effectively with complex environments.