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

• Natural Language Processing
• Large Language Models
• Digital Libraries
• +۷ مورد دیگر

Min Yen Kan is an Associate Professor and Vice Dean of Undergraduate Studies at the National University of Singapore's School of Computing, Department of Computer Science. With a PhD from Columbia University (2002), he leads the Web Information Retrieval / Natural Language Processing Group (WING.NUS) and serves as ACL Ethics Committee co-chair. His research spans Natural Language Processing , Large Language Models , Digital Libraries , and Information Retrieval , with specific focus on scientific discourse analysis, fact verification, and multimodal systems. Current projects include Scholarly Document Information Extraction (TRL 6), Task-Oriented Dialogue Systems (TRL 4), and Recommendation Systems (TRL 5). Recent publications reveal strong trends in LLM limitations (bias, hallucination, evaluation), conversational recommendation systems , and misinformation detection . His work consistently bridges theoretical NLP with real-world applications in digital libraries and scientific communication. Award highlights include: CIKM 2019 Best Paper Award ACL Distinguished Service Awards Vannevar Bush Best Paper Award (JCDL 2012) ACM Distinguished Speaker designation Kan mentors PhD students with placements at Google and USTC, and serves as associate editor for Information Retrieval and survey editor for Journal of AI Research . His lab WING.NUS develops practical tools like SciWING for scientific document processing and FANG for fake news detection. Media engagements include commentary on AI regulations in Southeast Asia and workforce implications in the AI era.

Sheila McIlraithمشاهده پروفایل

استاد

• Artificial Intelligence
• AI Safety
• AI Alignment
• +۹ مورد دیگر

Sheila McIlraith is a Professor in the Department of Computer Science at the University of Toronto, holding the Canada CIFAR AI Chair at the Vector Institute and serving as Associate Director and Research Lead at the Schwartz Reisman Institute for Technology and Society. Her research spans AI safety, ethics, reinforcement learning, and knowledge representation, with a focus on human-compatible AI and long-term societal impacts. Her career includes six years as a Research Scientist at Stanford University and a year at Xerox PARC. McIlraith’s work has been recognized through ACM and AAAI fellowships, as well as prestigious awards like the SWSA 10-Year Award (2011) and the CAIAC Lifetime Achievement Award (2024). Research Interests: AI Safety and Alignment Human-Compatible AI Reinforcement Learning with Ethical Constraints Semantic Web Services Cognitive Robotics and Diagnostic Systems Probabilistic and Logical Reasoning Recent Contributions: Her work emphasizes ethical AI integration, such as the Embedded Ethics Education Initiative (E3I), and addresses challenges in long-term AI risks, multi-agent systems, and interpretable decision-making frameworks. Awards and Honors: ACM Fellow AAAI Fellow 2023 IJCAI-JAIR Best Paper Prize 2024 CAIAC Lifetime Achievement Award Labs and Teams: McIlraith leads initiatives at the Schwartz Reisman Institute and contributes to the Vector Institute, focusing on societal and ethical dimensions of AI technology.

Nadia Polikarpovaمشاهده پروفایل

دانشیار

• Program Synthesis
• Program Verification
• Type Systems
• +۵ مورد دیگر

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

• Process Mining
• Healthcare Informatics
• Data Security
• +۳ مورد دیگر

Dr. Jeewanie Jayasinghe Arachchige is a Lecturer in the Department of Computer Science at Vrije Universiteit Amsterdam, Faculty of Science. She teaches undergraduate courses including Bachelor Project Computer Science, Professional Development, and Software Engineering Processes for the academic year 2024–2025. Her research focuses on process mining , healthcare informatics , and data security . She applies process mining to analyze healthcare pathways and subpopulation treatment variations, develops explainable AI frameworks for predictive analytics, and examines data governance in emerging architectures like Data Lakehouses. Her work intersects legal informatics, particularly formalizing Sri Lankan civil court processes using ontology engineering. Recent publications highlight trends in balancing simplicity and complexity in process modeling, Industry 4.0 healthcare applications, and cybersecurity in model-driven web development. She has contributed to over 20 peer-reviewed articles since 2006, spanning topics from service-oriented architectures to value network analysis. Her teaching and research emphasize practical applications of IT in healthcare, legal systems, and enterprise environments. No ancillary activities are currently recorded.

Eero Hyvönenمشاهده پروفایل

استاد

• Semantic Web
• Linked Data
• Artificial Intelligence
• +۲ مورد دیگر

