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

Kate Larsonمشاهده پروفایل

استاد

• Artificial Intelligence
• Multiagent Systems
• Reinforcement Learning
• +۳ مورد دیگر

Kate Larson is a Professor at the David R. Cheriton School of Computer Science, University of Waterloo. Her research explores artificial intelligence with emphasis on multiagent systems, reinforcement learning, and AI applications for sustainability and climate challenges. She employs game-theoretic approaches to address coordination and cooperation in complex systems. Education Ph.D. in Computer Science from Carnegie Mellon University (2004), M.Sc. from Washington University in St. Louis (1999), and B.Sc. from Memorial University of Newfoundland (1997). Research Focus Professor Larson's work bridges theoretical AI and practical societal impacts. Key areas include: Designing cooperative AI frameworks for multiagent environments Developing value-alignment mechanisms for ethical AI Applying reinforcement learning to climate change mitigation Creating robust AI systems through game-theoretic guarantees Publication Trends Her recent publications (2024-2025) demonstrate strong focus on AI safety, game-theoretic foundations, and multimodal learning systems. Dominant themes include: algorithmic alignment techniques, multi-agent risk management, and interpretable AI architectures, with increasing emphasis on real-world climate and sustainability applications. Awards & Recognition No major scientific awards mentioned in source materials. Research Infrastructure No specific labs or teams detailed in available information.

• Quantum Systems Modeling
• Formal Methods for Computer Security
• Access Control
• +۳ مورد دیگر

Lorenzo Ceragioli is an Assistant Professor (RTD-A) in Computer Science at IMT Lucca within the SySMA research unit. Previously, he was a postdoctoral researcher at the University of Pisa's Department of Computer Science, where he also earned his PhD in Computer Science. His work focuses on quantum systems modeling, formal verification methods for security protocols, and access control systems. University Affiliation: IMT Lucca Research Unit: SySMA Research interests include: Quantum process verification through bisimulation techniques Analysis of SELinux security policies Logical modeling of multi-agent systems Recent work has explored firewall policy translatability and information flow control in SELinux configurations. His tools like SELinuxIFCIL and F2F address policy verification and firewall system compatibility challenges. Key contributions include: Developed IFCIL extension for SELinux policy verification Created F2F tool for firewall policy expressiveness analysis Advanced quantum process bisimulation theories

• Artificial Intelligence
• Machine Learning
• Neuroscience
• +۳ مورد دیگر

Zahra Babaiee is a PreDoc Researcher at the Department of Cyber-Physical Systems at Vienna University of Technology, actively contributing to interdisciplinary research at the intersection of artificial intelligence, neuroscience, and medical imaging. She is involved in projects such as MATTO-GBM (2024–2027), funded by the Austrian Science Fund (FWF), and Efficient Visual Intelligence for Autonomous Driving and Mobility (2025–2026), supported by the Austrian Research Promotion Agency (FFG). Research Focus : Her work spans Artificial intelligence and machine learning Neuroscience-inspired neural network architectures Medical imaging and radiation treatment optimization Autonomous driving and mobility analytics Depthwise convolutional filters and biological receptive fields Robust image classification techniques Collaborative Projects : Key collaborations include publications in leading conferences like AAMAS, ICLR, and WACV, with applications in tourism flow prediction, prostate segmentation, and autonomous systems. Her research demonstrates a strong emphasis on scalable AI solutions and multimodal data analysis. Laboratory Affiliation : She works within the Cyber-Physical Systems research group at Vienna University of Technology, focusing on practical implementations of AI in real-world scenarios.

Sarit Krausمشاهده پروفایل

استاد

• Personalization
• Learning and clustering
• Intelligent systems
• +۶ مورد دیگر

