جستجوی استاد راهنمای دانشگاهی

• Artificial Intelligence
• Strategic Reasoning in Multi-Agent Systems
• Formal Verification
• +۶ مورد دیگر

Aniello Murano is a Professor of Computer Science at the Department of Electrical Engineering and Information Technologies , University of Naples Federico II. He serves as Scientific Director of the ASTREA (Automated Strategic Reasoning) Laboratory and leads cutting-edge research in Artificial Intelligence, Strategic Reasoning, Multi-Agent Systems , and Formal Verification . Research Interests : Strategic reasoning under perfect/imperfect information, specification/verification/synthesis of reactive systems, temporal/modal logics, automata theory, parity games, game theory, mechanism design, and formal languages. Notable Projects : PNRR Research Unit Coordinator (2023-2025) on Resilient AI, PRIN 2020 Unit Coordinator (RIPER: Resilient AI-Based Self-Programming and Strategic Reasoning), H2020-MSCA SEAL (Principal Coordinator). Awards & Honors : JPMorgan Faculty Research Award (2022), Royal Society Award (2016), Best Paper PRIMA (2015), INDAM Project Leader (2023), Italian Scientific Habilitation (2017-2018). Students & Postdocs : Supervised 6 PhD students (e.g., Silvia Stranieri, Vadim Malvone) and mentored postdocs such as Munyque Mittelmann and Bastien Maubert. Laboratory : Leads ASTREA Lab, focusing on automated strategic reasoning and resilient AI systems.

Arash Joorabchiمشاهده پروفایل

استادیار

• Machine Learning
• Natural Language Processing
• Educational Technology
• +۴ مورد دیگر

Arash Joorabchi is an Assistant Professor at the Department of Electronic and Computer Engineering, Faculty of Science and Engineering, University of Limerick, Ireland. His research focuses on the intersection of machine learning, educational technology, and digital library systems, with particular emphasis on automated assessment, text mining, and knowledge organization techniques. Research Trends: Analysis of his publications reveals sustained contributions to automated short-answer grading, Arabic text classification, and semantic integration of Wikipedia with academic resources. Key methodologies include sentence transformers, hybrid text representation models, and citation-based indexing techniques. Technical Domains: His work spans natural language processing, educational data mining, metadata management, and semantic web technologies. Specific applications include Q&A platform analysis, library resource discovery, and curriculum development systems.

Chinmay Kulkarniمشاهده پروفایل

استادیار

• Human Computer Interaction
• Large-scale Learning
• Automation
• +۵ مورد دیگر

Chinmay Kulkarni is an Assistant Professor at Carnegie Mellon University's Human-Computer Interaction Institute, where he leads the Expertise@Scale lab. His research integrates large-scale data and automation to transform learning, work, and mentoring systems. Education : Ph.D. in Computer Science from Stanford University (recipient of the Arthur P Samuel Award) Previous Affiliations : Microsoft Research, Barcelona Supercomputing Center His research spans: Human-Computer Interaction design for massive collaboration Voice-controlled interfaces and AI tools Future of work in remote/hybrid environments Behavioral economics through tech interventions Creative entrepreneurship support systems Algorithmic feedback in education Recent publications with AI and education focus show strong trends in voice technology, peer feedback mechanisms, and scalable learning platforms. His lab's systems have been used by >100,000 users across 150 countries. Scientific Awards : Arthur P Samuel Award (Stanford thesis award) Advising & Grants : NSF grant recipient US Department of Education funding Office of Naval Research support Departmental fellowship Labs : Directs Expertise@Scale lab developing systems adopted by Coursera and edX. Current research group includes PhD students Yasmine Kotturi, Julia Cambre, Pranav Khadpe and Masters student Sayan Chaudhry.

Matthew Holdenمشاهده پروفایل

دانشیار

• Surgical Data Science
• Machine Learning
• Computer-Assisted Surgery
• +۳ مورد دیگر

