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

• Semantic Computing
• Big Data Integration
• STEM Education
• +۳ مورد دیگر

Srividya Bansal is an Associate Professor and Program Chair of the Software Engineering program at Arizona State University's School of Computing and Augmented Intelligence. She joined ASU in 2010 and previously held a visiting assistant professorship at Georgetown University. Her research focuses on semantics-based approaches for Big Data integration, knowledge graphs, and outcome-based STEM education design. She currently co-leads the NSF-funded 'SUDOKN: Supply and Demand Open Knowledge Network' project under the Proto-OKN program. Education: B.Tech in Computer Science, National Institute of Technology Warangal (1999) MS in Computer Science, Texas Tech University (2002) PhD in Computer Science, University of Texas at Dallas (2007) Industry experience: 5 years as a software engineer at SAP Labs India and Tyler Technologies Research interests include semantic computing, web service composition, and educational technology. She has over 75 publications and actively teaches courses like Semantic Web Engineering and Software Enterprise . Current NSF grants include IUSE-funded work on step-based tutoring systems for circuit analysis and Proto-OKN's open knowledge networks. Professional affiliations include IEEE Computer Society and ACM. She leads the Instructional Module Development (IMOD) System project to enhance outcome-based curriculum design in STEM fields.

• Cybersecurity
• Resilience Engineering
• Critical Infrastructure Protection
• +۳ مورد دیگر

Professor Paul Smith holds a Chair in Networking at the Department of Computing and Communications , Lancaster University , and serves as Interim Head of Department . His research focuses on cybersecurity and resilience engineering for critical networked systems , particularly in digitalized nuclear infrastructure . His work explores risks of digital innovation in critical sectors, resilience frameworks , and cyber-attack mitigation . He leads national and international research projects , collaborating with the International Atomic Energy Agency (IAEA) to enhance computer security programs in nuclear facilities. Current projects include DSI: DVAC (2025), JUNO Mini Project (2023-2024), and Resilience for Cyber-Physical Energy Systems (2022-2024). Prioritizing knowledge exchange , he contributes to cybersecurity education via cyber ranges and international workshops . His team, Security Lancaster , supports nuclear sector cybersecurity through practical tools like the Goosewolf intrusion detection system and PLCblockmon for industrial control systems .

Pantelis Sopasakisمشاهده پروفایل

مدرس

• Model Predictive Control
• Embedded Numerical Optimization
• Stochastic Optimal Control
• +۵ مورد دیگر

Dr. Pantelis Sopasakis is a Lecturer in the School of Electronics, Electrical Engineering and Computer Science at Queen's University Belfast, Northern Ireland. His research focuses on developing efficient numerical optimization algorithms and model predictive control (MPC) methodologies for uncertain systems, with applications in autonomous vehicles, smart infrastructure networks, and advanced manufacturing. He leads projects on embedded optimization solvers, GPU-accelerated MPC, and stochastic control for systems like water networks and microgrids. His work emphasizes real-time implementation and safety-critical applications in robotics and energy systems. He teaches postgraduate and undergraduate courses in control theory and signals, and is actively involved in supervising PhD students in areas like parallel algorithms and MPC for uncertain systems. Key achievements include the development of the Open-Source Optimization Engine , widely used for embedded MPC. Research interests span distributed embedded intelligence, intelligent uncertain-aware MPC, and biomedical applications of control systems. He collaborates internationally on projects involving risk-averse control, multi-agent systems, and circular economy applications. His interdisciplinary work bridges optimization theory, robotics, and energy systems, with a focus on scalable and real-time solutions. Teaching includes modules on control systems fundamentals and advanced MPC concepts, supported by his textbook Control Systems: An Introduction . Dr. Sopasakis has contributed to over 50 publications, with recent work on conformal prediction for stochastic control, distributed collision avoidance, and thermodynamical material networks. He participates in conferences and editorial activities, and has organized events like the 2025 IEEE UK and Ireland Robotics Conference. His research group is part of the Energy, Power, and Intelligent Systems and Control clusters at Queen's.

