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

Olivia Di Matteoمشاهده پروفایل

استادیار

• Quantum Computing
• Quantum Software Engineering
• Quantum Compilation
• +۵ مورد دیگر

Olivia Di Matteo serves as an Assistant Professor in the Department of Electrical and Computer Engineering within UBC's Faculty of Applied Science, leading the Quantum Software and Algorithms Research (QSAR) group since her January 2022 appointment. Her academic foundation includes a BSc from Lakehead University and MSc/PhD in Physics (Quantum Information) from the University of Waterloo, completed in 2019. Dr. Di Matteo's research centers on quantum software engineering , with pioneering work in quantum compilation , circuit optimization , and debugging tools . She champions open-source quantum frameworks and develops accessible educational resources to democratize quantum computing. Analysis of her 15 most recent publications (2021-2025) reveals dominant trends in quantum programming infrastructure, particularly circuit analysis (33%), bug classification (20%), and qubit network optimization (15%), with strong emphasis on practical software tooling over theoretical physics. No scientific awards were documented in the source materials. She advises graduate students in the QSAR group while contributing to open-source quantum ecosystems through projects like PennyLane and The Ionizer transpiler, and teaches courses including CPEN 400Q (Gate-model quantum computing) and ELEC 221 (Signals and Systems). The QSAR group operates at the intersection of quantum software development and education, focusing on making quantum programming accessible through visual tools, real-time debugging environments, and hardware-agnostic compilation techniques.

Ralf Beckمشاهده پروفایل

استاد

• Control Engineering
• Automation Technology
• Regulation Systems
• +۵ مورد دیگر

Prof. Dr.-Ing. Ralf Beck serves as Professor for Control and Regulation Technology and Automation Technology at Hochschule Düsseldorf University of Applied Sciences within the Faculty of Electrical Engineering & Information Technology. His academic responsibilities span multiple degree programs including BEng Electrical Engineering, BEng Industrial Engineering, and MSc Electrical Engineering and Information Technology. His educational background includes Mechanical Engineering studies at TU Braunschweig (1998-2004), followed by doctoral research at RWTH Aachen's Institute of Control Engineering where he earned his Dr.-Ing. in 2010 with a dissertation on predictive energy management for hybrid vehicles. Prior to his current professorship, he held progressive roles at FEV Europe GmbH from 2009-2018, culminating as Senior Project Manager for Vehicle and Powertrain Electronics. Beck's research focuses on control engineering systems with particular emphasis on automation technology, regulation systems, and model-based development approaches. His work bridges theoretical control methodologies with practical automotive applications, especially in hybrid vehicle energy management, multi-robot systems, and intelligent air path control. The Modellfabrik Fab21 serves as his primary experimental platform for model-based development applications. His publication record since 2005 demonstrates consistent contributions to control engineering, particularly in hybrid vehicle systems, emission control optimization, and calibration methodologies. Recent work shows increasing focus on distributed robotics and intelligent transportation systems, reflecting evolving research directions while maintaining core expertise in control theory applications. As an educator, Beck teaches foundational and advanced courses including Electrical Engineering III, Control and Regulation Technology, Model-Based Development, Technical Mechanics, and Advanced Control Engineering at the Master's level. His teaching integrates theoretical concepts with practical laboratory applications through the university's Moodle platform, emphasizing hands-on implementation of control algorithms and system modeling techniques.

Benoit Combemaleمشاهده پروفایل

استاد

• Software Engineering
• Model-Driven Engineering
• Software Language Engineering
• +۷ مورد دیگر

Benoit Combemale is a Full Professor of Software Engineering at the University of Rennes , currently on leave as Research Director at Inria . He is affiliated with the DiverSE research team (joint between IRISA and Inria) and the SM@RT team at IRIT. He serves as Editor-in-Chief of the Springer-Nature journal Software and Systems Modeling (SoSyM) and holds leadership roles in academic conferences like ACM SIGPLAN Intl. Conference on Software Language Engineering and MODELS . Education : Habilitation (2015) and PhD (2008) in Software Engineering from University of Rennes and University of Toulouse, respectively. Research : Focuses on Model-Driven Engineering , Digital Twins , and ICT for Sustainability , with applications in cyber-physical systems, scientific computing, and industrial systems. Recent Publications highlight trends in digital twin modeling, energy-aware software engineering, polyglot programming, and formal verification for heterogeneous systems. His scientific awards include: Editor-in-Chief of SoSyM Steering Committee member of ACM SIGPLAN Intl. Conference on Software Language Engineering General Chair for ICT4S 2023 and MODELS 2016 PC Chair for MODELS 2024, ECMFA 2019, and SLE 2014 Coordinator of Dagstuhl Seminars and Bellairs workshops Advising includes 30+ students in topics ranging from digital twin engineering to software testing and language design. He leads the GEMOC Initiative and contributes to projects like SciHook and GEMOC Studio .

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

