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

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

دانشیار

• Internet of Things (IoT)
• Energy Engineering
• Quality of Service (QoS)
• +۵ مورد دیگر

Affiliations & Roles Michele Albano is an Associate Professor at the Department of Computer Science, Aalborg University, Denmark. He is affiliated with The Technical Faculty of IT and Design, focusing on research in IoT, Cyber-Physical Systems, and Edge Computing. He leads the Productive4.0 project (2017–2020), funded by Horizon Europe, addressing Industry 4.0 challenges in product lifecycle management. His work integrates formal verification tools like Uppaal with real-world applications in robotics, energy systems, and blockchain-based platforms. Research Interests Albano's research spans IoT architecture optimization , energy-efficient systems , and model-driven engineering . He develops tools for autonomous exploration algorithms (MAES), edge-cloud resource orchestration, and fault-tolerant computation offloading. His work bridges theoretical models (e.g., Uppaal SMC) with practical implementations in smart grids and robotic systems. Recent projects include blockchain-based crowdsourcing for machine learning and energy-aware thermal dynamics estimation in buildings. Collaborations & Impact He collaborates with the European Industry 6.0 community, contributing to the Arrowhead Framework for interoperable IoT systems. His research outputs include 112 publications, with 2025 highlights in human-inspired robotics and cognitive cloud frameworks. Media coverage in 2024–2025 highlights his work on green IT and secure API generation. Albano advises students on system modeling (e.g., ACSmt plugin development) and edge computing optimization. Labs & Teams His research group focuses on Cyber-Physical Systems and Smart Grids , with contributions to tools like RoutesMobilityModel and FlexHousing. He actively participates in workshops on New Trends in Software Architecture (SATrends '24) and IEEE conferences on Industrial Informatics.

Saddek Bensalemمشاهده پروفایل

استاد

• Formal Methods
• Verification
• Embedded Systems
• +۷ مورد دیگر

Saddek Bensalem is a Professor at Université Grenoble Alpes (UGA), affiliated with the Laboratoire Verimag within the Grenoble Institute of Technology. His research focuses on rigorous system design, formal methods for verification, and the integration of learning-enabled components into safety-critical systems. He leads projects like FETLAS (Engineering Trustworthy Learning-enabled Autonomous Systems) and has contributed to frameworks such as BIP for component-based system design. Research Interests: Formal verification of real-time systems, model-based design, cyber-physical systems, autonomous robotics, and security in IoT. His work emphasizes scalable verification techniques and correctness-by-construction approaches. Recent Projects: FOCETA (H2020): Foundations for continuous engineering of trustworthy learning-enabled systems. BRAIN-IoT: Framework for smart IoT-CPS integration and security. CPS4EU: Strengthening European capabilities in cyber-physical systems. Labs & Teams: Laboratoire Verimag, leading the Rigorous System Design team (2008-2020) and currently advancing autonomous systems research. Active in collaborations with institutions like NASA/JPL and SRI International.

Björn Annighöferمشاهده پروفایل

استاد

• Avionics Systems
• Self-Adaptive Systems
• Cybersecurity
• +۵ مورد دیگر

Björn Annighöfer is a Professor at the Institute of Aviation Systems (ILS) at the University of Stuttgart, where he serves as Managing Director. His work focuses on complex, digital, and safety-critical avionics systems, including self-adaptive platforms, cybersecurity, and AI-supported aerospace systems. Research interests include: Self-adaptive avionics platforms Model-based cybersecurity frameworks Integrated Modular Avionics (IMA) development Virtualization and middleware for safety-critical systems AI applications in aerospace Automated development and certification processes Recent publications highlight advancements in PLUG-AND-FLY avionics, security assessment using large language models, and domain-specific modeling tools. He leads a team of ~25 scientists at ILS, which operates modern labs, flight simulators, and research aircraft for testing.

Xing Liمشاهده پروفایل

استاد

• International Relations
• Globalization and Social Change
• China and International Relations
• +۵ مورد دیگر