• Robotics
• Mechatronics
• Control Theory
• +۴ مورد دیگر

Péter Korondi is a Professor at the University of Debrecen in Hungary, affiliated with the Department of Electrical Engineering and Mechatronics . His work spans robotics, control theory, and industrial automation, with a focus on bio-inspired systems and human-robot interaction. Research Interests : Robotics, Mechatronics, Control Theory, Human-Robot Interaction, Industrial Automation, Sensor Fusion Recent Article Trends : Sliding mode control, friction compensation in micro-telemanipulation, path planning for mobile robots, smart industrial systems Collaborations : Co-authored works with Gabor Sziebig, Ferenc Tajti, Géza Szayer, and international researchers in IEEE Transactions , Sensors , and Acta Polytechnica Hungarica . Technological Focus : Development of rehabilitation devices, holonomic drive systems, and ethorobotics models inspired by animal behavior.

Frank Piessensمشاهده پروفایل

استاد

• Software Security
• Systems Security
• Formal Methods
• +۲ مورد دیگر

Frank Piessens is a Professor in the Department of Computer Science at KU Leuven, Belgium. His work spans both offensive and defensive aspects of software and systems security, with a focus on formal verification, programming languages, and security architectures. He has served as program chair for major security conferences like POST 2016, IEEE Euro S&P 2018-2019, and IEEE SecDev 2021-2022. Software Security Systems Security Formal Methods Programming Languages Information Flow Security His research bridges theoretical and practical domains. On the defensive side, he has advanced formal verification for C-like languages, memory safety hardening, and micro-architectural side-channel mitigation. On the attack side, he has contributed to transient execution and memory safety exploitation frameworks. His recent work (2024) explores compiler support for control-flow linearization using architectural mimicry, while earlier publications (2021-2014) cover functional reactive programming, secure compilation, and dependently typed verification. Frank has consistently engaged with academic communities, serving on program committees for ACM CCS, Usenix Security, and IEEE Security & Privacy. He co-authored key papers in venues like POPL, ICFP, and PriSC. His lab, Distrinet, focuses on distributed systems and security research. No explicit details about scientific awards or student advisement are present in the provided data.

Ali Goharمشاهده پروفایل

پژوهشگر

• Communication Networks
• 5G and 6G
• Mathematical Modeling for Communication Networks
• +۳ مورد دیگر

Ali Gohar is a Researcher at the Department of Electrical Engineering and Computer Science, Faculty of Science and Technology, University of Stavanger. He holds a PhD in Computer Science from the same university (2019-2024) and has supervised multiple master's theses. Education: PhD - Computer Science, University of Stavanger (2019-2024) MS - Computer Science, Kookmin University (2017-2019) BS - Telecommunication, COMSATS University Islamabad (2011-2014) Certifications: AI in Education, Constructive Alignment and Digital Course Design, Intercultural Competence, NyTi Teaching Certificate, CCNA Research Interests: Ali Gohar's work centers on Deep Reinforcement Learning, 5G/6G communication networks, mathematical modeling, and resource allocation optimization. His research develops autonomous algorithms for network systems in smart cities and space-air-ground integrated networks. Publications: He has contributed to 15 recent publications spanning peer-reviewed journals and conference proceedings, focusing on network slice brokers, virtual network embedding, scalable video coding, and remote driver selection. These works intersect with AI, telecommunications, and urban infrastructure. Supervision: He has mentored students on projects including security-aware resource allocation, federated learning, and vertical industry optimization in smart cities.

• Computer Science
• Machine Learning
• IoT
• +۷ مورد دیگر