Matthew Holden is an Associate Professor in the School of Computer Science at Carleton University. He holds a PhD (2018) and MSc (2014) from Queen's University and a BScH (2012) from Western University. His research focuses on Surgical Data Science, applying machine learning to surgical time-series data from operating rooms and simulations to improve patient outcomes and surgical training. Key areas include real-time decision support, performance assessment, and surgical efficiency through domain-knowledge integration. Research interests emphasize machine learning for surgical workflows, skill assessment via sensor data (e.g., motion tracking, EEG), and computer-assisted interventions. Notable work includes automated proficiency evaluation in cataract surgery, ultrasound-guided procedures, and neurosurgical training. His contributions span medical robotics, surgical education, and clinical decision support systems. Publications highlight advancements in surgical workflow anticipation, tool detection, and skill metrics across domains like ophthalmology, emergency medicine, and neurology. Holden advocates for interdisciplinary approaches combining computational methods with clinical expertise to enhance healthcare delivery.

Sarah Eblingمشاهده پروفایل

استاد

• Computational Linguistics
• Assistive Technologies
• Sign Language Technologies
• +۷ مورد دیگر

Sarah Ebling is a Full Professor of Language, Technology and Accessibility at the University of Zurich's Faculty of Arts and Social Sciences. She leads the Language, Technology and Accessibility research group within the Institute for Computational Linguistics. Her work focuses on computational linguistics applications for assistive technologies targeting disabilities such as hearing impairments, visual impairments, and cognitive disorders. Key areas include sign language technologies, automatic text simplification, and audio description systems. She directs the large-scale Swiss innovation project 'Inclusive Information and Communication Technologies' (2022-2026, CHF12 million budget) and collaborates on EU H2020 and SNSF Sinergia projects. Education: Holds a doctoral degree (summa cum laude, 2016) from the University of Zurich with research on automatic translation to Swiss German Sign Language. Completed studies in German Linguistics, Computational Linguistics, and English Linguistics at Universities of Zurich and Heidelberg, with research stays in Dublin, Chicago, and Rochester. Research emphasizes multimodal accessibility solutions, including sign language fluency assessment, gesture-based interaction, and AI-driven text adaptation. Current projects explore audio description translation systems (SwissADT), sign language corpus development (SwissSLi), and digital tools for comprehensibility assessment in simplified texts. Her work bridges computational linguistics with ethical considerations in assistive technology deployment. Grants and Leadership: Principal Investigator on major accessibility-focused grants, including the CHF12M Swiss innovation project. Supervises PhD candidates in areas like sign language assessment tools and text simplification algorithms. Active in international collaborations, publishing extensively in computational linguistics and accessibility journals/conferences. Technology Development: Created the 'DigiSpon' benchmark for language sample analysis and developed open-source tools for sign language translation baselines. Her team's innovations include the SignCLIP model connecting text and sign language via contrastive learning, and pose estimation frameworks for sign language recognition.

• Artificial Intelligence
• Healthcare Informatics
• Data Science
• +۵ مورد دیگر

Luís B. Elvas is an Assistant Professor at ISCTE-University Institute of Lisbon's Department of Social and Business Sciences (SINTRA) and a Research Assistant at ISTAR-Iscte Research Center. He holds qualifications including a Technical Specialization in TensorFlow for AI (Coursera, 2021) and certifications in IoT/Blockchain from ISCTE and cybersecurity from Palo Alto Networks. His research spans artificial intelligence, healthcare informatics, smart cities, and blockchain, with applied work in medical imaging, data sharing, and urban analytics. Research interests include: Healthcare AI : Developing deep learning models for cardiac diagnostics, medical imaging analysis, and blockchain-based health data systems Smart Cities : Implementing IoT solutions for urban mobility optimization, disaster management, and sustainable transportation Data Science : Creating predictive analytics frameworks for clinical decision support and urban planning His publications demonstrate a strong focus on AI-driven healthcare solutions (67% of recent works) and smart city technologies (33%), with emerging interests in blockchain and NLP. Research consistently targets real-world applications in clinical settings and urban environments. Awards: Award for best internship, Order of Engineers (2022) Distinction for best internship, Order of Engineers (2021) He leads/contributes to multiple EU research consortia including AMR-EDUCare (antimicrobial resistance education), NEEM (e-health in Nepal), and Blockchain.PT. Coordinates the IEEE Computational Intelligence Society Student Branch Chapter at ISCTE and developed the ManagiDiTH master's program in digital health transformation.

Roop Aparajita Subhra Purushottamمشاهده پروفایل

دانشیار

• Machine Learning
• Extreme Classification
• Optimization Techniques
• +۵ مورد دیگر