Xing Li is a Professor in the Department of Politics and Society at Aalborg University, affiliated with the Faculty of Social Sciences and Humanities. Their research focuses on global political dynamics, particularly China's role in international relations, multi-order world governance, and Arctic peace initiatives. Key projects include the 'Anticipating Governance in the Coming Multi-Order World' (2023-2026) and 'Preserving the Arctic as an International Zone of Peace' (2021-2023). Education details are not explicitly provided in the text, but Li's expertise spans international relations theory, political economy, and development studies. Their research interests integrate themes like globalization, social change, and East Asian regional integration, often addressing contemporary challenges in global governance. Recent research trends include interdisciplinary collaboration between political science and technical fields (e.g., energy systems and materials science), as evidenced by publications on fuel cell diagnostics and battery technologies. These studies highlight innovative applications of data-driven methods in both social and engineering contexts. Li has received the 'Teacher of the Year' award (2020) and has supervised one PhD student, J. Pang. They actively engage in academic activities, including organizing conferences on global south dynamics and multi-order world narratives. Li's work is supported by grants from institutions like the Asia Foundation and has been widely disseminated through media outlets like China Daily and South China Morning Post .

• Indoor Air Quality
• Ventilation Systems
• Infection Risk Management
• +۳ مورد دیگر

Natalia Lastovets is a Postdoctoral Researcher specializing in Civil Engineering with a focus on indoor air quality, ventilation systems, and infection risk management. Her research addresses critical challenges in building energy renovation, healthcare facility design, and airborne pathogen transmission mitigation. Key research areas include the optimization of ventilation systems in hospitals and daycare centers, the impact of filtration and air cleaning technologies on infection rates, and the development of predictive models for indoor airflow dynamics. Her work contributes to UN Sustainable Development Goals related to affordable and clean energy (SDG7) and good health and well-being (SDG3). Natalia has collaborated with institutions on studies involving particle concentration monitoring in mechanically ventilated patient rooms, risk management strategies in building renovations, and thermal comfort modeling in office environments. Her research outputs bridge fundamental engineering principles with practical applications in healthcare infrastructure and sustainable building practices.

Chongyan Guمشاهده پروفایل

مدرس ارشد

• Hardware Security
• Physical Unclonable Functions (PUFs)
• IoT Security
• +۴ مورد دیگر

Dr. Chongyan Gu is a Senior Lecturer in the School of Electronics, Electrical Engineering and Computer Science at Queen’s University Belfast, part of the Faculty of Engineering and Physical Sciences. Her research focuses on hardware security, particularly Physical Unclonable Functions (PUFs), approximate computing vulnerabilities, and IoT device security. She leads the EPSRC New Investigator Award-funded project on Hardware Security for Approximate Computing and has secured industry collaborations with LG-CNS and defense companies. Dr. Gu has received notable awards including the INVENT2015 Overall Winner and Pramod Subramanyan Presentation Award. Her research has been commercialized, such as licensing PUF technology for EV charging systems and defense applications. She collaborates internationally through EU projects with Fraunhofer and ETRI. Dr. Gu serves as an IEEE Senior Member, Guest Editor for IEEE TCAS-I, and editorial roles for conferences like IEEE ISCAS and AsianHOST. She has delivered tutorials at ASP-DAC and HiPEAC, emphasizing practical PUF design and hardware security challenges. Key technical contributions include PUF-based authentication protocols, machine learning-resistant security solutions, and vulnerability analysis in approximate computing. Her work addresses emerging threats like Rowhammer attacks and hardware Trojans, leveraging graph attention networks for detection. Recent publications highlight advancements in RRAM-based PUFs, FPGA implementations, and defense mechanisms for modern DRAM systems.

• Fluid Machinery
• Thermal Management Systems
• Computational Fluid Dynamics (CFD)
• +۴ مورد دیگر

Emma Frosina is an Associate Professor at the Department of Engineering (DING) of the University of Sannio, Italy. Her research focuses on fluid machinery, thermal management systems, and computational fluid dynamics (CFD) with applications in automotive and railway sectors. Academic Rank: Associate Professor Department: Engineering (DING) Email: frosina@unisannio.it Her work emphasizes fault detection in pumps using machine learning, optimization of liquid cold plates via DOE and CFD, and analysis of cavitation in spool valves. Recent publications highlight collaborations with researchers like Senatore, Romagnuolo, and Borriello. Key themes from her 15 most recent publications include: Advancements in condition monitoring for electric gear pumps Innovations in pressure ripple reduction via CFD Development of vibroacoustic tools for fault detection Optimization of thermal management systems in railway and automotive contexts