Ali Hassan is a researcher affiliated with the National University of Sciences and Technology (NUST), School of Electrical Engineering and Computer Science, Department of Computer and Software Engineering. His work spans multiple domains in computer science, engineering, and applied mathematics, focusing on areas such as machine learning, IoT, energy systems, and medical informatics. His research explores: Reinforcement learning applications for battlefield information systems IoT antenna design and performance evaluation Optimization of second-life battery systems in electric vehicles Transformers for real-time vehicle collision avoidance Image hashing techniques using visual attention models Neural network-based phasor estimation for power grids Biomedical sensor systems for non-invasive health monitoring Mathematical modeling of viral dynamics Recent publications demonstrate his emphasis on interdisciplinary approaches combining AI, signal processing, and sustainability. He has collaborated with institutions across Pakistan, France, Saudi Arabia, and the USA, with a focus on practical implementations in cybersecurity, energy optimization, and healthcare technology.

• Biomedical Engineering
• Medical Devices
• Sensor Technology
• +۵ مورد دیگر

Mustafa GEÇİN is a Lecturer at the Faculty of Engineering and Natural Sciences of Suleyman Demirel University, affiliated with the Department of Electrical and Electronics Engineering . He holds a PhD in Electronics and Communications Engineering (2022) from the same institution. His academic career includes roles as a Research Assistant since 2016 and contributions to multiple interdisciplinary projects. Education: Bachelor's in Electronics and Communications Engineering (2013) Master's in Electronics and Communications Engineering (2015) Doctorate in Electronics and Communications Engineering (2022) Research Interests: Development of precision measurement systems for healthcare applications (e.g., postural disorder diagnosis) 3D-printed sensor technologies for industrial monitoring (e.g., water level detection in PVC pipes) Electromagnetic field analysis in clinical and traffic safety environments Publications: His work includes peer-reviewed articles in SCI-Expanded journals focusing on biomedical engineering and telecommunications. Notable contributions include advancements in wound healing via electromagnetic fields and microwave sensor design. Projects: "Precision Measurement Technologies for Postural Disorders" (2018–2022) "Water Level Detection Systems Using 3D-Printed Sensors" (2018–2021) Grants and Awards: Supported by national research grants from universities and public institutions. Currently maintains an H-index of 3 with 21 citations (Google Scholar).

• 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.

Shangping Renمشاهده پروفایل

استاد

• Cyber-Physical Systems
• Real-Time Scheduling
• Cloud Computing
• +۴ مورد دیگر

Dr. Shangping Ren is a Full Professor at the Department of Computer Science, Illinois Institute of Technology (IIT), since joining in 2003. She holds a Ph.D. in Computer Science from the University of Illinois Urbana-Champaign (UIUC), awarded in 1997. Prior to academia, she worked as a software engineer for over five years. Her research focuses on Cyber-Physical Systems (CPS), Real-Time Scheduling, and Cloud Computing, with emphasis on medical CPS safety, software architecture, system reliability under resource constraints, and cloud resource optimization. She co-organized the first international workshops on CPS, which evolved into the international CPS conference. Her work is funded by NSF, Air Force Research Laboratory, and Fermi National Accelerator Laboratory. Education: Ph.D. in Computer Science, UIUC, 1997 Software Engineering Industry Experience (pre-2003) Research Interests: Cyber-Physical Systems (CPS): Developing executable medical best practice guidance systems for emergency care, integrating physical environment assumptions into CPS design. Real-Time Systems: Scheduling algorithms for deadline adherence, resource degradation mitigation, and rejuvenation strategies. Cloud Computing: Resource and VM optimization for deadline-constrained applications, energy-efficient scheduling. Software Engineering: Architecture design for time-critical distributed systems, reliability under resource constraints. Recent Article Trends: Recent publications emphasize CPS applications in healthcare, real-time scheduling under performance degradation, fault-tolerant cloud scheduling, and energy-efficient algorithms. Key themes include deadline-aware resource allocation, multi-resource task assignment, and defect-tolerant NoC architectures. Grants & Projects: Principal Investigator (PI) for NSF-funded projects on medical CPS (2015-2018), many-core virtualization (2010-2015), and real-time embedded systems (2008-2015). Projects include EMBG systems for rural emergency care, adaptive checkpointing frameworks, and FermiCloud VM optimization. Labs & Teams: Leads CPS research initiatives at IIT, collaborating with industry partners (Motorola Mobility) and labs (Fermi National Accelerator Lab).