Roop Aparajita Subhra Purushottam is an Associate Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Kanpur. His research focuses on machine learning foundations and applications, particularly in extreme classification, optimization techniques, robust learning, and educational technology. He has developed scalable algorithms for web-scale applications and innovative teaching tools for programming education. His research interests span: Design and analysis of machine learning algorithms Statistical learning theory and online optimization Non-convex optimization for large-scale problems Robust learning against adversarial corruptions Applications in information retrieval, education, and environmental monitoring Recent publications demonstrate a strong focus on extreme classification techniques, efficient deep learning architectures, and educational technologies. His work consistently appears in top-tier conferences including KDD, ICML, NeurIPS, and CVPR, with innovations in scaling machine learning systems to handle millions of labels and users. Significant Awards: Gopal Das Bhandari Distinguished Teacher Award (2024) PK Kelkar Faculty Fellowship (2024-2027) Microsoft Bing Ads Greatness Award (2021) Computer Society of India Faculty Award (2018) Multiple best paper awards and nominations at major conferences He leads several research grants and consults for industry partners including Microsoft Research and Tower Research. His team develops open-source tools like Prutor for programming education and DEFRAG for efficient feature agglomeration in extreme classification. He has advised numerous PhD and Master's students who have received prestigious awards for their research contributions.

Kimia Zamiri Azarمشاهده پروفایل

استادیار

• Hardware Security
• Verification Formal Methods
• Advanced VLSI Testing
• +۳ مورد دیگر

Kimia Zamiri Azar serves as an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Central Florida, focusing on hardware security and verification methodologies. Her research bridges theoretical formal methods with practical security implementations in semiconductor design and testing. Her educational background includes: Ph.D. in Electrical and Computer Engineering, George Mason University (2021) Postdoctoral Research, University of Florida Dr. Azar's research spans hardware security with emphasis on system-level verification, VLSI design-for-trust, and advanced IC testing. She pioneers techniques in logic locking, secure heterogeneous integration, and IC supply chain security, developing frameworks for authenticated encryption in Systems-in-Package and runtime security monitoring. Her work integrates formal verification with innovative testing methodologies to address hardware trust challenges across the semiconductor lifecycle. Analysis of her recent publications reveals two dominant trends: (1) Application of large language models (LLMs) to hardware design tasks including high-level synthesis code generation and RTL optimization, and (2) Advancement of secure heterogeneous integration techniques for System-in-Package architectures with focus on counterfeit prevention and split-test security protocols. These directions address critical gaps in hardware trustworthiness amid increasingly complex semiconductor supply chains. Her scientific contributions have earned significant recognition: Best Paper Award at ICCAD 2019 Best Paper Award at ISVLSI 2020 Best Paper Award at ICCAD 2020 Best Paper Award at IEEE DCAS 2020 Best Paper Award at HOST 2022 Best Paper Award at DATE 2023 Dr. Azar secures substantial research funding from premier agencies including NSF, SRC, DARPA, AFRL, DoD (NG), and Microsemi. Her grants support projects spanning hardware security validation frameworks, secure heterogeneous integration, and AI-augmented verification methodologies. She actively mentors students in her research group, guiding publications in top venues like IEEE D&T, IEEE TC, and DAC while fostering industry-academic collaborations. Her work directly impacts semiconductor security standards through patented innovations and open-source verification tools. As an active IEEE and ACM member, she contributes to community advancement through conference organization (HOST, DATE), journal editorial roles, and workshop leadership on hardware security standards. Her research group collaborates with semiconductor industry leaders to translate theoretical security frameworks into practical design-for-trust methodologies for next-generation integrated circuits.

Kevin Leyton-Brownمشاهده پروفایل

استاد

• Artificial Intelligence
• Machine Learning
• Game Theory
• +۵ مورد دیگر