Ujjwal Guinمشاهده پروفایل

دانشیار

• Hardware Security
• Semiconductor Supply Chain
• Integrated Circuit Authentication
• +۳ مورد دیگر

Ujjwal Guin is an Associate Professor in the Department of Electrical and Computer Engineering at Auburn University's College of Engineering . His work focuses on hardware security, semiconductor supply chain integrity, and blockchain applications in trust establishment. He has received recognition for his research, including IEEE Senior Membership and awards in hardware security competitions. White House citation for counterfeit IC research (2021) Hack@SEC 2021 second-place award UF/FICS Hardware De-obfuscation Competition winner (2019) His recent publications address counterfeit detection, logic locking vulnerabilities, blockchain-based authentication, and SRAM security analysis. He leads collaborative projects funded by the National Science Foundation and contributes to academic peer review processes.

• Network Programmability
• Network Virtualization
• Routing
• +۷ مورد دیگر

Géraldine Texier is a Professor at the Network Systems, Cybersecurity and Digital Law (SRCD) department of IMT Atlantique, a member of the Adopnet research team at IRISA, and affiliated with the Advanced Connectivity lab of the b com Institute. Her research focuses on network programmability, virtualization, Quality of Service (QoS), inter-domain routing, and IoT. She contributes to academic activities through teaching networking courses and co-developing three MOOCs. Her research spans advanced topics in Software Defined Networking (SDN) Network Function Virtualization (NFV) QoS in inter-domain contexts IoT routing protocols Genetic algorithms for network optimization Fuzzy reputation systems for 5G infrastructure with a particular emphasis on scalable solutions and trust mechanisms. The 15 most recent publications highlight her work in network tomography, federated learning, and 5G slicing. Key trends include AI-driven network service placement reputation systems for RAN sharing genetic algorithms for monitoring optimization inter-domain path computation QoS in virtualized environments collaborative security frameworks In her advisory role, she has directed multiple PhD students including Masoud Taghavian (NFV in 5G Edge) Cedric Morin (SDN-NFV QoS algorithms) Rabah Guedrez (Segment Routing) Pascal Thubert (Deterministic Networks) and maintains active involvement in EU projects and industry collaborations.

• Guidance Navigation and Control (GNC)
• Space Robotics
• Autonomous Systems
• +۷ مورد دیگر

Pedro Arroz Correia Bonifácio Serra is a researcher in the Department of Electrical and Computer Engineering at Universidade Lusófona, specializing in Guidance, Navigation, and Control (GNC) systems for aerospace and robotic applications. His work is closely aligned with European Space Agency (ESA) missions such as e.Deorbit, COMRADE, GUIBEAR, and HERACLES, focusing on active debris removal, on-orbit servicing, and autonomous spacecraft operations. Research Interests: His primary research areas include Guidance, Navigation and Control (GNC), space robotics, autonomous systems, image-based visual servo control, fault-tolerant control, and nonlinear control systems. He has made significant contributions to the development and validation of control architectures for capturing tumbling satellites and enabling autonomous landing of UAVs and spacecraft. The most recent publications reflect a strong emphasis on space safety, debris removal technologies, and computational GNC for complex space missions. His work bridges theoretical control design with practical ground validation, particularly in the context of ESA-led projects. The recurring themes across his publications include autonomous rendezvous, manipulator control for space robots, and robust GNC under uncertain conditions. Scientific Contributions: Key contributor to ESA's e.Deorbit mission studies, focusing on capture and deorbiting of defunct satellites like Envisat. Developed and tested GNC systems for the HERACLES lunar ascent element. Involved in the COMRADE project for combined control of robotic spacecraft and manipulators. Worked on GUIBEAR project for bearings-only rendezvous navigation. Advising and Grants: While no formal students are listed, his research is supported by major European space initiatives, likely involving collaborative grants from ESA and industrial partners such as Airbus. His work involves experimental validation and prototype development, indicating access to advanced research funding and facilities. Labs and Teams: Although specific lab affiliations are not mentioned, his involvement in projects like WMS LEMUR and e.Deorbit suggests collaboration with ESA’s GNC teams and space robotics laboratories focused on on-orbit servicing and debris removal technologies.