Anne Kiremidjianمشاهده پروفایل

استاد

• Earthquake Engineering
• Structural Health Monitoring
• Risk Assessment
• +۳ مورد دیگر

Anne Kiremidjian is the C.L. Peck, Class of 1906 Professor in Stanford University's School of Engineering, specializing in Civil and Environmental Engineering. She holds a BA in Physics from Queens College (1972), BS in Civil Engineering from Columbia University (1972), and MS/PhD in Structural Engineering from Stanford (1973/1977). Her research focuses on earthquake hazard modeling, structural resilience, and wireless sensor networks for infrastructure monitoring. Key roles include Co-Director (1987-1995) and Director (1995-2002) of the John A. Blume Earthquake Engineering Research Center. She co-founded K2 Technologies and Sensametrics, Inc., and has served on numerous national and international advisory boards, including the National Academy of Engineering and the John and Jene Blume Foundation. Her research emphasizes data-driven methods for post-earthquake damage assessment, integrating machine learning and sensor networks. Notable contributions include algorithms for structural health monitoring and frameworks for prioritizing healthcare system recovery post-disaster. Over 130 publications and 15+ honors highlight her impact, including the 2023 Thomas Egleston Medal and National Academy of Engineering membership (2021). Teaching spans decision analysis, structural engineering, and research mentorship. Her work bridges academia and industry, addressing global challenges in disaster resilience and sustainable infrastructure.

• Program verification
• Software Reliability
• Formal methods
• +۴ مورد دیگر

Professor Marieke Huisman is a leading figure in software reliability at the University of Twente, where she chairs the Computer Science department within the Faculty EEMCS and leads the Formal Methods and Tools (FMT) Group. She serves as President and Steering Committee chair of the ETAPS association, Member of the board of IPN (ICT-Research Platform Netherlands), and Fellow of the Netherlands Academy of Engineering (NAE). Her research focuses on program verification, reliability of concurrent, parallel and distributed applications, software specification, and formal methods. She develops verification techniques through the VerCors verifier, with applications spanning concurrent data structures, GPGPU programming, and distributed systems. Her work bridges theoretical formal methods with industrial applications, particularly in safety-critical domains. Professor Huisman's recent publications demonstrate strong activity in deductive verification, with particular emphasis on verification of concurrent and parallel systems, memory models, and practical applications of formal methods. Her research shows consistent evolution from theoretical foundations toward practical industrial applications, with increasing focus on GPU programming verification and automated invariant generation. Netherlands Prize for ICT Research 2013 (50,000 euros) 2023 Athena Award for female researchers who stand out as role models She leads multiple significant research projects including NWO OC M Pallas, WWU Münster - UT collaboration Saves, NWO TTW OTP Cheops, NWO VICI Mercedes, and Interreg North Sea Storm_Safe. Her leadership extends to editorial roles including Associate Editor-in-Chief of the Software Track of Science in Computer Programming and executive board membership of VERSEN, the Dutch National Association for Software Engineering. Professor Huisman directs the FMT Group which develops the VerCors verification toolset for concurrent and parallel software. The group collaborates internationally with institutions including WWU Münster, TU Eindhoven, and NlNet Labs, focusing on making formal verification accessible and practical for real-world software development challenges.

Boudewijn Haverkortمشاهده پروفایل

استاد

• Cyber-Physical Systems
• Data Science
• Artificial Intelligence
• +۸ مورد دیگر