Kevin Leyton-Brown is a Professor of Computer Science at the University of British Columbia (UBC), holding a Canada CIFAR AI Chair at the Alberta Machine Intelligence Institute (Amii). He is also an Associate Member of the Vancouver School of Economics and a Fellow of the Royal Society of Canada, ACM, and AAAI. His research focuses on AI, machine learning, computational economics, and game theory, with notable contributions to algorithmic market design, heuristic algorithms, and large language models. He co-authored influential textbooks on multiagent systems and game theory, and his work has been recognized with prestigious awards including the INFORMS Franz Edelman Award and the Killam Teaching Prize. Education: PhD (Computer Science), Stanford University; MSc (Computer Science), Stanford University; BSc (Computer Science), McMaster University. Research Interests: Artificial Intelligence, Machine Learning, Game Theory, Computational Economics, Algorithmic Game Theory, Market Design, and Large Language Models. He has developed impactful tools like SATzilla, AutoWEKA, and Mechanical TA, and contributed to high-stakes projects such as spectrum auction design and Ugandan agricultural market platforms. Awards & Recognition: Royal Society of Canada Fellow (2023), ACM SIG-KDD Research Track Test of Time Award (2023), INFORMS Franz Edelman Award (2018), ACM Fellow (2020), AAAI Fellow (2018), Killam Teaching Prize (UBC), and numerous paper awards from top conferences like AAAI, ICML, and ACM-EC. Leadership & Affiliations: Director of UBC’s CAIDA and AIM-SI research clusters, former Chair of ACM SIG-Ecom, and advisor to companies like AI21 Labs and Auctionomics. He has held visiting roles at institutions including MIT, Harvard, and the Simons Institute.

• Machine Learning
• Medical Imaging
• Health Informatics
• +۳ مورد دیگر

Aonghus Lawlor is an Assistant Professor/Lecturer in Computer Science at the School of Computer Science, University College Dublin. His roles include coordinating modules such as Software Engineering, Data Structures, Machine Learning, and Final Year Project Foundations. He holds an Orcid identifier: 0000-0002-6160-4639. His research focuses on machine learning applications in medical imaging (e.g., MRI, CT), sports science, and healthcare systems. Notable areas include AI-driven diagnostics, cybersecurity in radiology, and genomics for agricultural optimization. Recent work explores ChatGPT4-vision in MS progression, knee osteoarthritis grading via anomaly detection, and reinforcement learning in exercise prescriptions. Professional activities include committee roles in ACM Recommender Systems and Intelligent User Interfaces, grant assessments, and peer reviewing. He has published 137+ outputs, emphasizing interdisciplinary AI solutions with clinical and agricultural impact. Teaching responsibilities span foundational CS courses to advanced ML and project modules. No formal awards are listed, but his work demonstrates contributions to AI ethics, health informatics, and agricultural genomics.

Thad Starnerمشاهده پروفایل

استاد

• Wearable Computing
• Human-Computer Interaction (HCI)
• Augmented Reality
• +۷ مورد دیگر

Thad Starner is a Professor in the College of Computing at Georgia Institute of Technology and Technical Lead/Manager on Google's Glass. He directs the Contextual Computing Group (CCG), co-founded the Animal Computer Interaction Lab, and contributes to Georgia Tech's Ubicomp Group and Brainlab. A wearable computing pioneer since 1993, he has over 500 publications and 80 issued U.S. patents. Coined 'augmented reality' in 1990 Developed CopyCat for ASL learning in deaf children Invented Passive Haptic Learning for skill acquisition His research spans wearable interfaces for Deaf-hearing communication, dolphin interaction systems (CHAT), dog-handler communication (FIDO), and brain-computer interfaces for ALS patients. Current projects focus on optical aging simulation, XR input methods, and animal behavior telemetry. Recent publications (2023-2025) explore AR display ergonomics, AI-augmented reasoning, sign language recognition, and animal-computer interaction. His work has been featured in 60 Minutes, BBC, National Geographic, and Time Magazine. CHI Academy (2017) Lemelson-MIT Prize finalist White House Champions of Change finalist He advises graduate students in wearable systems and teaches AI and prototyping courses. His lab developed the Perceptive Workbench for gesture tracking and created early Eigenfaces research for face recognition.

Neda Haj Hosseiniمشاهده پروفایل

مدرس ارشد

• Biomedical Engineering
• Medical Imaging
• Artificial Intelligence in Healthcare
• +۳ مورد دیگر

Neda Haj Hosseini is a Senior Lecturer and Associate Professor in Biomedical Engineering at Linköping University's Department of Biomedical Engineering (IMT) . She contributes to teaching courses like TBMT56 - Medical Technology and TBME08 - Biomedical Modeling and Simulation , while leading research initiatives in AI-driven cancer diagnostics and biomedical optics. Research Focus: Development of AI methods for cancer diagnostics, optical coherence tomography (OCT) applications, and fluorescence spectroscopy in surgical guidance Affiliations: Center for Medical Image Science and Visualization (CMIV) , Analytic Imaging Diagnostic Arena (AIDA) , Swedish Medical Technology Association Recent Research Trends demonstrate expertise in applying deep learning to: Pediatric brain tumor classification using multimodal imaging Optical biopsy techniques for intraoperative decision support Automated biomarker quantification in histopathology Medical imaging data integrity and algorithm validation Scientific Awards include grants from: Joanna Cocozza Foundation (2022) Swedish Childhood Cancer Foundation (2024) Academic Leadership involves mentoring students in projects such as: "Multiple Instance Attention-based Learning for Brain Tumor Classification" "Vision Transformers for Multiclass Brain Tumor Tissue Classification" "Reaction-diffusion Models for Image-driven Tumor Simulation"

