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

Emma Norlingمشاهده پروفایل

استاد

• Agent-Based Modelling
• Social Simulation
• Cognitive Modelling
• +۳ مورد دیگر

Professor Emma Norling is a Professor of Engineering Education and Director of Education in the School of Computer Science at the University of Sheffield. She holds a BEng (Hons) from the University of Melbourne and a PhD in Computer Science from the University of Sheffield. Her career includes postdoctoral work at Manchester Metropolitan University's Centre for Policy Modelling and a lecturing role at its School of Mathematics, Computing and Digital Technology. Her research focuses on agent-based systems, particularly cognitive and social simulations, with an emphasis on integrating social intelligence into computational models. She leads the Teaching Specialists group and oversees accreditation and professional institution relations. Key roles include directing educational strategy and promoting pedagogical innovation in engineering and computing education. Her publications highlight contributions to agent-based modelling methodologies, emergency response systems, and social simulation frameworks. Notable works include studies on food web evolution, morphogenetic network growth for emergency teams, and the application of BDI agents in human behavior modelling. She actively engages with interdisciplinary approaches, bridging computer science with education and social sciences. Professional service includes leading educational accreditation efforts and fostering collaboration between academia and industry. She is a sought-after expert in computational models of human behavior and their implications for educational technology and societal systems.

Assia Mahboubiمشاهده پروفایل

پژوهشگر

• Formal Methods
• Type Theory
• Interactive Theorem Proving
• +۱۲ مورد دیگر

Assia Mahboubi is a tenured researcher at Inria in the Gallinette team , Nantes, France, and an endowed professor in the Algebra and Number Theory section at Vrije Universiteit Amsterdam , Netherlands. Her work bridges formal methods, type theory, and computer-aided mathematics. Research Interests: Her research centers on the formalization of mathematics in dependent type theory and the automated verification of mathematical proofs. She is particularly interested in the interplay between computer algebra and formal proofs, and in how formal representations enhance understanding of mathematical objects. She is a lead developer of the Mathematical Components libraries and a key user of the Coq proof assistant. Recent Research Trends: Her recent publications focus on diagram chasing in category theory, continuity in constructive type theory, proof transfer mechanisms (e.g., Trocq), and the formal verification of advanced mathematical results such as the irrationality of ζ(3) and the unsolvability of the quintic. These works demonstrate a consistent emphasis on foundational rigor, automation, and scalability in formal proofs. ERC Consolidator Grant: FRESCO (Fast and Reliable Symbolic Computation) Advising and Grants: Mahboubi supervises PhD students including Enzo Crance, Martin Baillon, and postdoc Matthieu Piquerez. She leads the FRESCO project funded by an ERC grant, supporting research in symbolic computation and formal verification. Team Affiliation: She is a core member of the Gallinette team at Inria, which focuses on the intersection of proofs and programs, promoting the development of reliable and verifiable software and mathematical systems.

• Health Informatics
• Data Science
• Artificial Intelligence in Healthcare
• +۷ مورد دیگر

Audrey Naledi Masizana is a Senior Lecturer in the Department of Computer Science at the University of Botswana, where she has served as Head of Department. She is currently an International Scholar with the Center for Global Health, engaged in data science training and research in healthcare. Her work is closely aligned with global health initiatives, particularly through collaborations with CHOP, the Botswana-UPenn Partnership, and the Ministry of Health in Botswana. Her research interests lie at the intersection of computer science and global health, with a strong focus on Health Informatics , Data Science , and Digital Health Solutions . She has pioneered projects in mobile health (mHealth) , healthcare data interoperability , IoT-based monitoring , and AI-driven decision support systems for HIV/AIDS care. Her leadership in the Microsoft Digital Inclusion projects and the establishment of the e-Health Research Unit in 2012 underscores her commitment to leveraging technology for public health impact. The analysis of her recent publications reveals a consistent trajectory in applying computational methods—such as clustering, simulation, and natural language processing—to real-world health challenges, especially in resource-limited settings. Her work emphasizes data usability , accessibility , and interoperability across healthcare systems in Botswana. She has not been awarded any scientific awards mentioned in the text. Audrey Naledi Masizana has led and co-led multiple research projects, including as Principal Investigator on a CHOP-collaborated study evaluating healthcare data flow in Botswana. She has not received any grants explicitly mentioned, but her project leadership indicates secured funding. She mentors students and researchers through her role in the e-Health Research Unit and her academic position, though specific advisees are not listed. She is actively involved in the e-Health Research Unit at the University of Botswana, which fosters collaboration with NGOs and government agencies. Her team works on themes including data warehousing, mining, IoT, and interoperability, aiming to improve clinical decision-making and healthcare delivery through digital innovation.