Eero Hyvönen is a Professor of Computer Science at Aalto University and Director of the Helsinki Centre for Digital Humanities (HELDIG) at the University of Helsinki. He leads the Semantic Computing Research Group (SeCo), specializing in Semantic Web technologies and applications. Hyvönen holds an Adjunct Professor title at the University of Helsinki's Department of Computer Science. His work focuses on developing national-level semantic web infrastructure, with applications in digital humanities, cultural heritage, and AI. He has published over 500 research articles and books, receiving numerous awards including the Decoration of Knight, First Class, of the Order of the White Rose of Finland (2018). Hyvönen chairs editorial boards of journals like Semantic Web and serves on committees for major conferences. His research spans semantic web technologies, linked open data, and AI applications in cultural heritage domains. Key projects include Sampo portals (e.g., LetterSampo, OperaSampo) for cultural data analysis, ParliamentSampo for parliamentary data, and FindSampo for archaeological finds. His work emphasizes interdisciplinary collaboration, integrating law, history, and computing through initiatives like FIN-CLARIAH. Hyvönen advises doctoral and master's students, notably Annastiina Ahola and Jouni Tuominen, who have won awards under his supervision. He directs research infrastructures, chairs international boards, and actively contributes to open data policies and standards development.

• Artificial Intelligence
• Computer Vision
• Deep Learning
• +۱۳ مورد دیگر

Noorbakhsh Amiri Golilarz is an Assistant Professor in the Department of Computer Science at The University of Alabama, College of Engineering. He has established himself as a prominent researcher in artificial intelligence, particularly in computer vision, deep learning, and image processing. His educational background includes: Postdoctoral Research Fellow, Computer Science, Boston College (2023) Ph.D., Electrical and Computer Engineering, Southern Illinois University Carbondale (2023) D. Eng., Computer Science and Technology, University of Electronic Science and Technology of China (2021) M.S., Electrical and Electronic Engineering, Eastern Mediterranean University (2017) B.S., Electrical Engineering, University of Guilan (2012) Dr. Golilarz's research spans multiple domains of artificial intelligence with a particular focus on computer vision, deep learning, and image processing applications. His work addresses challenges in medical imaging, satellite imagery, and cognitive neuroscience. He has made significant contributions to image denoising techniques, control chart pattern recognition, and AI applications in healthcare. His recent work has expanded into generative AI, large language models, and secure machine learning operations. His publication portfolio demonstrates consistent productivity with over 2500 citations and an h-index of 25. His most impactful work includes applications of blockchain and federated learning for COVID-19 detection, optimized support vector machines for medical diagnosis, and innovative image denoising techniques using metaheuristic optimization algorithms. Among his professional achievements: Co-founded AI Letters journal in 2024, serving as Associate Editor-in-Chief Served as Lead Guest Editor and Topic Editor for several SCI-indexed journals Held the role of Conference Program Chair Dr. Golilarz has supervised numerous graduate students and research projects, with his work spanning theoretical advancements in AI algorithms to practical applications in healthcare, energy systems, and cybersecurity. His research group has established collaborations with institutions including Boston College and Mississippi State University.

• Databases
• Big Data Management
• Spatial Data Processing
• +۳ مورد دیگر

Ahmed Eldawy is an Associate Professor in the Department of Computer Science at the University of California, Riverside. He leads groundbreaking research in databases, big data management, and spatial data processing, with a focus on scalable exploratory analytics through systems like Beast , UCR-Star , Raptor , and Spider . His work spans geospatial data infrastructure, distributed computing, and computational geometry. Research Interests : Databases, big data management, spatial data processing, geospatial analytics, distributed systems, computational geometry. Awards : NSF CAREER award (2021), 10-year Influential Paper Award (ICDE 2025), Best Demo award (SIGSPATIAL 2020). Grants : NSF (IIS-2046236, IIS-1954644, CNS-1924694), USDA (USDA NIFA 2020-69012-31914), UC Office of the President (M21PL3368). Labs & Centers : RAISE@UCR, Data Science Center, Center for Robotics and Intelligent Systems (CRIS), Affiliate of Center for Geospatial Sciences and Winston Chung Global Energy Center. His recent publications focus on LLM-driven geospatial visualization (LASEK), distributed raster analytics (RDPro), learned spatial query optimization, and scalable spatiotemporal systems. He advises numerous PhD and Master’s students, many of whom now work at top tech companies like Amazon, Microsoft, and Meta.

Josef Urbanمشاهده پروفایل

پژوهشگر

