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

• Concurrency Theory
• Formal Methods
• Privacy Policy Analysis
• +۳ مورد دیگر

Anna Filippou is a Professor at the Department of Computer Science of the University of Cyprus. She holds a B.A. in Mathematics and Computation from the University of Oxford (1992) and a Ph.D. in Computer Science from the University of Warwick (1996). Her research focuses on Concurrency Theory, Formal Methods, Privacy Policy Analysis, and Algorithmic Game Theory. She has served as General Chair for major conferences such as ETAPS 2010 and FM 2016, and her work is funded by the Foundation for Research and Innovation and the European Commission. Her research applies formal frameworks like Process Calculi, Petri Nets, and Type Systems to design and analyze concurrent, distributed, and real-time systems. Recent work includes modeling Reversible Computation and developing privacy policy enforcement mechanisms in π-calculus. She has published extensively in top venues including TACAS, ETAPS, and Algorithmica. Anna has held academic positions at the University of Cyprus since 2002 and previously worked at the University of Pennsylvania (1997-1998). She is a member of the Laboratory for Foundations of Computing Systems and Theoretical Computer Science. Her technical roles include managing the HSF Controller Network design and formal verification of distributed systems using tools like UPPAAL. Key contributions include formalizing privacy policies using typed π-calculus systems, analyzing network security games, and developing resource-aware process algebra models for real-time systems. Current projects explore GDPR compliance frameworks and algorithmic game theory applications in network defense mechanisms.

• Programming Languages
• Concurrency Theory
• Session Types
• +۴ مورد دیگر

Jorge A. Pérez Parra is an Associate Professor in Software Foundations at the Faculty of Science and Engineering, University of Groningen, Netherlands. He holds a tenured position with ius promovendi and has been a leader of the Fundamental Computing group since 2019. He also serves as Head of the Computer Science department within the Bernoulli Institute since 2024. His academic career includes roles as an Assistant Professor (2014–2019), postdoc researcher at NOVA University of Lisbon (2010–2014), and visiting professorships at the University of Buenos Aires and the University of Bologna. Education: PhD in Computer Science, University of Bologna (2007–2009) Research Assistant, Universidad Javeriana Cali (2002–2006) Research Interests: Focuses on rigorous programming models for concurrency, session types, and their logical foundations. Explores type systems for concurrency, deadlock freedom, and the expressiveness of process calculi. Current work emphasizes asynchronous session-based systems, cyclic process networks, and non-determinism in functional and concurrent settings. Advising & Grants: Supervises PhD students (e.g., Juan Jaramillo, Bas van den Heuvel) and postdocs (e.g., Dan Frumin). Leads the NWO ENW XL project "Cyclic Structures in Programs and Proofs" . Previously coordinated the Young Academy Groningen (2019–2024). Has supervised over 20 BSc and MSc students on topics like formal program specification and concurrency theory. Labs/Teams: Leads the Fundamental Computing group, which investigates foundational aspects of computing with a focus on logic, types, and concurrency. Collaborates on projects like executable semantics of session types in Maude and causal consistency in multiparty protocols.

Richard Enbodyمشاهده پروفایل

دانشیار

• Computer Security
• Cybersecurity
• Computer Architecture
• +۹ مورد دیگر

Richard Enbody is an Associate Professor in the Department of Computer Science and Engineering at Michigan State University (MSU), within the College of Engineering. He has been at MSU since 1987, following a Ph.D. in Computer Science from the University of Minnesota and a B.A. in Mathematics from Carleton College. His research focuses on computer security, hardware security (e.g., Secure Bit), ransomware, browser malware, and cybersecurity education. He has won the Withrow Teaching Excellence Award twice (1992, 2008) and holds patents in nanotechnology and security hardware. Education: Ph.D., Computer Science, University of Minnesota, 1987 B.A., Mathematics, Carleton College, 1976 Research interests span: Computer security (ransomware, in-vehicle systems, browser exploits) Hardware security (buffer overflow prevention) Education (Python-based CS1 curriculum) Key contributions include: Books on cybersecurity and Python programming Development of Secure Bit hardware protection Advances in ransomware analysis and defense Awards include teaching excellence recognition and multiple patents. He advises graduate students in cybersecurity and holds leadership roles in academic departments.