• Transparent and Reliable AI
• Precision Biomedicine
• Personalized Healthcare
• +۴ مورد دیگر

Dr. Tapabrata Chakraborty is a Principal Research Fellow at University College London (UCL) Cancer Institute and an Honorary Associate Professor in UCL's Department of Medical Physics and Biomedical Engineering. He serves as Lead Tutor for Information Engineering at the University of Oxford's Engineering Science Department and is a non-stipendiary Fellow of Linacre College, Oxford. As Theme Lead for the Alan Turing Institute's partnership with Roche, he drives advancements in transparent AI for precision healthcare. He is an invited expert on Responsible AI with the Global Partnership on AI (GPAI) and an Associate Editor for Springer Nature Computer Science . His research focuses on developing reliable AI systems for biomedicine, particularly leveraging multimodal data (imaging, clinicogenomics) in cancer research. He emphasizes explainable AI mechanisms, personalized uncertainty quantification, and ethical AI governance. His work has led to tools like 2dSpAn-Auto for spine analysis and frameworks like Pan-Ret for retinal disease detection. Education: PhD (details unspecified) Key Roles: Turing-Roche Partnership Lead, GPAI Advisor, HEA/IET Fellow His publications highlight breakthroughs in medical AI, including uncertainty quantification and multimodal data fusion. He advocates clinician-AI collaboration and policy-driven AI safety. Current projects include fair AI for skin lesion classification and drug discovery via synthetic data generation. Awards: HEA Fellowship, IET Fellowship Team Leadership: Oversees early-career researchers at Turing/UCL

• Spatial Cognition
• Cognitive Psychology
• Memory
• +۷ مورد دیگر

Holly A. Taylor is the Moses Hunt Professor of Psychology at Tufts University, with a secondary appointment in Mechanical Engineering. Since joining Tufts in 1994, she has co-directed the Center for Applied Brain & Cognitive Sciences and led the Tufts Spatial Cognition Lab . Her work bridges cognitive psychology, spatial cognition, and human performance optimization. PhD, Cognitive Psychology, Stanford University (1992) BA, Mathematics/Statistics, Dartmouth College (1987) Research Focus Dr. Taylor’s research explores mental representations of spatial and environmental information, comparing learning via maps versus direct navigation. Key themes include: Spatial Cognition : Navigation, memory, and visualization Spatial Language : Directions and descriptions Stress & Cognition : Emotion’s impact on decision-making STEM Applications : Spatial training for education Human Factors : Technology’s role in cognition Publications & Grants Her recent articles (2020–2025) analyze navigation aids, metacognition, and stress effects. She has secured U.S. Army grants since 2014, focusing on applied brain and cognitive sciences. The lab actively trains students and emphasizes real-world applications in education, military operations, and urban design.

Debra K. Borkovitzمشاهده پروفایل

استاد بالینی

• Mathematics Education
• Teaching Methodologies
• Mastery Grading
• +۳ مورد دیگر

Debra K. Borkovitz is a Clinical Professor of Mathematics and Mathematics Education at Boston University. Her office is located in CDS 425. She is committed to innovative teaching methodologies, including mastery grading and ungrading, and advocates for inclusive educational policies accommodating students with chronic illnesses. Her research and writing focus on mathematics pedagogy, fraction operations, and the integration of technology in education. Dr. Borkovitz’s work emphasizes compassionate approaches to syllabus design and classroom management. She has explored challenges faced by educators and students with health issues, advocating for supportive academic environments. Her contributions include developing resources for fraction education, critiquing educational technologies, and creating engaging geometric visualizations through animations and interactive applets. Her publications span topics such as MOOCs in programming education, chronic illness management in academia, and problem-solving strategies in mathematics. She has also shared insights on adapting teaching practices during personal health challenges and fostering student engagement through creative methods. No scientific awards are listed for Dr. Borkovitz. Her advising and grant activities are not detailed in the available information. She maintains an active blog and has contributed to educational resources, including handouts on syllabus policies and fraction-based learning activities.

John S. Hutchinsonمشاهده پروفایل

استاد