Kazuhiro Ogataمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Formal Methods
• +۵ مورد دیگر

Kazuhiro Ogata is a Professor in the School of Information Science at Japan Advanced Institute of Science and Technology (JAIST). He actively teaches courses such as i116 Basic of Programming, i217 Functional Programming, and i219 Software Design Methodology, indicating a strong commitment to computer science education and curriculum development. Institution: Japan Advanced Institute of Science and Technology (JAIST) School: School of Information Science Position: Professor Email: ogata@jaist.ac.jp Research Laboratory: http://www.jaist.ac.jp/~ogata/lab/ His research interests center on programming languages, software design methodology, formal methods, and compiler construction. He emphasizes formal verification using theorem proving and rewriting logic, particularly with tools like Maude. His work bridges theoretical computer science with practical software engineering and education, focusing on correctness, design patterns, and language semantics. The analysis of his recent publications reveals a consistent focus on formal specification, verification of software systems, and educational tools for programming. His work spans functional programming, concurrent systems, and distributed algorithms, often using rewriting logic as a unifying framework. He integrates formal methods into both research and teaching, promoting rigorous software development practices. No scientific awards are explicitly mentioned in the provided texts. Kazuhiro Ogata advises students through his laboratory at JAIST and has developed structured course materials that suggest active mentorship. While specific grant information is not available, his sustained research output and tool development imply ongoing project funding. He contributes to academic outreach through summer schools and educational frameworks. He leads a research laboratory focused on formal methods and programming language design, fostering a collaborative environment for students and researchers. The lab develops tools for teaching and verifying software systems, emphasizing correctness and educational impact.

• Cybersecurity
• Formal Verification
• Cyber-Physical Systems
• +۷ مورد دیگر

Marjan Sirjani is a Professor at Mälardalen University, affiliated with the School of Innovation, Design and Engineering, and the Division of Computer Science and Software Engineering. Her research focuses on cybersecurity, formal verification, and cyber-physical systems, with notable contributions to actor-based modeling (e.g., Timed Rebeca) and tools like AFRA for model analysis. She specializes in integrating formal methods into safety-critical systems, including automotive cybersecurity, ROS2 robotics, and blockchain-based IoT systems. Her work emphasizes rigorous analysis of protocols, concurrency, and real-time constraints. Recent projects include the CRYSTAL framework for CPS assurance, Tiny Twins for runtime attack detection, and applying LLMs for automated test generation. She also explores semantic segmentation in construction and compositional analysis of distributed systems. Publications highlight advancements in protocol learning, controller synthesis for safety, and model-driven development. Her research bridges theoretical foundations (e.g., automata theory, temporal logics) with practical applications in autonomous systems, medical device interoperability, and smart mobility. Labs/Teams: Involved in the Rebeca tool development (AFRA) and collaborative projects on CPS security. Grants: Not explicitly listed but implied through project involvement.

Hadi Işık Aybayمشاهده پروفایل

استاد

• Computer Engineering
• Neural Networks
• Distributed Systems
• +۴ مورد دیگر

Prof. Dr. Hadi Işık Aybay is a distinguished Professor of Computer Engineering at Eastern Mediterranean University (EMU), North Cyprus. He has held academic roles including Department Chairman of Computer Engineering (1994–2004 and 2013–present) and Director of EMU's Distance Education Institute (2000–2013). He earned his PhD in Electrical and Electronic Engineering from METU (1989) and served as an Assistant/Associate Professor before becoming a full Professor in 2013. His research spans neural networks, distributed systems, and e-learning technologies. Education: PhD, Electrical and Electronic Engineering, Middle East Technical University (1989) M.Sc., Electrical and Electronic Engineering, METU B.Sc., Electrical and Electronic Engineering, METU Research Interests: Prof. Aybay's work focuses on computer engineering innovations, including neural network hardware, distributed multimedia systems, and wireless communication protocols. He pioneered EMUOnline, a blended learning platform, and contributed to science park development in North Cyprus. His research also addresses challenges in video streaming optimization and adaptive resource allocation in cellular networks. Key Achievements: He led over 15 projects, including EU-funded initiatives like 'Deep Farm' (2024–2025). His publications (80+ papers) span IEEE journals and conferences, with 281 Google Scholar citations. Awards include the 1973 National Project Contest First Prize and the 1990 Best Thesis Award (supervised). Grants and advising: Supervised 3 PhD and 28 MSc students. Current projects include AI-driven agriculture (Erasmus+). Grants include EU funding (€1M) and Turkish Republic of Northern Cyprus initiatives. Labs/Teams: Active in the EMU Computer Engineering Department's research groups, focusing on distributed systems and e-learning infrastructure.