Boudewijn Haverkort is Dean of the Tilburg School of Humanities and Digital Sciences at Tilburg University , with a distinguished career spanning over 30 years in academia and research leadership. He has held professorships at the University of Twente and RWTH Aachen, focusing on cyber-physical systems, and led major institutions like the Embedded Systems Institute (ESI) and the Dutch national research program Commit2Data . Education : PhD in Performability Modelling (University of Twente, 1991) Master’s in Computer Science (University of Twente, 1986; thesis work at University of Dortmund, Germany) Research centers on cyber-physical systems , including their application to sustainability , smart grids , wearable systems , and industrial security . His work combines technical rigor with societal impact and is funded by national (NWO) and international (EU) grants. Scientific contributions span performance evaluation , model checking , stochastic Petri nets , and digital twin development . His recent publications address temperature-aware scheduling , virtual entity modeling , and safety-critical system verification . Scientific leadership : Chairman of Commit2Data (2016–present) Chair of 3TU Centre of Excellence CeDICT (2005–2009) Scientific Director of Embedded Systems Institute (2009–2013) Head of Computer Science Department (University of Twente, 2008–2009, 2017–2018) Awards : Harvey Rosten Award for Excellence (2019) Collaborations include roles at the Fraunhofer Project Centre (2018) and advisory positions for regional innovation policies. He has supervised over 30 PhD students and taught courses on cyber-physical design , computer networking , and smart industry modules .

Karsten Peterمشاهده پروفایل

استاد

• Control of Mechatronic Systems
• Aerospace Systems
• Safety and Reliability
• +۲ مورد دیگر

Prof. Karsten Peter is a Professor of Automation and Mechatronics at Bremerhaven University of Applied Sciences. He leads the Manufacturing Automation Laboratory and is involved in the Embedded Systems Design study program. His research focuses on mechatronic systems control, aerospace technologies, safety engineering, and requirements engineering. Education details are not explicitly provided in the text. His professional roles include academic leadership and laboratory management. No specific awards or grants are mentioned, but his expertise is centered around automation and embedded systems applications. He is based at An der Karlstadt 6, Office Z1020 in Bremerhaven. Office hours during lecture periods are Monday afternoons, with appointments required outside term time.

Astrid Westendorfمشاهده پروفایل

استاد

• Mucosal Immunology
• Infectious Diseases
• Immunology
• +۱۳ مورد دیگر

Professor Dr. Astrid Westendorf is a faculty member at the University of Duisburg-Essen (UDE), serving as Chair of Infectious Immunology at the Institute of Medical Microbiology, University Hospital Essen. She has been Vice Rector for Research and Young Scientists at UDE since April 2022, highlighting her leadership in academic research and mentorship. Her work is central to the ZMB (Center for Medical Biotechnology) and is aligned with the UDE's research program in Immunology, Infectious Diseases, and Transplantation. Her research focuses on mucosal immunology, particularly the interactions between the immune system and the gut microbiome. She investigates how imbalances in this system contribute to chronic inflammatory bowel diseases (IBD) and colorectal cancer. Key areas include the role of interleukin-33, regulatory T cells, sphingolipids, and helminth infections in modulating immune responses. She also pioneers nanoparticle-based strategies for immune modulation, with applications in infection and cancer therapy. The recent publications reveal a strong trend in immunomodulation using biomaterials, host-pathogen interactions in gastrointestinal and systemic infections, and the immunological mechanisms underlying cancer development. Her work frequently involves calcium phosphate and barium sulfate nanoparticles for drug delivery and imaging, alongside deep exploration of T cell and B cell regulation in infection and inflammation. Appointment as expert member of the Central Commission for Biological Safety (ZKBS), 2024–2027 Professor Westendorf actively mentors doctoral students and leads a dynamic research team. Her group receives substantial funding from the DFG (GRK1949, GRK2098), BMBF (HeliTec project), and other national programs, supporting projects on antibiotic-free Helicobacter therapy and nanoparticle effects in intestinal organoids. She leads the research group Infection Immunology, which includes postdoctoral researchers, junior group leaders, and technical staff. The group operates within the Institute of Medical Microbiology and is embedded in the Faculty of Medicine at UDE, contributing to both basic science and translational medicine. Their research spans from molecular mechanisms to preclinical models, with strong collaborations across immunology, oncology, and nanotechnology.