Clinton Fookesمشاهده پروفایل

استاد

• Computer Vision
• Artificial Intelligence
• Human Behavior Analysis
• +۷ مورد دیگر

Professor Clinton Fookes is a faculty member at the Queensland University of Technology (QUT) within the School of Electrical Engineering & Robotics . His research focuses on leveraging computer vision and artificial intelligence to develop automated systems that understand, anticipate, and interact with human behaviors, with applications in medical diagnostics, autonomous vehicles, defense, and industrial efficiency . Research areas include AI adaptability, multimodal biosignal analysis, and human-machine interaction Collaborates with CSIRO Data61, Defence Science and Technology Group, Orica, Airbus, and Sentient Vision Systems Develops systems for human action detection, infrastructure monitoring, and stress response prediction His work addresses critical challenges in AI deployment, such as environmental adaptability and reducing diagnostic errors in medical and autonomous systems. Recent publications highlight trends in self-supervised learning, zero-shot knowledge transfer, multimodal integration , and 3D reconstruction for healthcare , while exploring ethical AI use in sectors like mining and defense . Professor Fookes emphasizes interdisciplinary collaboration, bridging engineering, medicine, and social sciences to advance AI systems capable of real-world impact. His research agenda includes improving AI memory capabilities and explainability for safer, more reliable automation.

• Mathematical Logic
• Formal Methods
• Automated Reasoning
• +۴ مورد دیگر

Dr. Sasha Rubin is a Senior Lecturer and leader of the Computational Logic for AI (LOGIC-AI) group at the School of Computer Science, The University of Sydney. He holds a PhD in Mathematics and Computer Science from the University of Auckland and previously worked at the University of Naples Federico II. His research focuses on logic foundations of AI, including synthesis, planning, formal methods, and multi-agent systems. He teaches courses like Models of Computation and supervises students in topics like probabilistic systems and reinforcement learning. Research Interests: Mathematical Logic, Formal Verification, Temporal Logic Synthesis, Automated Reasoning, and Multi-Agent Systems. He has published extensively in top venues like IJCAI, AAAI, and ACM Transactions. His work includes verification of agent navigation, strategy logic, and planning under uncertain environments. Awards: Recognized as an Australian Research Field Leader in Theoretical Computer Science (2020). He serves on editorial boards for JAIR and conferences like KR, and organizes events such as the Australasian Association for Logic Conference (2024). Supervision and Grants: Current students include Ethan HIRSCHOWITZ and Kunal OSTWAL. Past supervision spans MPhil/PhD projects on probabilistic systems, ML classifier fairness, and symbolic automata. His grants include studies on logic and robots in anonymous graphs. Professional Activities: Member of EATCS, ACM, and mentor for the Sydney Summer Innovation Programme. He leads the LOGIC-AI lab and collaborates internationally, notably with Giuseppe De Giacomo at Sapienza University of Rome.

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

مدرس ارشد

• Sustainable Architecture
• Structural Engineering
• Natural Material Innovation
• +۳ مورد دیگر

Professor Michael Ramage is a Senior Lecturer in the Department of Architecture at Cambridge University , where he directs the Centre for Natural Material Innovation . He is also a fellow of Sidney Sussex College and co-founder of Light Earth Designs . His academic background includes architecture studies at MIT and professional experience at Conzett Bronzini Gartmann in Switzerland. His research focuses on low-energy structural materials , natural material innovation , and sustainable housing in developing regions, with particular emphasis on engineered timber and bamboo . The 15 most recent publications highlight trends in modular timber construction , 3D printed earthen materials , and climate action in the building sector . Key subfields include circular economy , resource optimization , structural testing , and behavioral impacts on decarbonization . He has secured research funding from the Leverhulme Trust , Engineering and Physical Sciences Research Council (EPSRC) , Royal Society , and British Academy .