• Automated Reasoning
• Machine Learning
• Theorem Proving
• +۵ مورد دیگر

Josef Urban is a leading researcher at the Czech Institute of Informatics, Robotics and Cybernetics (CIIRC) , Czech Technical University in Prague, heading the ERC Consolidator project AI4REASON . Previously, he held positions as a postdoc at Radboud University Nijmegen and assistant professor at Charles University in Prague, where he co-founded the Prague Automated Reasoning Group. Education Ph.D. in Computer Science (2004), Charles University, Prague M.S. in Mathematics (1998), Charles University, Prague B.S. in Economics (1995), Charles University, Prague Research Interests Urban specializes in automated reasoning over large formalized knowledge bases, combining deductive theorem proving and inductive machine learning . His work aims to realize "strong AI" through formalized mathematics, particularly using systems like Mizar and the AI/TP Challenges . He advocates for computer-verifiable mathematics as a foundation for AI progress. Article Trends Urban's publications focus on integrating machine learning with automated theorem proving in systems like ENIGMA and BliStr . Key trends include semantic guidance for ATPs, premise selection in formal libraries, and automated proof compression via concept invention. Scientific Contributions Head of ERC Consolidator project AI4REASON Marie-Curie Fellow at University of Miami Co-founder of Prague Automated Reasoning Group Editor for Formalized Mathematics Advising and Grants Urban has advised numerous PhD and MSc students including Daniel Kuehlwein, Krystof Hoder, and Yutaka Nagashima. He has secured grants like the ERC Consolidator Grant and Marie-Curie Fellowship . Labs and Collaborations Urban leads the AI4REASON team at CIIRC and collaborates with the Foundations Group at Radboud University. He contributes to projects like Mizar TWiki and XML-based API for Mizar , aiming to create a semantic AI ecosystem for formal knowledge.

Daniel Balasubramanianمشاهده پروفایل

دانشیار مدعو

• Cyber-physical Systems
• Cybersecurity
• Software Verification
• +۳ مورد دیگر

Daniel Balasubramanian is an Adjunct Associate Professor of Computer Science and Research Scientist at Vanderbilt University's School of Engineering. His research focuses on cybersecurity, software verification, and cyber-physical systems, with expertise in symbolic execution, code analysis, and formal methods. He contributes to advancing secure systems through frameworks like RAMPART for adversarial defense and Syntheto for formal verification. His work intersects edge computing, hardware security, and autonomous systems resilience. Research Interests: Cybersecurity (including ethical hacking, network defense), formal methods (verification, theorem proving), edge computing (tinyML, cloud integration), and cyber-physical systems (emulation, testbeds). His recent work emphasizes assurance provenance in software documentation and adversarially robust autonomous systems. Publications since 2019 highlight contributions to cybersecurity testbeds, reinforcement learning for penetration resistance, and hardware security against rowhammer attacks. He has explored domain-specific languages (Syntheto), incremental modeling techniques (differential-formula), and cloud-edge service resilience against adversarial perturbations. Labs/Teams: Affiliated with the Institute for Software-Integrated Systems (ISIS), focusing on integrating software with physical systems through model-driven approaches and cybersecurity innovations.

• Project Management
• Database Management
• Information Systems
• +۴ مورد دیگر

Luisa Domingues is an Assistant Professor in the Department of Information Science and Technology at ISCTE - University Institute of Lisbon. She serves as an Integrated Researcher at ISTAR-Iscte - Research Center in Information Sciences, Technologies and Architecture, specializing in Information Systems research. Her academic qualifications include a PhD in Information Science and Technology from ISCTE-IUL (2013). Her primary research interests focus on: Project Management : Methodologies, risk assessment, and knowledge sharing Database Systems : Management, interoperability, and standardization e-Government Solutions : Public sector information systems and shared services Ontological Frameworks : Particularly for architectural heritage documentation Educational Technologies : Blended learning approaches in higher education Her recent publications (2016-2024) demonstrate a strong focus on project management methodologies, knowledge transfer, and information systems in public sector contexts. Key thematic trends include PMBOK framework applications, agile methodology adoption challenges, data science project risks, and technological solutions for cultural heritage preservation. Most works employ case study research and empirical validation methods. Dr. Domingues maintains an active advising portfolio with 1 doctoral candidate and 36 master's students, primarily focusing on topics in project management, information systems, and data science applications. She has held significant academic leadership positions including: 4th Year Coordinator for Bachelor's in Computer Science and Business Management (2020-2027) Program Director for the same degree (2017-2019) At ISTAR-Iscte research center, she contributes to projects involving information systems architecture, data standardization, and knowledge management frameworks.