Sarit Kraus is a Professor of Computer Science at Bar Ilan University and an Adjunct Professor at the Institute for Advanced Computer Studies (UMIACS), University of Maryland. She has held these positions since 2001 and 1990, respectively, and has previously served as Associate Professor, Senior Lecturer, Instructor, and Teaching Assistant at Hebrew University of Jerusalem. PhD in Computer Science from Hebrew University, 1989 Kraus's research spans intelligent systems , negotiation and cooperation in mixed open environments (including humans), personalization , learning and clustering , security of physical systems , and optimization of complex systems . Her work emphasizes multiagent environments , non-classical logics , and real-world applications in security and robotics. Her publications highlight advancements in negotiation algorithms , multirobot systems , and strategic decision-making . Notable contributions include frameworks for argumentation , coalition formation , and robust solutions to Stackelberg games , addressing bounded rationality and human preferences. 2011: Advanced ERC grant 2010: EMET Prize, Emunah’s Woman of the Year 2009: Special commendation from Los Angeles for ARMOR security system 2008: ECCAI Fellow 2007: ACM/SIGART Autonomous Agents Research Award, IFAAMAS Influential Paper Award 2002: AAAI Fellow 1995: IJCAI Computers and Thought Award 2001: IBM Faculty Partnership Award Kraus has published over 400 papers and authored/co-authored two MIT Press books. She serves as Associate Editor for the Annals of Mathematics and Artificial Intelligence and sits on editorial boards including the Journal of Autonomous Agents and Multi-Agent Systems and ACM Transactions on Intelligent Systems and Technology . Her work bridges theoretical foundations (e.g., nonmonotonic reasoning) and applied systems (e.g., security scheduling, robot patrols). She focuses on human-agent interaction and cross-cultural negotiation , with research impacting AI, robotics, and security .

Corina Cirsteaمشاهده پروفایل

دانشیار

• Coalgebra
• Formal Verification
• Logic in Computer Science
• +۳ مورد دیگر

Dr. Corina Cirstea is an Associate Professor in the Agents, Interaction and Complexity research group at the School of Electronics and Computer Science, University of Southampton. Her research focuses on coalgebra, formal verification, logic, and their applications to computer science. She leads the COVER project (funded by the Leverhulme Trust), advancing quantitative verification through coalgebraic foundations. Dr. Cirstea holds a DPhil in Computation from the University of Oxford and a Junior Research Fellowship at St. John’s College, Oxford (1999–2003). Her research interests include coalgebraic logic, probabilistic systems, and automated verification. She has supervised PhD students in areas like formal methods and multiagent systems. Dr. Cirstea actively participates in academic leadership roles, including co-chairing IFIP TC1 WG 1.3 and editorial board membership at Compositionality . Her work bridges theoretical foundations with practical applications in system verification and agent-based systems. Education: DPhil in Computation (University of Oxford, 2000) Projects: COVER (Leverhulme Trust), EPSRC-funded modular verification work, Royal Society-funded temporal logics research Awards: Junior Research Fellowship (St. John’s College, Oxford)

Michael Richardsonمشاهده پروفایل

استاد

• Cognitive Science
• Human Factors
• Complex Systems
• +۸ مورد دیگر

Michael Richardson is a Professor in the School of Psychological Sciences at Macquarie University and Director of the Centre for Elite Performance Expertise and Training (CEPET). His research focuses on modeling human perception, action, and cognition for developing human-machine systems, with expertise in cognitive science, AI, and dynamical systems analysis. Education & Roles: Former Associate Professor at University of Cincinnati (2009-2017) Former Assistant Professor at Colby College (2006-2009) Research Interests: His work integrates cognitive science, complex systems theory, and AI to model social interaction, motor control, and multiagent coordination. Key areas include: Human-machine interaction dynamics Perception-action coupling Embodied cognition Nonlinear time-series analysis Awards: 4x Department of Psychology Graduate Instructor/Advisor of the Year (2012-2015) Psi Chi Undergraduate Instructor of the Year (2012) Advising & Grants: Supervised 12 PhD and 14 MSc students in last 5 years. Current projects include: Funding for human-machine coordination research (2022-2024) VR-based social interaction studies Labs & Collaborations: Directs CEPET and collaborates with Frontier AI Research Centre. Active in developing training programs for multiagent systems and social robotics.

Matthias Wester-Ebbinghausمشاهده پروفایل

پژوهشگر

• Petri Nets
• Multi-Agent Systems
• Organizational Modeling
• +۴ مورد دیگر