دانشیار

• Process Mining
• Business Process Management
• Petri Nets
• +۶ مورد دیگر

Andrea Burattin is an Associate Professor at the Department of Applied Mathematics and Computer Science, Technical University of Denmark. His work bridges formal methods and practical process analysis, focusing on process mining, business process management, and hybrid modeling techniques. He actively contributes to research in healthcare process optimization, streaming data analysis, and system verification through Petri nets and CCS transformations. UN Sustainable Development Goals: Poverty eradication, environmental protection, and prosperity for all (via process optimization) Active projects: Immersive Process Mining (2024-2027), Usability and Understandability of Hybrid Process Models (2018-2021) His research explores large language model integration with process mining, proposing frameworks like Tiramisù for multi-faceted process visualization and PN2CCS for formal model translation. Recent work emphasizes real-time monitoring, conformance checking, and IoT-driven process analytics. Key trends in his publications include: 1) Streaming process mining pipelines (2022-2025); 2) LLM-plan generation frameworks (2024); 3) Formal verification techniques (Petri nets, CCS); 4) Healthcare process modeling (2019-2023); 5) Behavioral pattern analysis in process compliance. Scientific Awards Best Demo Award (2022, 2016) Best Process Mining Dissertation Award (2014) Best Workshop Paper (EDBA and PODS4H, 2023) As advisor, he supervises PhD projects on process mining and hybrid modeling. His editorial roles include Information Systems reviewer (2024-2025) and past editor for Engineering Applications of AI (2022-2023). Collaborations span Denmark, Italy, and the Netherlands.

• Ergonomics
• Digital Human Modeling
• Manufacturing Systems
• +۵ مورد دیگر

Lars Hanson is a Professor of Product Design Engineering at the University of Skövde's School of Engineering Science. His research focuses on ergonomics, digital human modeling, and optimizing manufacturing systems with a strong emphasis on human well-being and sustainable production. He leads projects like LITMUS (Industry 4.0 to 5.0 transition) and has contributed to developing tools such as IPS IMMA for ergonomic simulations. Active in virtual verification of human-robot collaboration and smart textile systems for workplace safety Published extensively in journals like International Journal of Human Factors Modelling and Simulation and IEEE Access Editor of conference proceedings and contributor to industry standards in automotive and healthcare sectors Research interests include multi-objective optimization of factory layouts, musculoskeletal risk assessment, and integrating ergonomic evaluations into product design processes. Current projects address Industry 5.0 sustainability challenges through digital twin technologies and smart manufacturing solutions.

Istvan David McMasterمشاهده پروفایل

استادیار

• Digital Twins
• Model-Driven Engineering
• Sustainability
• +۶ مورد دیگر

Istvan David is an Assistant Professor in the Department of Computing and Software at McMaster University , with research expertise spanning Digital Twins , Model-Driven Engineering , and Sustainability . His work bridges theoretical and applied domains, focusing on smart ecosystems , collaborative modeling , and AI-driven simulation . Key contributions include frameworks for digital twin evolution and interoperability in sustainable systems. Education : BSc, MSc, and PhD in Computer Engineering and Computer Science from Budapest University of Technology and Economics, and University of Antwerp. Research Areas : Digital Twins, Model-Driven Engineering, Reinforcement Learning, Smart Ecosystems, Sustainability, Collaborative Modeling, Cyber-Biophysical Systems, and Software Architecture. Recent Article Trends emphasize AI integration with digital twins, collaborative modeling in industrial contexts, and sustainable systems engineering . His work often combines machine learning with formal modeling to address challenges in technical sustainability and smart agriculture .

• Software Engineering
• Model-Driven Engineering
• Automotive Embedded Systems
• +۳ مورد دیگر

Vera Pantelic is an Adjunct Assistant Professor in the Department of Computing and Software at McMaster University. Her research focuses on software engineering practices for model-based development in automotive systems, particularly centralized Electrical/Electronic (E/E) architectures, Simulink modeling, and supervisory control of probabilistic discrete event systems. Education: Not explicitly mentioned in the text. Her scholarly activity includes extensive contributions to conferences and journals in automotive software engineering, model transformation, and real-time systems. Her work addresses challenges in modularity, documentation, and compliance within automotive embedded systems. Her recent publications emphasize advancements in centralized E/E architectures, model-driven testing, and assurance cases for automotive safety. She collaborates on topics integrating software engineering principles with automotive domain requirements. Scientific Awards: No specific awards mentioned in the text. She serves as an advisor in software engineering, though specific student names are not listed. Her projects involve simulation-based testing, model refactoring, and compliance frameworks, supported by industry partnerships and academic grants. Her work contributes to labs and teams focused on automotive software reliability and model-driven engineering. No explicit lab or team affiliations are detailed in the provided text.