• Materials Science
• Mechanical Engineering
• Bioengineering
• +۴ مورد دیگر

Zhaohan Yu is a Researcher in the Department of Mechanical Engineering at Michigan State University's College of Engineering. His work focuses on advanced materials, energy harvesting systems, and smart polymers. Key research areas include structural coloration, piezoelectric-triboelectric hybrid devices, self-powered sensors, and bioinspired soft robotics. His research explores topics like reversible thermal conductivity modulation, hydrogel-based energy generators, and acoustic energy harvesting. Yu's publications highlight innovations in nanocomposites, photonic crystals, and flexible electronics. He has contributed to applications in biosensing, sustainable manufacturing, and wearable technologies. While no formal awards are listed, his extensive publication record reflects active engagement in interdisciplinary materials science. Yu's advising and grant activities are not detailed in available sources. His work aligns with the College of Engineering's focus on sustainable and smart material systems.

• Neural Engineering
• Biomedical Engineering
• Computational Neuroscience
• +۳ مورد دیگر

Paul Werginz is a Research Fellow at the Institute of Biomedical Electronics (E363) at TU Wien (Vienna University of Technology), holding a Diplom-Ingenieur (Dipl.-Ing.) and Doctor of Technical Sciences (Dr.techn.) degree. His work focuses on computational modeling of neural stimulation for sensory prostheses, with primary affiliations in neural engineering and biomedical electronics research groups. Dr. Werginz's research centers on biophysical mechanisms of neural stimulation in retinal and auditory systems. He investigates axon initial segment geometry, biophysical diversity in retinal ganglion cells, and electrode placement optimization for cochlear implants. His computational approaches employ finite element modeling and multiphysics simulations to analyze neural responses to electrical stimulation, aiming to enhance the efficacy of visual and auditory prostheses through precise stimulation strategies. Analysis of his 2022-2023 publications reveals dominant trends in retinal prosthesis optimization (70% of works) and cochlear implant modeling (30%). Key thematic clusters include axon initial segment biophysics, network-mediated visual processing, and high-frequency stimulation effects across neural cell types. His research consistently applies computational neuroscience to solve engineering challenges in sensory restoration, with strong emphasis on translating biophysical principles into clinical applications for neural prosthetics. Dr. Werginz has not received any scientific awards mentioned in the available documentation. He serves as Principal Investigator for two Austrian Science Fund (FWF) projects: 'Biophysikalische Diversität in retinalen Ganglienzellen' (Biophysical Diversity in Retinal Ganglion Cells) and 'Identification of calcium current reversal in bipolar cells'. His supervisory contributions include master's theses by Dizdar, Fatima (2023) on retinal ganglion cell dynamic range and Bucek, Fred (2023) on cochlear implant simulations, indicating active mentorship in computational neuroscience. As a core member of TU Wien's Network Lab within the Institute of Biomedical Electronics, Dr. Werginz collaborates extensively with Prof. Günther Zeck's research group and international partners including Dr. Shelley Fried (Harvard) and Prof. Daniel Palanker (Stanford). His team specializes in computational modeling of neural interfaces, with current work focusing on optimizing stimulation parameters for next-generation retinal and cochlear implants through detailed biophysical simulations.

• Robotics
• Artificial Intelligence
• Computer Vision
• +۳ مورد دیگر