Dr. Matthias Wester-Ebbinghaus is a Researcher at the Theoretical Foundations of Computer Science group within the Faculty of Mathematics, Informatics and Natural Sciences at the University of Hamburg. His work focuses on the intersection of Petri nets, multi-agent systems, and organizational modeling. Dr. Wester-Ebbinghaus completed his doctoral dissertation in December 2010 titled "From Multiagent Systems to Multi-Organization Systems - Modeling Based on Petri Nets" at the University of Hamburg. Prior to this, he completed his diploma thesis in November 2005 titled "Specification of a Teamwork Model for Mulan Agents" at the same institution. His educational background demonstrates a consistent focus on agent-based systems and formal modeling approaches. Dr. Wester-Ebbinghaus's research primarily centers on Petri nets and their application in modeling complex systems, particularly multi-agent systems and organizational structures. His work explores how Petri nets can be used to model organizational units as modular components of systems of systems. He has developed approaches for model-driven middleware support for team-oriented process management and has worked extensively on integrating Web services in Petri net-based agent applications. His research bridges the gap between theoretical computer science and practical applications in business process modeling and software engineering, with particular emphasis on creating executable prototypes from formal specifications. Analysis of his publication record from 2005-2014 reveals a consistent research trajectory focused on applying formal methods to organizational modeling. His work demonstrates how Petri nets can serve as a foundation for modeling complex organizational structures within multi-agent systems, with applications in business process management, distributed systems, and software architecture. The research shows progression from theoretical foundations to practical implementations, including middleware solutions and service-oriented architectures. Dr. Wester-Ebbinghaus has been actively involved in several research projects including "Petri Net and Agent-Based Applications" and "Organizations and business processes." His collaborative work with researchers such as Daniel Moldt, Michael Köhler-Bußmeier, and Lawrence Cabac has resulted in numerous publications in Transactions on Petri Nets and Other Models of Concurrency, International Workshops on Petri Nets and Software Engineering, and conferences on multi-agent systems. His contributions include the development of the Janus-faced net component for prototyping open systems and structural approaches to organization-oriented software architectures.

• Sustainable System Engineering
• Environmental Engineering
• Sustainability Science
• +۱۶ مورد دیگر

Ni-Bin Chang is a Professor in the Department of Civil, Environmental, and Construction Engineering at the University of Central Florida, College of Engineering and Computer Science. He has been a leading figure in sustainable systems engineering since 2002, with extensive contributions to environmental engineering, remote sensing, and the urban food-energy-water nexus. At UCF, he directs the Stormwater Management Academy and leads interdisciplinary research with significant societal and industrial impact. His research interests lie at the intersection of sustainability science and engineering, focusing on: Urban food-energy-water-waste nexus Water quality and nutrient removal Green sorption media and sustainable materials Remote sensing and spatial informatics Machine learning in environmental systems Resilient urban infrastructure The recent publications highlight a strong trend toward integrating artificial intelligence, remote sensing, and systems modeling to tackle urban sustainability challenges. His work increasingly combines machine learning with agent-based modeling and tensor decomposition to optimize environmental solutions, particularly in stormwater and air quality management. There is a clear emphasis on circular economy principles, resilience, and transdisciplinary innovation. His scientific honors include: Blaise Pascal Medal from the European Academy of Sciences Fulbright Canada Research Chair Award Outstanding Achievement Award from ASCE Induction as Fellow of the National Academy of Inventors Fellowships in ASCE, IEEE, SPIE, AAAS, RSC, and others Chang has secured over $18.66 million in research funding and has been instrumental in translating research into practice—his 15 patented green sorption media technologies have been licensed to industry, attracting $20 million in investment. He serves as Editor-in-Chief of the Journal of Applied Remote Sensing and the Journal of Hydroinformatics, shaping scholarly discourse in his fields. He mentors students and leads a dynamic research team at the Stormwater Management Academy, where over 70 field applications have been developed for nutrient removal and recovery. He also leads a research laboratory focused on sustainable infrastructure, with test beds for green filtration systems, urban metabolism modeling, and AI-driven decision support tools. His team integrates field experiments with computational modeling to develop scalable, cost-effective, and environmentally benign solutions for cities worldwide.

Yiannis Kyratsisمشاهده پروفایل

دانشیار

• Digital Health
• Artificial Intelligence in Healthcare
• Health Policy
• +۷ مورد دیگر