• Space Systems Engineering
• Computer Architecture
• Embedded Systems
• +۵ مورد دیگر

Pablo Parra Espada is an Associate Professor at the Department of Automática, University of Alcalá (Spain), affiliated with the Space Research Group (SRG-UAH). He holds a PhD from the University of Alcalá (2012) titled Integración de tecnologías de desarrollo y análisis basadas en componentes bajo un enfoque multi-plataforma , supervised by Dr. Sebastián Sánchez Prieto and Dr. Óscar Rodríguez Polo. His research focuses on space systems engineering , particularly in RISC-V processor design , embedded systems , and model-driven engineering . Key areas include hardware-software co-design for satellite systems, real-time computing, and fault-tolerant architectures. He has contributed to the Solar Orbiter mission through work on the Energetic Particle Detector (EPD) and its on-board software validation. His recent work emphasizes virtualization techniques for LEON processors, FPGA-based digital beamforming , and spaceborne phased array systems . He also explores model-driven approaches for automated configuration of ground support equipment. His interdisciplinary contributions bridge computer architecture with aerospace applications. Prof. Parra Espada has published extensively on topics such as hardware performance monitoring, memory management units for satellites, and system-level verification of space software. His work combines rigorous engineering methodologies with cutting-edge technologies to address challenges in space instrumentation and embedded systems.

Ridha Khedriمشاهده پروفایل

استاد

• Cybersecurity
• Formal Methods in Software Engineering
• Information Security Ontology
• +۶ مورد دیگر

Ridha Khedri is a Professor in the Department of Computing and Software at McMaster University . His research spans formal methods in software engineering, cybersecurity, information security ontology, network segmentation, and covert channels analysis. Full Professor since 2000 Contact: khedri@mcmaster.ca Research Interests : Prof. Khedri develops algebraic frameworks for software security, with recent work on network segmentation , ontology engineering , and covert channel detection . His interdisciplinary efforts include hybrid machine learning-ontology models for environmental predictions (e.g., river ice breakup) and digital twin healthcare systems . Article Trends : His 15 most recent works (2016-2025) focus on network security , knowledge representation , and formal verification . Notable trends include automated security testing , ontology modularization , and multi-context reasoning systems . Teaching : He has taught courses like Software Design (CAS 703), Discrete Mathematics (SFWRENG 2DM3), and Algebraic Methods in Software Engineering (CAS 738) since 2017.

• Software Evolution
• Software Libraries
• APIs
• +۵ مورد دیگر

Thomas Degueule is a CNRS researcher in the Software Engineering group at LaBRI (Bordeaux, France). His research focuses on software evolution , modularity , and comprehension , with a particular emphasis on software libraries , APIs , software ecosystems , and domain-specific languages (DSLs) . Prior to his current role, he worked as a postdoctoral researcher at CWI (Amsterdam) and earned his PhD at IRISA (Rennes, France). Research Themes : Software evolution, API analysis, dependency management, empirical software engineering, DSL engineering Projects : ANR JCJC ALIEN (PI), H2020 CROSSMINER (WP leader), ALE (associate member), LEOC Clarity (member), ANR INS GEMOC (member), ITEA2 MERgE (member) Software Tools : Roseau, Maracas, BreakBot, Melange, Eclipse GEMOC Studio, K3, Alex, Scava His recent publications highlight trends in API breaking changes , dependency evolution , DSL interoperability , and automated software analysis (see articles list for details). He also contributes to software education through tools like MOON and Immediate Feedback for Jupyter Notebooks. Thomas has supervised PhD students including Gustave Monce (University of Bordeaux), Lina Ochoa (now assistant professor at Eindhoven University), Corentin Latappy (post-doc at University of Bordeaux), and Christophe Casseau (lecturer at University of Bordeaux). He actively participates in academic service, serving on program committees for conferences such as ICSE , ASE , ICSME , ISSTA , and SLE , and organizing workshops like SLEBoK and MLE 2021 .

Michele Germaniمشاهده پروفایل

استاد

• Industrial Engineering
• Ergonomics
• Sustainability
• +۷ مورد دیگر