• Computer Networks
• Programmable Infrastructures
• Cloud Computing
• +۵ مورد دیگر

Dr. Theophilus A. Benson is a Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University, with additional responsibilities at Carnegie Mellon University-Africa. His research group focuses on improving network performance and availability through models, algorithms, and frameworks that manage network state semantics. Key application areas include addressing the digital divide, optimizing microservices/cloud systems, software-defined networks, and CDN designs. Education: Ph.D., University of Wisconsin, Madison (2012) M.S., University of Wisconsin, Madison (2008) B.S., Tufts University (2004) Research Focus: Professor Benson's work spans three core domains: Democratizing Web Performance (measurements and optimizations for developing regions), Systems Abstractions for Programmable Infrastructures (eBPF/P4 frameworks), and Self-Managing Networks (ML-driven configurations). His African Internet Observatory initiative analyzes Africa's internet ecosystem to address digital inequity through assessment probes and statistical methods. Publication Trends: Recent works (2021-2024) demonstrate a strong focus on programmable networks (eBPF/P4 management), web performance in developing regions, and data-driven cloud/CDN optimizations. Earlier foundational work established expertise in SDN fault tolerance, network updates, and video streaming characterization. Awards & Honors: SIGCOMM Test of Time Award NSF CAREER Award NEC Faculty Award Google Faculty Award Facebook Faculty Award (2x) DARPA ISAT Study Group Member Grants & Advising: Secured funding from NSF (CAREER, NeTS), Google, Facebook, and Yahoo. Current advisees include 4 PhD/MS students working on programmable networks and web performance. Actively recruiting post-docs and students for African connectivity and eBPF projects. Leadership: Co-chairs NSDI'25 and ApNet'24 conferences. Leads the NetLab research group developing deployable systems adopted by web-scale companies and open-source communities.

Jia Zhangمشاهده پروفایل

استاد

• Machine Learning
• Natural Language Processing
• Information Retrieval
• +۱۰ مورد دیگر

Dr. Jia Zhang is the Inaugural Robert H. Dedman Jr. Endowed Department Chair and Professor of Computer Science at Southern Methodist University (SMU Lyle School of Engineering). She holds the Cruse C. and Marjorie F. Calahan Centennial Chair in Engineering and has a courtesy appointment in the Department of Operations Research and Engineering Management. Her research focuses on applying machine learning, natural language processing, and information retrieval to data science infrastructure, particularly scientific workflows, provenance mining, software discovery, knowledge graphs, cloud computing, immune AI, and applications in earth science and healthcare. Education: Ph.D. in Computer Science, University of Illinois at Chicago M.S. in Computer Science, Nanjing University B.S. in Computer Science, Nanjing University Dr. Zhang's work emphasizes data science infrastructure and machine learning for scientific workflows and knowledge graphs. Her recent publications highlight deep learning , graph neural networks , and optimization algorithms in cloud computing, cybersecurity, and environmental applications. Key trends include spatiotemporal modeling , hybrid neural architectures , and AI-driven service ecosystems . Scientific Awards: Best Paper Awards IEEE SCC (2011, 2017) Best Student Paper Awards IEEE ICWS (2014, 2018), IEEE ICCC (2018) Distinguished Paper Award ICSOC (2023) First Outstanding Service Award IEEE Technical Committee on Services Computing (2016) She has secured over $5 million in federal grants (as PI) and $11 million as PI/Co-PI from NSF, NASA, NIH, UTSW, Ericsson, SAP, and Google. Her lab (Caruth Hall 308) actively recruits research assistants. She previously served as a faculty member at Carnegie Mellon University, Northern Illinois University, and Nanjing University, and worked in industry as a software architect.

Nigel Shadboltمشاهده پروفایل

استاد

• Artificial Intelligence
• Web Science
• Open Data
• +۷ مورد دیگر