• Theoretical Chemical Physics
• Computational Vibrational Dynamics
• Chemical Education Research
• +۳ مورد دیگر

John S. Hutchinson is a Professor of Chemistry and Associate Chair for Undergraduate Studies at Rice University. His academic career spans over 40 years, including roles as Dean of Undergraduates (2010-2018), Associate Vice President for Student Affairs, and residential college faculty master. He earned his B.S. and Ph.D. from the University of Texas, where his doctoral work was recognized as Outstanding Dissertation in 1981. Hutchinson specializes in theoretical chemical physics, focusing on vibrational dynamics of reactive molecules, and chemical education research emphasizing active learning and constructivist approaches. His textbook Concept Development Studies in Chemistry is a cornerstone of interactive teaching methods. His research has been supported by NSF, Welch Foundation, and other organizations. He has advised 8 doctoral and 3 master’s students. Hutchinson has pioneered innovations in general chemistry instruction, including online resources and teacher training programs. He has received prestigious accolades including multiple George R. Brown Awards for Teaching Excellence, the Piper Professor recognition, and the George R. Brown Certificate of Highest Merit. Beyond academia, he is a folk guitarist and avid hiker in Colorado. Key contributions include advancing active learning methodologies, developing inquiry-based laboratory systems, and creating scalable teacher professional development programs using distance learning. His work bridges theoretical chemistry with practical educational advancements, impacting both undergraduate STEM education and science teacher preparation nationwide.

Francesca Lagioiaمشاهده پروفایل

عضو هیئت علمی

• Computable law
• Artificial intelligence and the law
• Human rights
• +۸ مورد دیگر

Francesca Lagioia is a Part-time Professor at the Department of Law , European University Institute. Her research focuses on the intersection of law, technology, and artificial intelligence, particularly examining algorithmic fairness, legal argumentation, and digital rights. Works on AI ethics and legal accountability Investigates privacy, surveillance, and consumer protection Engages in cross-jurisdictional legal analytics Develops computational models for judicial decision analysis Recent publications analyze algorithmic bias in criminal justice systems, predictive models for tax law outcomes, and argumentation schemes in judicial reasoning. Her work combines legal scholarship with computational methods to address challenges in digital transformation and democratic governance. Lagioia collaborates extensively with researchers in legal informatics and AI ethics. She has contributed to studies on judicial decision prediction and legal causality modeling, working with interdisciplinary teams across Europe.

Ruzica Piskacمشاهده پروفایل

استاد

• Software Verification
• Security and Applied Cryptography
• Automated Reasoning
• +۴ مورد دیگر

Ruzica Piskac is a Professor of Computer Science at Yale University, where she leads the Rigorous Software Engineering (ROSE) group. She has made significant contributions to the fields of software verification, security, automated reasoning, and code synthesis, focusing on improving software reliability and trustworthiness through formal techniques. Dr. Piskac received her PhD from the Swiss Federal Institute of Technology (EPFL) in 2011, where her dissertation won the Patrick Denantes Prize. Prior to joining Yale, she led an independent research group at the Max Planck Institute for Software Systems in Germany (2012-2013). Her research spans several key areas: symbolic execution for Haskell (G2), privacy-preserving formal methods (PPFM), functional reactive synthesis, verification of configuration files, and analysis of software updates. Her work consistently bridges theoretical formal methods with practical applications in real-world systems. Dr. Piskac's recent publications demonstrate a strong trend toward applying formal verification techniques to emerging challenges including large language models, quantum computing security, legal accountability of automated systems, and cyber-physical systems. Her research increasingly intersects with AI, cryptography, and legal domains while maintaining strong foundations in formal methods. Her scientific achievements have been recognized with numerous prestigious awards: Multiple Amazon Research Awards Yale University's Ackerman Award for Teaching and Mentoring Facebook Communications and Networking Award Microsoft Research Award for the Software Engineering Innovation Foundation (SEIF) Patrick Denantes Prize for her PhD dissertation Dr. Piskac has graduated five PhD students, four of whom have gone on to become assistant professors of computer science. She has served as Program Chair of the 37th International Conference on Computer Aided Verification and is on the Steering Committee of the Formal Methods in Computer-Aided Design conference. She leads the Rigorous Software Engineering (ROSE) group at Yale, which focuses on several key projects including: Symbolic Execution Engine for Haskell (G2) Privacy Preserving Formal Methods (PPFM) Functional Reactive Synthesis Verifications for Configuration Files Analysis of Software Updates and Configuration Files