Prof. Michele Germani is a Full Professor at the Polytechnic University of Marche, Department of Industrial Engineering and Mathematical Sciences. His research focuses on ergonomics, sustainability, and human-centered design, with particular emphasis on industrial automation, wearable technologies, and circular economy principles. He leads projects on ergonomic risk assessment, environmental impact modeling, and smart manufacturing systems. Academic Background: Holds a position in the Faculty of Engineering, contributing to both teaching and research. His work integrates machine learning, sensor-based systems, and virtual reality to address challenges in manufacturing, healthcare, and sustainable design. Research Interests: Prof. Germani explores topics such as design for disassembly, eco-design tools, and the application of advanced technologies (e.g., exoskeletons, cobots) to enhance workplace safety and efficiency. His studies often bridge engineering and environmental science, aiming to reduce carbon footprints through innovative design methodologies. Key Projects: Development of decision support systems for fall risk detection, sensor-based ergonomic evaluation tools, and frameworks for circular economy implementation. He also investigates the impact of Industry 4.0 technologies on workforce dynamics and operator training via mixed reality simulations. Grants & Collaborations: Engaged in interdisciplinary collaborations focusing on sustainable manufacturing, healthcare technology, and smart systems. His research has led to tools like Durabot for durability analysis and Greenbuild for green building design. Labs & Teams: Oversees labs developing eco-design strategies, human-robot collaboration systems, and ergonomic assessment protocols, with a focus on real-world industrial applications.

Dilian Gurovمشاهده پروفایل

استاد

• Software Specification and Verification
• Multi-Agent Strategic Planning
• Formal Methods
• +۳ مورد دیگر

Dilian Gurov is a Professor in Computer Science at KTH Royal Institute of Technology, associated with the Digital Futures Faculty and the Division of Theoretical Computer Science. He also coordinates the Doctoral Programme in Computer Science at the CSC school. Before joining KTH in 2002, he earned a Ph.D. from the University of Victoria, Canada (1998), and worked at the Swedish Institute of Computer Science (1997-2002). His research focuses on software specification and verification, including contracts, program models, logics, and tools, as well as multi-agent strategic planning involving knowledge-based strategies in imperfect information settings. Key contributions include the CAV Distinguished Paper Award 2023 for 'Automatic Program Instrumentation for Automatic Verification' and an EASST award for 'Checking Absence of Illicit Applet Interactions: A Case Study' (2004). He leads projects funded by VR (SEFROS, ContraST) and Vinnova (AVerT2) and collaborates with industries like Scania on formal verification of C programs. His service roles span over 30 conference committees and organization roles, including PC memberships for iFM, TAP, and ISoLA. Teaching responsibilities include courses such as 'Formal Methods,' 'Program Semantics and Analysis,' and 'Knowledge in Games with Imperfect Information.' His work emphasizes practical applications of formal methods, bridging academic research with industry needs through collaborations and tool development (e.g., CVPP, ProMoVer, TriCo).

Timothy Menziesمشاهده پروفایل

استاد

• Artificial Intelligence
• Software Engineering
• Data Science
• +۵ مورد دیگر

Timothy Menzies is a full Professor in the Department of Computer Science at North Carolina State University's College of Engineering. He serves as the director of the Irrational Research lab (mad scientists r'us) and holds editorial positions as editor-in-chief of the Automated Software Engineering journal and associate editor for IEEE Transactions on Software Engineering. With over 300 publications and more than 24,000 citations, Menzies is a globally recognized leader in software engineering research. Menzies' research focuses on developing computer systems that make optimal decisions with minimal data, specializing in artificial intelligence, intelligent agents, data sciences, analytics, and software engineering. His pioneering work in data-driven, explainable, and minimal AI for software systems has redefined defect prediction, effort estimation, and multi-objective optimization. He is particularly known for his contributions to empirical software engineering, emphasizing transparency and reproducibility. As the co-creator of the PROMISE repository, he helped establish modern empirical software engineering by demonstrating that small, interpretable AI models can outperform larger, more complex ones. Menzies' recent publications reveal several key trends in his research: a growing emphasis on ethical considerations in AI deployment, particularly in sensitive domains like legal systems; continued innovation in software analytics with a focus on hyperparameter optimization tailored specifically for software engineering tasks; exploration of causal relationships in software analytics; and development of techniques that work effectively with limited data, including landscape analysis, surrogate learning, and active learning approaches. Mining Software Repositories Foundational Contribution Award (2017) Carol Miller Graduate Lecturer Award (2016) IBM Faculty Award (2016, 2017) ACM Fellow (2025) ASE Fellow (2024) IEEE Fellow Professor Menzies has advised 24 Ph.D. students throughout his career, with recent completions including Andre Motta (April 2025) and Xueqi Yang (October 2024). His research has secured over $19 million in funding from prestigious agencies including NSF, DARPA, and NASA, as well as industry partners like Meta, Microsoft, and IBM. Current grants focus on improving machine learning model efficiency, adapting empirical software engineering methods to computational science, vulnerability detection, and software analytics at scale using transfer learning across 10,000+ GitHub projects. Menzies has developed innovative approaches to help developers navigate the challenges of AI implementation while maintaining ethical standards and practical effectiveness. As director of the Irrational Research lab, Menzies leads a team focused on creating AI tools that are not only intelligent but also fair, transparent, and trustworthy. The lab's work emphasizes practical applications of AI in software engineering while addressing the human factors involved in developer-AI collaboration. Current projects include developing methods for better fuzzing with L3harris, improving vulnerability detection through smart pruning techniques, and creating AI platforms for workforce empowerment through credential gap diagnostics.