Thomas Henderson is a Professor of Computer Science at the University of Utah, specializing in robotics, artificial intelligence, and computer vision. His work emphasizes multisensor data fusion, autonomous navigation, and industrial automation. He has contributed to foundational algorithms in constraint satisfaction and robotic manipulation. Research interests include 3D object representation, sensor integration, and system architecture design for industrial applications. Notable contributions span wireless sensor networks, neural controller evolution for mobile robots, and safety-critical simulations of fire/explosion scenarios. Collaborations include projects with Nanyang Technological University and industry partners in manufacturing automation. His publications (over 200 cited works) demonstrate interdisciplinary impact across robotics, computer vision, and AI. Current focus areas include strategic conflict management for unmanned aircraft systems (UAS) and resilient networked robotics solutions.

• Human-Computer Interaction (HCI)
• Computer Vision
• Deep Learning
• +۶ مورد دیگر

Yue Jiang is an incoming Assistant Professor at the University of Utah (Fall 2025) and is currently finishing her Ph.D. at Aalto University and the Finnish Center for Artificial Intelligence (FCAI). Her research focuses on human-centered technologies in HCI, computer vision, and deep learning, particularly in computational user interface understanding, eye tracking, and adaptive GUI layouts. She has held visiting roles at Carnegie Mellon University (CMU) and collaborated with institutions in Canada and the UK. She serves on program committees for CHI, VL/HCC, and IUI, and has organized computational UI workshops at CHI conferences. Education: Ph.D. in Intelligent Systems (Aalto University & FCAI, 2025) Visiting Ph.D. Student (CMU, 2024) M.Sc. in Computer Science (University of Maryland, 2020) B.Sc. in Computer Science (University of Toronto, 2018) Research Interests: Yue explores computational representations of UIs, human behavior modeling via eye tracking and motion capture, and adaptive interfaces. Her work bridges HCI, computer vision, and machine learning to enhance human capabilities through AI-driven systems. Awards: Meta Research PhD Fellowship (2023–2025) Heidelberg Laureate Forum Young Researcher (2024) Google Europe Students with Disabilities Scholarship (2022) Advising & Grants: Yue mentors students in areas like multimodal generative AI and seeks researchers for her group. She has received grants from FCAI, Adobe Research, and the National Science Foundation. Labs & Collaborations: Active in the Computational Behavior Lab (Aalto) and BIG Lab (CMU), she collaborates on projects like OR-Constraints for adaptive GUIs and graph-based UI modeling.

James Wilsonمشاهده پروفایل

مدرس

• Biomaterials
• Sustainable Polymers
• 3D Printing Applications
• +۳ مورد دیگر

Dr. James Wilson is a Lecturer in Chemical Engineering & Applied Chemistry at Aston University's School of Infrastructure and Sustainable Engineering, part of the Aston Polymer Research Group. He holds a PhD from the University of Warwick (2015), focusing on renewable polymers for biodiesel. His career includes postdoctoral research at the University of Akron (USA, 2015–2018) on 3D-printed biomaterials, a fellowship at RCSI Dublin (2018–2020) on bioadhesives, and roles as Senior Research Associate and Research Fellow at the University of Sheffield (2020–2023). At Aston since October 2023, his research emphasizes sustainable biomaterials from renewable resources, with a focus on environmental safety and industrial collaboration for commercial viability. Research Interests: Wilson’s work spans biomaterials design, biodegradable polymers, and 3D-printable materials for medical applications. Key areas include self-healing thermoplastic elastomers, covalent adaptable networks, and hydrolytic degradation of polymer blends. He also explores tissue engineering via bilayer films and renewable resource-derived scaffolds. Recent Themes in Publications: His 2023–2025 articles highlight advancements in self-healing polymers, covalent adaptable networks for adhesives, and hydrophilicity in biodegradable blends. These studies address challenges in material durability, environmental impact, and industrial scalability. Collaborations: Engages with spin-out companies and industrial partners to bridge academic research with commercial needs, ensuring short- and long-term applicability of his innovations.

Rob van der Meiمشاهده پروفایل

استاد

• Stochastic Operations Research
• Queueing Theory
• Emergency Response Systems
• +۱۷ مورد دیگر