• Digital Dentistry
• CAD/CAM Technology Integration
• Dental Education Curriculum Development
• +۲ مورد دیگر

Stephen Dunn serves as a Lecturer within the Dental School at the University of Glasgow, actively contributing to dental education through innovative technology integration. His work focuses on modernizing dental curricula with digital workflows and CAD/CAM systems. His research interests center on digital dentistry education, particularly the implementation of CAD/CAM technology in pre-clinical training and curriculum development. Dunn pioneers staff-student partnerships to co-create e-learning resources and integrate digital workflows into professional dental programs, addressing challenges in technology adoption and conceptual understanding of removable partial denture design. Dunn's publication record demonstrates consistent exploration of digital dental education trends since 2019, with increasing emphasis on collaborative curriculum innovation and student-centered digital resource development. His recent 2024-2025 work highlights strategic approaches to digital workflow integration in professional degree programs. No scientific awards were documented in the provided materials Dunn frequently collaborates with Robert McKerlie and other dental education specialists on technology-enhanced learning initiatives. His work involves partnerships with students to develop educational resources and implement digital workflows, though specific grant details are not provided in the source material. His research activities are centered within the University of Glasgow Dental School's educational innovation ecosystem, focusing on practical implementation of digital dentistry tools within teaching environments through conference presentations and collaborative projects.

Stavros Tripakisمشاهده پروفایل

دانشیار

• Formal Methods
• Computer-Aided Verification and Synthesis
• Safety-Critical Systems
• +۴ مورد دیگر

Stavros Tripakis is an Associate Professor at the Khoury College of Computer Sciences at Northeastern University , where he joined in 2018. He is on sabbatical during the 2024-2025 academic year. His research focuses on the foundations of software and system design , emphasizing formal methods , computer-aided verification and synthesis, with applications to safety-critical, embedded, and cyber-physical systems, security, and trustworthy AI. He leads a group developing theory and tools for designing better systems. Recent publications explore distributed protocol synthesis, neural network verification, and inductive invariant inference, reflecting trends in formal methods for AI and distributed systems. His work often intersects with automated reasoning, model checking, and tool development. Scientific awards include the Distinguished Artifact Award at TACAS 2018 for the Refinement Calculus of Reactive Systems (RCRS) toolset. He advises Derek Egolf , Daniel Melcer , and William Schultz (graduated 2025). Former postdocs include Rômulo Meira-Góes (now Penn State) and Eunsuk Kang (now CMU). Current projects include the NSF FMitF grant (2023-2027) on safe multi-agent reinforcement learning and the NSF SaTC grant (2018-2022) on protocol design.

Olga Kostopoulouمشاهده پروفایل

استاد

• Medical Decision Making
• Cognitive Psychology
• Clinical Judgment
• +۶ مورد دیگر

Olga Kostopoulou is a Reader in Medical Decision Making at Imperial College London's Department of Surgery & Cancer, Faculty of Medicine. She specializes in applying cognitive psychology to healthcare decisions, focusing on clinical judgment in primary care, surgery, and diagnosis. Her research addresses diagnostic errors, decision support systems, and the impact of algorithms on clinical decisions. She has secured significant funding from Cancer Research UK and the EU, leading projects like the TRANSFoRm initiative. She is an Associate Editor of Medical Decision Making and Frontiers in Cognition , and leads the Decision Psychology Research Group. Olga's education includes a PhD and MSc from Cardiff University, and a Bachelor's from the National and Kapodistrian University of Athens. She has held academic positions at King's College London and the University of Birmingham. Her work spans over 20 years, with notable grants such as the CRUK project on cancer risk algorithms (2020–2024) and the EU-funded TRANSFoRm program (2010–2015). She has supervised three PhD students and examined numerous others across UK and international institutions. Her research interests include diagnostic support systems, predecisional information distortion, and the role of cognitive factors in medical decisions. She is affiliated with the Institute of Global Health Innovation, the Patient Safety Translational Research Centre, and the Centre for eXplainable Artificial Intelligence (XAI). Her recent articles explore AI in healthcare, antibiotic prescribing behavior, and collective intelligence in diagnostics. Olga has served as President of the Society for Medical Decision Making (2021–2022) and held leadership roles in international committees. She advocates for integrating behavioral science into healthcare policy, particularly in combating antimicrobial resistance and improving learning health systems.

Thomas Williamsمشاهده پروفایل

دانشیار