Professor Sir Nigel Shadbolt is Principal of Jesus College Oxford and Professor of Computing Science at the University of Oxford. He is Chairman and Co-founder of the Open Data Institute which he established with Sir Tim Berners-Lee. His career spans multiple prestigious institutions including the University of Southampton and University of Nottingham, where he held leadership roles in AI research. He has served in significant government advisory positions including as Information Advisor to the UK Prime Minister and member of the Public Sector Transparency Board. Nigel Shadbolt earned his undergraduate degree in Philosophy and Psychology from the University of Newcastle (1st Class Honours, 1978) followed by a PhD in Artificial Intelligence from the University of Edinburgh. His academic journey includes positions as the Allan Standen Professor of Intelligent Systems at Nottingham and leadership of the Web and Internet Science Group at Southampton before joining Oxford. Shadbolt's research spans the interdisciplinary field of Web Science, which he helped originate, focusing on human-centered AI, social machines, open data, and ethical considerations in technology. His work examines how humans and computers integrate at web scale to create novel applications, with recent emphasis on children's digital autonomy and privacy. He has published over 500 articles exploring topics from cognitive psychology to computational neuroscience, Artificial Intelligence to the Semantic Web. His notable contributions include the development of data.gov.uk and leadership in establishing Oxford's Institute of Ethics in AI. His 2018 book 'The Digital Ape: how to live (in peace) with smart machines' has been described as a 'landmark book' in the field. Knighted in 2013 for services to science and engineering Fellow of The Royal Society (FRS) Fellow of the Royal Academy of Engineering (FREng) Fellow of the British Computer Society (FBCS) Technology Pioneer status by the Davos World Economic Forum UK national BT Flagship IT Award As an advisor, Shadbolt has supervised numerous PhD students who have gone on to positions at Google DeepMind, the World Bank, and other prestigious institutions. His research has been supported by multiple grants including SOCIAM, KOALA, and ReTiPS projects. He co-founded Garlik Ltd, which was acquired by Experian, demonstrating his commitment to translating research into practical applications that benefit society. Shadbolt leads the Web and Internet Science research group at Oxford, focusing on social machines - applications that succeed at web scale by integrating humans and computers in novel ways. His work on the KOALA Hero Toolkit and CHAITok system addresses critical challenges in children's data autonomy on social media platforms, reflecting his commitment to ethical technology design.

Rosemary Monahanمشاهده پروفایل

استاد

• Software Verification
• Dependable Software Systems
• Formal Methods
• +۳ مورد دیگر

Rosemary Monahan is a Professor in the Department of Computer Science at Maynooth University and an affiliate of the Hamilton Institute. She holds BSc and MSc degrees from University College Dublin and a PhD from Dublin City University. As Maynooth University's institutional lead for ADAPT (SFI Research Centre for AI-Driven Digital Content Technology), she focuses on advancing software dependability through formal methods and AI integration. Her research interests include safety-critical systems, dependable software, formal verification, and computational thinking education. She co-founded the VerifyThis competition series and leads projects such as MAIVV (Modular AI Verification and Visualisation) funded by SFI, and VALU3S (Verification and Validation of Automated Systems) funded by Horizon 2020. She has secured over €2.5M in EU funding for the Erasmus Mundus programs in dependable software systems. Monahan’s educational contributions include pioneering computational thinking resources (CoCoA and InSPECT projects) and teaching modules on software verification and rigorous software processes. She supervises PhD students in data science and advanced networks and collaborates with institutions like INRIA, Microsoft Research, and Amazon Web Services. Her professional roles include editorships in journals like Science of Computer Programming and leadership in conferences like iFM and FMICS. She actively promotes gender equality in computing through initiatives like INGENIC and TechMate toolkits.

Mathias Payerمشاهده پروفایل

دانشیار

• Software Security
• System Security
• Binary Exploitation
• +۳ مورد دیگر

Mathias Payer is an Associate Professor at EPFL's School of Computer and Communication Sciences (IC), leading the HexHive Laboratory . His work focuses on software security, particularly addressing memory corruption and type violations through binary analysis and compiler-based techniques. He contributes to research in secure system design, fault isolation, and fuzzing methodologies. Current PhD students : Di Bartolomeo Luca, Feng Zhiyao, Hofhammer Florian, Lyu Tao, Mao Philipp Yuxiang, Zhang Chibin, Zheng Han Past EPFL PhD students: Badoux Nicolas Daniel, Bhattacharyya Atri, Hazimeh Ahmad His research explores software security in areas like: Protecting applications from vulnerabilities Binary exploitation and mitigation Compiler-driven security hardening Strong sanitization and privilege separation Memory corruption detection The HexHive group develops tools and frameworks for: Automated fuzz driver generation Gradual compartmentalization State inference for feedback optimization Secure cell architectures Recent publications highlight advancements in: Fuzzing hybrid approaches (e.g., DUMPLING, MendelFuzz) Memory safety validation (QMSan, Pacmem) Compiler-assisted defenses (Gradient, Type++)