Rob van der Mei is a Distinguished Full Professor (part-time) at Vrije Universiteit Amsterdam and a Principal Researcher and Manager R&D at Centrum Wiskunde & Informatica (CWI), where he leads research at the intersection of theory and application in Stochastic Operations Research. His work spans emergency response systems, logistics, healthcare, telecommunications, and cybersecurity. He is the chair of the European COST Action ACROSS and co-founder of the spin-off Stokhos Emergency Mathematics. PhD in Stochastic Operations Research – Vrije Universiteit Amsterdam Senior Researcher – AT&T Labs, USA (1995–1999) Senior Researcher – KPN Research (1999–2002) Senior Researcher – TNO ICT (2002–2004) His research focuses on applying mathematical modeling, queueing theory, and data analytics to optimize complex systems. Key areas include emergency response, service logistics, healthcare optimization, and machine learning in telecommunications. He has led numerous projects on data-driven decision-making in healthcare, such as suicide prevention helplines and elderly care systems, and in maritime design under energy transition uncertainty. The most recent publications reflect a strong trend toward interdisciplinary and socially impactful research, combining optimization, machine learning, and real-time decision systems. Topics include mobile stroke unit deployment, AI-assisted counseling, cyber anomaly detection, and energy-efficient ship design. These works highlight his expertise in translating theoretical models into practical tools. Harald W. Kuhn Award 2020 (2021) Huibregtsen Award 2021 First prize for logistic innovation in Covid-19 vaccination strategy (2021) Best-paper award, 8th International Conference on Data Analytics (2019) Runner-up Huibregtsen-prijs 2014 Rob van der Mei has secured extensive external funding from NWO, EU COST, and industry partners for projects in healthcare logistics, emergency systems, and digital infrastructure. He advises PhD students and collaborates widely across academia and industry. He leads major initiatives such as DOLCE VITA, COCONUT, and ACROSS, and is an active keynote speaker and invited lecturer on data science and optimization. He is affiliated with the Stochastics group at CWI, where he supervises researchers and contributes to national and international research strategy.

• Biostatistics
• Medical Statistics
• Clinical Trials
• +۷ مورد دیگر

Birgit Debrabant is an Associate Professor at the Department of Mathematics and Computer Science, University of Southern Denmark, with additional roles in Data Science and the STEM Center for Educational Research – FNUG. Her interdisciplinary work bridges statistical methodology with applications in neuroscience, clinical medicine, and public health. Department: Department of Mathematics and Computer Science Research Centers: STEM Center for Educational Research – FNUG Professional Affiliation: Active in Danish Society for Theoretical Statistics Her research focuses on biostatistics in clinical contexts, particularly neurosurgical outcomes, chronic subdural hematoma, intraventricular hemorrhage, and public health interventions. She employs advanced statistical methods including randomized trials, observational studies, meta-analyses, and genetic association studies. Her work often involves large-scale registry data and methodological innovation in handling complex health data. The 15 most recent publications reveal a strong trend in medical statistics, especially in neurosurgery and public health. Topics include optimal drainage times, antithrombotic therapy, BMI policy impacts, and statistical methods for DNA methylation and hidden population estimation. These reflect a cohesive research program applying rigorous statistical science to pressing clinical and public health questions. She has no listed scientific awards in the provided text. Birgit Debrabant actively contributes to teaching and curriculum development, particularly in biostatistics and applied statistics for health sciences. She has led or co-taught courses such as 'Advanced Biostatistical Methods in Health Sciences' and 'Theory of Science and Statistics'. While no formal student advising or grant information is mentioned, her involvement in multi-center trials and educational initiatives suggests collaborative leadership. She participates in national and international conferences, including DAGStat and the International Workshop on Applied Probability. She is involved in collaborative research networks, particularly in theoretical statistics and health data science, and contributes to professional events as both organizer and presenter.

• Artificial Intelligence
• Reinforcement Learning
• Generative AI
• +۱۰ مورد دیگر