• Human-Robot Interaction
• Natural Language Processing
• Artificial Intelligence
• +۳ مورد دیگر

Thomas Williams is an Associate Professor of Computer Science at the Colorado School of Mines, where he directs the MIRRORLab (Mines Interactive Robotics Research Lab). He earned his PhD in Computer Science and Cognitive Science from Tufts University in 2017. His educational background includes: BA in Computer Science, Hamilton College, 2011 MS in Computer Science, Tufts University, 2013 PhD in Computer Science: Cognitive Science, Tufts University, 2017 Williams' research focuses on artificial intelligence for human-robot interaction, especially natural language understanding and generation in uncertain environments. His work integrates cognitive science principles from linguistics and psychology to develop context-aware robotic systems. Key areas include Human-Robot Interaction, Natural Language Processing, Robot Ethics, and Augmented Reality, with emphasis on ethical implications and social dynamics in human-robot communication. Analysis of his publications (2015-2020) reveals a clear trajectory toward context-sensitive dialogue systems that handle ambiguity, social norms, and ethical considerations. His work increasingly explores multimodal interaction through AR/VR and examines how language-capable robots influence human moral frameworks, with growing attention to gender dynamics and noncompliance behaviors in social robotics. His notable awards include: New and Future AI Educator Award, EAAI (2017, 2018) Teaching Fellowship, Tufts Graduate Institute for Teaching (2015) Doctoral Consortia participation at YRRSDS (2014), HRI (2015), and AAAI (2016) Williams teaches Human-Robot Interaction, Robot Ethics, and Computer Vision courses while leading externally funded research. His work receives support from NSF, ONR, ARL, and Early Career awards from NSF, NASA, and AFOSR, focusing on grants that advance context-aware natural language interaction in robotics. As director of the MIRRORLab, he oversees research on human-robot interaction systems that dynamically adapt to environmental, cognitive, social, and moral contexts, with applications in assistive robotics and collaborative workspaces.

Alan Huمشاهده پروفایل

استاد

• Formal Verification
• Algorithms
• Computer Architecture
• +۳ مورد دیگر

Alan Hu is a Professor in the Department of Computer Science at the University of British Columbia (UBC), part of the Faculty of Science. His research focuses on formal verification, algorithms, computer architecture, and electronic design automation. He teaches courses such as Intermediate Algorithm Design and Analysis (CPSC 320) and Introduction to Formal Verification and Analysis (CPSC 513). Dr. Hu has received notable awards, including the IEEE Council on Electronic Design Automation Outstanding Service Award and the IBM Faculty Award. His work emphasizes scalable verification techniques, SAT-based algorithms, and optimization in cloud computing and hardware systems. His research spans formal methods for hardware/software systems, including verification of embedded software, cache coherence, and network function virtualization. Notable contributions include advancements in SAT modulo theories, data race detection in heterogeneous systems, and cloud resource allocation frameworks like Cospot. Dr. Hu has been actively involved in teaching and curriculum development, consistently offering courses on algorithms, formal verification, and software design since 2000. His publications reflect a blend of theoretical foundations and practical applications in electronic design, cloud infrastructure, and verification tools. His scientific achievements include innovations in post-silicon validation, emulation-based coverage reduction, and formal analysis for debug trace optimization. He also contributes to the academic community through conference organization and editorial roles in formal verification and computer-aided design.

• Physics Education Research
• Teaching Methodologies in STEM
• Conceptual Understanding in Physics
• +۳ مورد دیگر

Claudio Fazio is a Full Professor in the Department of Physics and Chemistry at the University of Palermo. His academic focus lies in physics education research, particularly in innovative teaching methodologies, active learning strategies, and overcoming student misconceptions in physics. He actively engages in designing inquiry-based learning experiences and leveraging technology (e.g., smartphones, AR/VR, simulations) for effective STEM education. Research interests include conceptual understanding in mechanics, thermodynamics, and relativity, with a strong emphasis on pedagogical tools like cluster analysis to evaluate student reasoning patterns. He has pioneered low-cost experimental setups and open-inquiry approaches to enhance learning outcomes, especially in engineering and teacher training programs. Professor Fazio’s work addresses challenges in remote education, pandemic-era pedagogy, and integrating contemporary technologies (e.g., Moodle, MATLAB) into curricula. His contributions span K-12 teacher preparation through university-level educational innovation, emphasizing interdisciplinary collaboration and evidence-based practices.