Shin Hwei Tanمشاهده پروفایل

دانشیار

• Automated Program Repair
• Open-source Software Development
• Software Testing
• +۹ مورد دیگر

Shin Hwei Tan is an Associate Professor (Gina Cody Research Chair) at the Department of Computer Science and Software Engineering , Concordia University, Montreal, Canada. Previously, she worked as an Assistant Professor at the Southern University of Science and Technology (SUSTech) since June 2018. Her academic journey includes a PhD from the National University of Singapore under Abhik Roychoudhury and MS/BS degrees from the University of Illinois at Urbana-Champaign, co-advised by Darko Marinov and Lin Tan. Education: PhD in Computer Science (National University of Singapore, 2018) MS in Computer Science (University of Illinois at Urbana-Champaign, 2012) BS in Computer Science (University of Illinois at Urbana-Champaign) Her research interests span Automated Program Repair , Software Testing , Open-source Software Development , Genetic Improvement , Program Analysis , and Comment Analysis . She actively applies machine learning and formal methods to improve software reliability. Recent work includes LMDefects (Codex-generated bugs dataset), Droix (Android app repair), and Codeflaws (program repair benchmark). Her research outputs demonstrate expertise in automated patch generation , static analyzer testing , and quantum software verification . Key projects include Concoction (vulnerability prediction), SAScope (static analysis framework testing), and COMFUZZ (compiler fuzzing). She has secured significant grants including a NSERC Discovery Grant (2024–2028) and ECR Young Researcher Fund (2019). Scientific Awards: ACM-W Rising Star Award (2025) ICSE/SANER Distinguished Paper Awards (2023–2025) Google Anita Borg Memorial Scholarship (2015) David J. Kuck Outstanding MS Thesis Award (2013) Multiple Best Reviewer Awards She serves as General Chair for FSE 2026 , Guest Editor-in-Chief for TOSEM , and workshop co-chair for APR@ICSE series. Her teaching focuses on software engineering practices with real-world open-source projects. She also co-founded the ACM-W Montreal Professional Chapter in 2025.

Kjell Gunnar Robbersmyrمشاهده پروفایل

استاد

• Mechatronics
• Machine Design
• Condition Monitoring
• +۵ مورد دیگر

Kjell Gunnar Robbersmyr is a Professor at the University of Agder's Department of Engineering Sciences and director of the Top Research Center in Mechatronics. With a Ph.D. in mechanical engineering from NTNU (1992), his career spans academic leadership, research management at Agder Research, and active contributions to IEEE. His work focuses on mechatronics, machine design, and condition monitoring, with special emphasis on fault diagnosis in electric motors and vehicle crash modeling. Senior Member of IEEE Member of Norwegian Academy of Technical Sciences Member of Agder Academy of Sciences Research interests include: Advanced fault diagnosis in electric drives using AI and signal processing Vehicle crashworthiness modeling with lumped parameter and finite element methods Optical measurement technology for machine monitoring Digital twin applications for infrastructure and wind energy systems Condition monitoring of low-speed bearings and rotating machinery Recent publications demonstrate expertise in: Deep learning for imbalanced motor fault datasets Transformer networks in power electronics diagnostics 3D reconstruction techniques for mechanical systems Multi-classifier decision fusion in power systems Dynamic operations modeling for electric vehicles Scientific contributions include: Over 50 peer-reviewed articles Leadership in the Intelligent Monitoring research group Development of novel inverter topologies Innovations in wind turbine condition monitoring Advancements in laser-based mechanical diagnostics