Álvaro Jesús López López is a researcher at the Instituto de Investigación Tecnológica (IIT) and a professor at the Higher Technical School of Engineering (ICAI), both part of Comillas Pontifical University. He holds the position of Associate Research Fellow and serves as a principal investigator at the Chair of Smart Industry, where he leads applied research on digital technologies such as generative AI, computer vision, and synthetic data generation. He also directs executive programs in generative artificial intelligence for professionals at Comillas Onexed. His research interests include Artificial Intelligence, Reinforcement Learning, Generative AI, Smart Industry, and Railway Systems . His work focuses on applying advanced AI techniques to industrial and transportation challenges, particularly in energy efficiency and automation. He has published extensively in high-impact journals such as Engineering Applications of Artificial Intelligence , Applied Intelligence , and Transportation Research Part C . The recent articles highlight a strong trend toward applied AI in industrial and robotic systems , with a focus on sim-to-real transfer, keyphrase extraction, and reinforcement learning enhanced with semantic knowledge. His work bridges the gap between theoretical AI and real-world industrial applications. Scientific Awards: Honorable Mention from the Industry 4.0 Observatory (2021) Honorable Mention at the 6th Connected Industry Promotion Award Erasmus Teaching/Research Staff Training Grant (2014) He has advised multiple PhD students and leads several industry-funded research projects with organizations such as Ferrovial, Endesa, Metro de Madrid, and the European Commission. He has also organized scientific events and delivered numerous invited talks on AI and digitalization. His research has led to practical applications, including a patent on utilizing regenerative braking energy in railways. He completed a research stay at the Royal Institute of Technology (KTH) in Stockholm and has contributed to books and policy reports on digitalization in industry.

Damian Kedzioraمشاهده پروفایل

دانشیار

• Low-code software development
• Robotic Process Automation (RPA)
• Intelligent Automation
• +۳ مورد دیگر

Damian Kedziora serves as an Associate Professor at the Software Engineering Department within LUT School of Engineering Sciences in Lahti, Finland. His academic credentials include a Docentship in Business Process Automation Software (2022) and a Doctoral Degree in Industrial Engineering and Management (2018) from LUT University. With over a decade of industry experience in banking, ICT, and technology consulting, his research bridges practical digital transformation and theoretical software engineering, focusing on Low-code/no-code platforms for process automation Commercial aspects of software ecosystems AI integration in enterprise systems His recent work analyzes 2023-2025 trends in ISO 25010:2023 compliance Hybrid workforce dynamics Intelligent automation maturity Post-pandemic digital strategies Scientific recognition includes Docentship in Business Process Automation Software (2022) Available for consultation at Damian.Kedziora@lut.fi or via +358 44 768 4796. His career combines academic rigor with corporate experience in implementing digital solutions.

• Supply Chain Management
• Logistics Security
• Industry 4.0 in Logistics
• +۵ مورد دیگر

Prof. Andrzej Szymonik serves as a full Professor at the Institute of Management within the Faculty of Organization and Management at Lodz University of Technology. His institutional roles include membership in the Discipline of Management and Quality Science and the Faculty of Logistics Council. Externally, he acts as an expert for Poland's National Center for Research and Development since 2010, evaluates projects for the Lodzkie Voivodship Regional Operational Program, and contributes to editorial boards of journals including "Army logistic systems" (Military University of Technology), "Economics and Management" (PWSZ Włocławek), and "Organization and management" (Lodz University of Technology). His research centers on logistics security systems , Industry 4.0 applications in modern supply chains , and Total Logistics Management . Key focus areas include developing resilience against supply chain disruptions, implementing cybersecurity measures in logistics operations, optimizing reverse logistics for environmental sustainability, and enhancing warehouse safety protocols. His work bridges theoretical modeling with practical industry applications, particularly addressing challenges in the Polish logistics sector while maintaining European standards compliance. Analysis of his 2020-2025 publications reveals a strategic shift toward integrating digital technologies (IoT, blockchain, AI) for supply chain risk mitigation. Over 60% of recent works address cybersecurity threats and sustainability frameworks, with significant contributions to food traceability systems and warehouse safety modeling. His research demonstrates consistent alignment with Industry 4.0 imperatives while tackling region-specific logistical challenges in Central Europe. Prof. Szymonik's academic service includes evaluating national research projects and shaping regional innovation policies through his expert roles. His editorial positions indicate recognition as a thought leader in logistics scholarship, though specific grant awards and student supervision details remain unreported in available materials. Current activities suggest ongoing leadership in developing logistics education frameworks at Lodz University of Technology.