• Additive Manufacturing
• Engineering Design
• Manufacturing Process Optimization
• +۳ مورد دیگر

Professor Allan Rennie serves as Professor in Manufacturing Engineering at Lancaster University's School of Engineering and holds the administrative position of Associate Dean for Engagement within the Faculty of Science and Technology. With a career spanning over 30 years since initiating work in additive manufacturing during the mid-1990s, he has established himself as a leading figure in industrial applications of advanced manufacturing technologies across diverse sectors. His research expertise centers on Additive Manufacturing , Engineering Design , and Manufacturing Process Optimization , with current specializations including design for additive manufacturing (as co-leader of the UK's EPSRC DfAM Network), industrial digitalisation of manufacturing processes, and innovative tooling development using metallic and hybrid approaches. Rennie has significantly contributed to Engineering Education , particularly examining the integration of business and management principles into engineering curricula and analyzing the impacts of online/hybrid delivery modes on student engagement and graduate employability following the COVID-19 pandemic. Recent publication trends reveal Rennie's dual focus on practical manufacturing applications and scholarly analysis of technological evolution. His 2025 bibliometric study maps a decade of Design for Additive Manufacturing research, while his structural analysis of musical instruments demonstrates cross-disciplinary applications of manufacturing techniques. These works reflect his commitment to both advancing manufacturing technology and documenting its academic trajectory through rigorous analysis. Professor Rennie actively supervises PhD candidates including Jenny Roberts, Eunike Sembiring, and Joe Taylor while leading substantial research projects such as the EPSRC DfAM Network (2020-2023), Automating Design for Additive Manufacture with AI (2023-2024), and multiple Engineers in Business Competitions. His extensive grant portfolio spans industrial digitalization, sustainable manufacturing, and educational innovation, with notable projects including RENDER (powder recycling), TecHnology and EntrepreneUrship Education, and Production Capable Additive Manufacturing of Polymers. Rennie contributes to Lancaster's research ecosystem through affiliations with the Centre for Global Eco-innovation, Energy Lancaster initiative, and the Lancaster Product Development Unit. These platforms enable him to bridge academic research with industrial applications across multiple sectors, particularly supporting his work on sustainable manufacturing practices, technology commercialization, and industry engagement strategies that translate research into real-world impact.

Mike Barthمشاهده پروفایل

استاد

• Automation Technology
• Control Systems
• Cyber-Physical Systems (CPS)
• +۵ مورد دیگر

Prof. Mike Barth is a Professor for Networked Secure Automation Technology at the Karlsruhe Institute of Technology (KIT), affiliated with the Department of Electrical Engineering and Information Technology (ETIT) and the Institute for Control Systems (IRS). His academic background includes a doctorate from Helmut Schmidt University (2011) and a master's degree from Pforzheim University (2008). He previously held roles as a researcher at ABB and as a professor at Pforzheim University, focusing on blended learning and Industry 4.0 integration. Education: PhD in Automation Technology, Helmut Schmidt University (2011) M.Sc. in Product Development, Pforzheim University (2008) Diploma in Mechanical Engineering, Pforzheim University (2006) Research Interests: Automation technology, control systems, Industry 4.0, cyber-physical systems, digital twin engineering, cybersecurity, and IoT protocols. Teaching: Courses include System Modeling, Cyber Physical Production Systems, and Digital Twin Engineering. His research emphasizes secure automation architectures, decentralized systems, and model-based engineering. He chairs multiple committees including IFAC TC3.1 and the VDI/VDE Society for Measurement and Automation. Over 50+ publications span topics like simulation models, industrial security, and robotic integration. Labs/Teams: Leads the IRS Automation Technology team, focusing on innovation in control systems and digital twin applications.