Yiannis Kyratsis is an Associate Professor at the Erasmus School of Health Policy & Management, Erasmus University Rotterdam. His academic work centers on digital health, artificial intelligence in healthcare, and health policy, with a focus on workforce and professional identity impacts. Institution: Erasmus University Rotterdam School: Erasmus School of Health Policy & Management His research interests span digital health adoption, AI in medical imaging, professional identity, pandemic response, and public health governance. He explores how technological innovations affect healthcare professionals and systems, especially in radiography and rehabilitation contexts. The recent articles demonstrate a consistent focus on the human and organizational dimensions of digital health and AI. Themes include professional identity under technological change, patient experiences in chronic illness, and policy responses to public health crises. His work often employs qualitative and interdisciplinary methods, engaging with stakeholders across healthcare and education sectors. Yiannis Kyratsis has contributed to editorial leadership, including a guest editorial in Frontiers in Digital Health . While no specific awards are listed, his publications have garnered attention on academic platforms and social media. He actively collaborates with researchers across Europe and beyond, particularly in projects related to AI implementation and pandemic governance. His work contributes to UN Sustainable Development Goals, especially in health and well-being. No information is available on student advising or grant funding in the provided text.

• Cybersecurity
• Intrusion Detection
• Anomaly Detection
• +۵ مورد دیگر

Grzegorz Kołaczek is a faculty member at the Faculty of Information and Communication Technology at Wrocław University of Science and Technology, affiliated with the Department of Computer Science and Systems Engineering . His research focuses on cybersecurity , intrusion detection , and security modeling with specific interests in Trust-based security frameworks IoT cybersecurity Anonymity protocols Fraud detection in digital systems . His recent publications emphasize the intersection of cybersecurity and emerging technologies , particularly in Internet of Things environments and e-commerce platforms. Key research trends include collaborative intrusion detection , adaptive user interfaces , and machine learning for threat analysis . Contact: grzegorz.kolaczek@pwr.edu.pl

• Collective Intelligence
• Multiagent Systems
• Knowledge Diffusion
• +۳ مورد دیگر

Marcin Maleszka is a researcher at the Faculty of Information and Communication Technology at Wrocław University of Science and Technology, specializing in collective intelligence , multiagent systems , knowledge diffusion , and knowledge integration . His work bridges computational models with social dynamics, focusing on group learning, recommendation systems, and secure data sharing. Current affiliation: Department of Applied Informatics, Wrocław University of Science and Technology Email: marcin.maleszka@pwr.edu.pl Office hours: Wednesday 13:30–15:00, Thursday 13:00–15:00, Saturday 16:45–17:45 His research explores how agent-based systems can model social collectives, optimize knowledge transfer, and enhance educational and healthcare technologies. Recent publications highlight applications in digital heritage , medical diagnostics , and urban mobility , with methodologies spanning GANs , ANNs , and agent modeling . Key publication trends include: Integration of Generative Adversarial Networks and Graph Neural Networks for heritage data Development of agent-based models for group learning Security mechanisms in peer-to-peer systems using attribute-based encryption Applications in medical imaging and traffic modeling Contact details: Address: ul. Z. Janiszewskiego 11/17, 50-372 Wrocław Room: C-3, 15 (Wrocław) and D-1, 30 (during Saturday office hours) Phone: +48 71 320 2938

James Jerson Ortiz Vegaمشاهده پروفایل

پژوهشگر

• Formal Methods
• Real-Time Systems
• Software Verification
• +۵ مورد دیگر

James Jerson Ortiz Vega is a researcher at the Research Center on Information Systems Engineering , Faculty of Computer Science, specializing in formal methods for real-time and distributed systems. His work focuses on timed automata, obstruction logic, and mutation testing. Key Projects: CFV: Federated Centre for Software Verification, THCS: Testing Highly-Configurable Systems, SEMIA: Semantics Enhanced Medical Imaging Architecture His research explores dynamic game reasoning for security protocols, timed automata reduction techniques , and probabilistic extensions of obstruction logic . Recent publications address coalition reasoning in multiagent systems and mutation testing for timed automata networks. He actively contributes to academic events, including organizing the FOCUS Research Seminar and presenting at the NASA Formal Methods Symposium (2017–2019). Collaborations span institutions like Perrouin Lab, Schobbens Research Group, and international teams in model-based systems verification.

Ong Chee Weeمشاهده پروفایل

استاد مدعو

• Geotechnical Engineering
• Tunnel-Soil-Pile Interaction
• Centrifuge Modelling
• +۴ مورد دیگر