• Computer Networks
• Vehicular Communications
• ICT and New Technologies
• +۳ مورد دیگر

Name: Antonio MONGELLI Affiliation: University of Salento , Department of Innovation Engineering Email: antonio.mongelli@unisalento.it Location: Ecotekne Center, Pal. O - S.P. 6, Lecce - Monteroni, LECCE (LE), Ground Floor Education: Graduated in Economics from the University of Bari. Professional Background: Recipient of an IBM scholarship at CNRSM (National Center for Materials Research and Development) in Mesagne for the design and construction of the IT Center. Former programmer analyst at Basica Spa in Lecce and Potenza, working on public administration programs and the 'REVERSE ENGINEERING' research project for Banking Information Systems. Previously a technical data processing manager at the Department of Mathematics at the University of Salento. Research Interests: Antonio MONGELLI specializes in computer networks, with a particular focus on vehicular communications. His areas of expertise include ICT and New Technologies, Database Design, Digital Heritage, and Computer Science with an emphasis on Sustainability Chemistry. He contributes to the scientific-disciplinary sector 'Information Processing Systems' (ING-INF/05). Teaching: He has extensive experience teaching computer science subjects. He is currently involved in teaching activities related to ICT and New Technologies. His students are required to submit a project implementing a tourism-related database in MS Access or another database management system, focusing on relational databases, design phases, and system implementation.

• Biomechanics
• Rehabilitation Engineering
• Shoulder Biomechanics
• +۳ مورد دیگر

Garth Johnson is a Professor at Newcastle University with a distinguished research career spanning over two decades (1994-2015) in biomechanics and rehabilitation engineering. His interdisciplinary work bridges mechanical engineering, orthopedics, and clinical rehabilitation, focusing on upper limb biomechanics, shoulder replacement systems, and gait analysis in both human and veterinary contexts. Johnson has established extensive collaborations with medical researchers and engineers across Newcastle University, contributing significantly to translational research in musculoskeletal health. Johnson's research interests encompass: Biomechanics of the shoulder and upper limb, particularly reverse anatomy shoulder replacements Rehabilitation engineering and assistive technology design Musculoskeletal modeling and computational simulation Clinical measurement of spasticity in neurological conditions Gait analysis in clinical and agricultural settings, including innovative pig locomotion studies Analysis of his publication trends (2008-2015) reveals three dominant research thrusts: (1) biomechanical evaluation of reverse shoulder arthroplasty including implant design comparisons, scapular adaptation, and joint contact forces; (2) development of standardized motion analysis protocols for upper-extremity kinematics; and (3) veterinary biomechanics applications using pig models to study lameness, flooring effects, and motion capture validation. His work consistently integrates engineering principles with clinical needs, demonstrating strong translational impact. No scientific awards or honors were documented in the provided publication records. Johnson's collaborative approach is evident through his extensive co-authorship network including Dr. Andreas Kontaxis, Dr. Farshid Amirabdollahian, Professor Michael Barnes, and Dr. Anand Pandyan across medical and engineering disciplines. While specific grant details and student supervision records are not extractable from the publication list, his involvement in major projects like the GENTLE/S robot-mediated stroke therapy system indicates substantial research leadership. His work frequently appears in specialized biomechanics and rehabilitation journals, reflecting deep engagement with both engineering and clinical communities.