Adjunct Professor Ong Chee Wee is Managing Director of ONE SMART Engineering Pte Ltd and holds academic roles at NUS and NTU. He specializes in geotechnical engineering, tunneling, and infrastructure projects. With 26 years of experience, he is a registered Specialist Professional Engineer in Tunnelling, Geotechnical, and Civil Engineering in Singapore. He earned his PhD in Geotechnical Engineering from NUS. Professional Roles: Serving on ISSMGE Technical Committees TC207 (Soil-Structure Interaction), TC212 (Deep Foundations), and Asian Technical Committee ATC6 (Urban GeoEngineering). Member of Enterprise Singapore Standards Council (Civil & Geotechnical Works) and BCA Multiagency Work Group for Pile Load Test Guidelines. CEE Mentor at NTU School of Civil and Environmental Engineering. Research & Awards: Notable contributions include co-authoring the ISSMGE Combined Pile Raft Foundation Guideline (2013). His research on tunnel-soil-pile interaction and centrifuge modeling earned him the Best Contribution Award (2008) and TUCSS Hulme Prize (2009). Projects under his supervision received SCI Excellence Awards (2013) and PUB Model Site recognitions. Teaching & Mentorship: Co-supervises NUS Doctor of Engineering (EngD) candidates, co-lectures M.Sc. Capstone courses at NUS, and evaluates FYP posters in Geotechnical Engineering. Serves as a Guest Speaker at Singapore Institute of Technology (SIT) and delivered lectures at Shanghai Tongji University on 'Green Geo-System: Build and Sense'. Industry Contributions: Qualified Person (Supervision) for major transport infrastructure projects, including Downtown Line Tunnels and Cross-Island/Jurong Island–Pioneer Cable Tunnels. Recognized as a Qualified Erosion Control Professional (QECP) and trainer for PUB ABC Waters certification programs.

Milind Tambeمشاهده پروفایل

استاد

• Artificial Intelligence
• Public Health
• Wildlife Conservation
• +۳ مورد دیگر

Milind Tambe is a Gordon McKay Professor of Computer Science at Harvard University and Director of the Center for Research on Computation and Society. He concurrently serves as Principal Scientist and Director for 'AI for Social Good' at Google DeepMind. His research focuses on applying AI to societal challenges like public health, conservation, and security. Tambe holds a PhD from Carnegie Mellon University and an undergraduate degree from BITS Pilani, India. Key roles include: Founding the Center for Artificial Intelligence in Society at USC (2016) Developing PAWS for wildlife conservation and ARMOR for security games Leading AI projects with NGOs like ARMMAN for maternal health Research interests span AI for social impact, multiagent systems, and game theory. Notable awards include the AAAI Feigenbaum Prize (2023) and the IJCAI John McCarthy Award (2023). He has advised 38 PhD students and 16 postdocs, fostering interdisciplinary collaboration across Harvard's departments. Current projects include: AI-driven maternal health interventions (e.g., mMitra and Kilkari programs) Wildlife conservation via PAWS deployment in 800+ parks AI for tuberculosis testing and HIV prevention His lab, Teamcore, emphasizes real-world impact, with deployments saving over $100M for US agencies and improving global health outcomes.

Christopher Hampsonمشاهده پروفایل

مدرس ارشد

• Modal and Temporal Logics
• Algorithms and Computational Complexity
• Theoretical Computer Science
• +۴ مورد دیگر

Dr. Christopher Hampson is a Senior Lecturer in Computer Science (Education) at King’s College London's Department of Informatics, part of the Faculty of Natural, Mathematical & Engineering Sciences. He specializes in theoretical computer science, modal logics, and algorithmic complexity. He holds an MSc in Mathematical Logic from the University of Manchester and a PhD from King’s College London on modal logic topics. His research focuses on Modal and Temporal Logics Computational Complexity Formal Verification Counter Machine Theory Computer Science Education Recent work includes studies on non-repudiation in healthcare AI systems (2024), termination analysis of faulty counter machines (2021), and dialogue systems for handling misunderstandings (2022). He collaborates with the Computing Education Research Centre (CERC) to advance pedagogical tools and curricula in computer science. Awards: none explicitly listed. Supervision: no named advisees found. Active in research groups focused on formal methods and education innovation.