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

Charan Ranganathمشاهده پروفایل

استاد

• Human Memory
• Executive Control
• Neuroimaging
• +۷ مورد دیگر

Charan Ranganath is a Professor in the Department of Psychology at the University of California, Davis, and director of the Dynamic Memory Lab. He is affiliated with the UC Davis Center for Neuroscience and the Center for Mind and Brain, focusing on human memory and executive control using neuroimaging, electrophysiology, and behavioral methods. His research explores the neural basis of memory, including roles of the prefrontal cortex, medial temporal lobes, and hippocampus in working and long-term memory. Education: Ph.D., Clinical Psychology, Northwestern University M.S., Clinical Psychology, Northwestern University B.A., Psychology, University of California, Berkeley Ranganath’s research spans hippocampal-cortical interactions, curiosity-driven memory enhancement, schizophrenia-related memory deficits, and computational models of memory systems. His work reveals overlapping prefrontal and medial temporal lobe activity in memory tasks and investigates how stress, aging, and neuromodulation affect memory dynamics. His research trends emphasize episodic memory , relational memory , neural oscillations , cortico-hippocampal networks , curiosity-driven learning , and clinical applications in mental illness. Scientific Awards: Guggenheim Fellowship Leverhulme Trust Visiting Professorship Laird Cermak Award Samuel Sutton Award Chancellor’s Fellow award Young Investigator Award (Cognitive Neuroscience Society) National Security Science and Engineering Faculty Fellowship (2015) He has secured grants from the Department of Defense, National Institute of Mental Health, and private foundations. His lab collaborates with Andy Yonelinas on recognition memory and with others on field potentials in hippocampal studies. He teaches Human Learning, Cognitive Neuroimaging, and Current Research in Psychology.

Lars-Henrik Erikssonمشاهده پروفایل

مدرس ارشد

• Formal Methods
• Logic in Computer Science
• Programming Language Theory
• +۷ مورد دیگر

Lars-Henrik Eriksson is a Senior Lecturer in the Department of Computer Science at Uppsala University, part of the Department of Information Technology. He holds a PhD and is recognized as an Excellent Teacher and educational mentor. He currently serves as the program director for the Master's program in Computer Science and has previously held leadership roles, including Head of the Department of Computer Science from 2004 to 2018. PhD in Computer Science Excellent Teacher Award Pedagogical Mentor at Uppsala University His research focuses on the applications of logic in computer science, particularly formal methods for software development. His work spans formal specification, verification, and synthesis, with strong emphasis on logic programming, interactive theorem proving, and logical frameworks. He has made significant contributions to the use of formal methods in safety-critical domains such as railway signaling. His current research includes modeling application domains within formal methods and formalizing concurrency theory using the Isabelle proof assistant. The recent publications reflect a sustained focus on modal logics for nominal transition systems, formal verification tools (e.g., GTO), and domain-specific applications of formal methods. These works demonstrate deep integration of theoretical logic and practical software engineering, especially in distributed and safety-critical systems. The recurring themes include concurrency, verification, and the use of domain models to enhance formal reasoning. Scientific Awards and Recognitions: Excellent Teacher Pedagogical Mentor Lars-Henrik Eriksson has advised numerous students through project supervision, thesis reviews, and course mentorship, though no formal list of advisees is provided. He has been involved in significant research management, including leading the department and directing a master’s program. He has also collaborated with industry, particularly in railway signaling, contributing to safety analysis and formal verification projects with Trafikverket and through companies he co-founded. He is a board member of Formal Methods Europe and served as program committee chair for the FME Symposium 2002 (part of FLoC’02). His work bridges academia and industry, especially in the application of formal methods to real-world engineering challenges.

Akhilesh Kumarمشاهده پروفایل

استادیار

• Hematopoietic Stem Cell Biology
• T Cell Development
• Cancer Immunotherapy
• +۳ مورد دیگر

Akhilesh Kumar, PhD, serves as an Assistant Professor in the Department of Medicine at the University of Minnesota Medical School, specializing within the Division of Hematology, Oncology & Transplantation. His academic appointment bridges regenerative medicine and oncology, focusing on the development of novel cellular therapies through stem cell engineering and immunological research. Dr. Kumar's research program centers on hematopoietic stem cell differentiation, with particular emphasis on T cell and natural killer cell development from pluripotent stem sources. His work investigates molecular regulators like BCL11B in lymphoid specification and explores therapeutic targets such as DLL3 in neuroendocrine tumors. Current projects include engineering multi-antigen targeting cellular therapies for thoracic cancers and multiple myeloma, generating vasculogenic cell populations for regenerative applications, and enhancing natural killer cell function through metabolic modulators like nicotinamide. This research integrates stem cell biology, immunology, and translational oncology to address unmet needs in cancer treatment. Analysis of Dr. Kumar's recent publications (2023-2025) reveals a strong translational focus with significant contributions to hematopoietic development and cancer immunotherapy. His team has pioneered methods for arterial hemogenic endothelium production, elucidated transcription factor networks in blood cell specification, and advanced clinical applications including NK cell therapy for lymphoma. The work demonstrates interdisciplinary reach, spanning from basic mechanisms of lymphoid development to computational approaches in drug delivery and building aerodynamics, reflecting collaborative efforts across engineering, computational biology, and clinical oncology domains.

• Philosophy of Science
• Cognitive Science
• Artificial Intelligence
• +۶ مورد دیگر

Francesco Bianchini is an Associate Professor of Logic and Philosophy of Science at the University of Bologna's Department of Philosophy and Communication Studies. He serves as the scientific coordinator of the Knowledge and Cognition Research Center. His research focuses on artificial intelligence, cognitive science, and the philosophy of science, with emphasis on simulative cognitive modeling, biologically inspired architectures, and analogical reasoning. He holds a PhD in Philosophy from the University of Bologna (2007) and has held academic roles since 2008, including Senior Assistant Professor (2016–2019) and Junior Assistant Professor (2013–2016). Education includes a first-class degree in Philosophy (2001) and a specialization in History and Philosophy education (2003). His work bridges theoretical philosophy, ethics, and empirical studies, addressing topics like AI's ethical dimensions, cognitive architecture design, and historical perspectives on scientific thought. He coordinates university initiatives in AI and interdisciplinary research, such as roles in the ALMA-AI Center and Horizon Europe thematic groups. Research interests span AI philosophy, cognitive modeling, and the epistemology of mind. His articles analyze AI's conceptual foundations, robo-ethics, and the interplay between synthetic biology and artificial systems. Recent work includes studies on generative AI, large language models, and Cartesian influences on cognitive theories. Bianchini’s contributions reflect a commitment to interdisciplinary dialogue, integrating philosophical analysis with scientific methodologies. His articles frequently explore foundational questions about intelligence, knowledge representation, and the societal implications of emerging technologies.

Marie-Hélène Guayمشاهده پروفایل

دانشیار

• Educational Leadership
• Action Research
• School Leadership Development
• +۳ مورد دیگر

Marie-Hélène Guay serves as Associate Professor and Department Director of the Department of Educational Management and Training within the Faculty of Education at Université de Sherbrooke. Her leadership extends to directing the graduate microprogram for school board general directors' professional integration, demonstrating her central role in Quebec's educational leadership development. Her educational foundation includes a Doctorate in Education (2004) and Master's in Education (1996) from Université du Québec à Montréal, a Bachelor's in Teaching (1993) from Université Laval, and Management Coaching Certification (2013) through Convivium and New Ventures West. Guay specializes in educational leadership development through action research methodologies, focusing on cultivating conscious professional action among school leaders. Her work examines epistemological foundations of educational research while developing practical frameworks for school general directors. She investigates mentoring systems, professional well-being in complex educational environments, and knowledge mobilization strategies for leadership consolidation. Her approach integrates theoretical rigor with practical application to transform school leadership practices across Quebec. Recent publications (2021-2025) reveal consistent focus on Quebec school leadership development, particularly through longitudinal action research with the Association des directions générales scolaires du Québec (ADGSQ). Her work demonstrates evolving methodology from framework development (2020-2022) to implementation support (2022-2025) and individual mentoring (2025-2028), with recurring themes of professional consciousness, organizational well-being, and context-specific leadership adaptation. Guay directs significant research initiatives including an 8-year ADGSQ partnership (2020-2028) defining school leadership frameworks, a 2025-2026 study on practitioner-researcher professional action, and previous projects on intervention response models (2015-2017) and pedagogical differentiation (2005-2008). Her funding sources include Québec's Ministry of Education and Université de Sherbrooke's pedagogical innovation funds, reflecting strong institutional support for her work on school leadership development and organizational transformation. She collaborates extensively with Brigitte Gagnon and other researchers across Quebec school boards, forming a dedicated team advancing educational leadership through practitioner-researcher partnerships. Their work directly impacts school board practices through implemented frameworks, professional development resources, and mentoring systems currently transforming leadership approaches in Quebec's educational system.

Sergey Avrutinمشاهده پروفایل

استاد

• Comparative Psycholinguistics
• Language Acquisition
• Neurolinguistics
• +۷ مورد دیگر

Prof. Sergey Avrutin is a Professor of Comparative Psycholinguistics at Utrecht University's Department of Languages, Literature and Communication, within the College of Humanities. His research integrates information theory into language processing studies, focusing on typically and atypically developing children, adults, and individuals with aphasia. He previously led the NWO-sponsored PIONEER research program (2000-2005) and current projects explore rule induction from partially ordered input and entropy-driven models. Prof. Avrutin has held academic roles such as Research Leader, Promoter, and Executor across multiple NWO and EU-funded projects. His research spans syntax-discourse interface, language acquisition disorders, bilingualism diagnostics, and special registers like headlines and TV commentary. He collaborates with international institutions including Berlin's Zentrum für Allgemeine Sprachwissenschaft and Russia's Herzen State Pedagogical University. His teaching includes courses on Cognitive Science, Language and Law, and the Syntax-Discourse Interface. Recent work highlights contributions to understanding lexical access in aphasia, the role of prosody in anaphora resolution, and statistical learning mechanisms. His articles and projects reflect a focus on interdisciplinary methods, combining experimental and theoretical approaches to linguistic phenomena.

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

مدرس

• Computer Science
• Algorithms
• Computational Art
• +۷ مورد دیگر

Michael Wehar is a Lecturer in Computer Science at Bryn Mawr College , where he teaches Introductory Programming Courses. He is a multidisciplinary researcher and developer with a focus on algorithms , computational art , and software engineering , creating innovative tools that bridge computer science with creative applications. Co-founder of AlgoArt.org , a platform for algorithmic art creation and exhibition Creator of Word of The Hour , a multilingual vocabulary learning platform Co-developer of Treegle Dictionary , a structured definition platform His research spans computational complexity, human-computer interaction, and educational technology. Key areas include: Algorithmic Art : Generative design systems, interactive visualizations Pattern Matching : Matrix algorithms, Voronoi diagrams, formal verification Language Technology : Multilingual dictionaries, crowdsourced translation systems Educational Tools : Git repository analysis, interactive learning platforms His 15 most recent publications focus on topics ranging from 2D pattern matching to ETH-based complexity lower bounds , with significant contributions to automata theory and algorithm design. He has received academic recognition including the Best Faculty Poster at CCSC:EA 2022 and Honorable Mention at IFoRE 2022 . As a dedicated mentor, he has guided over 100 students across institutions like Swarthmore College, Temple University, and University at Buffalo in projects spanning: Web development frameworks AI applications in art and education Mobile productivity tools Language learning platforms Game development projects

Nina Tahmasebiمشاهده پروفایل

استاد

• Computational Lexical Semantic Change Detection
• Data Science for the Humanities
• Natural Language Processing (NLP)
• +۳ مورد دیگر

Nina Tahmasebi is a Professor at the University of Gothenburg, affiliated with the Department of Linguistics and Theory of Science. Her research focuses on computational methods for studying lexical semantic change, particularly through projects like the 6-year RJ-funded 'Change is Key!' initiative. She leads interdisciplinary teams collaborating with institutions such as the University of Lund and Queen Mary University of London. Her work bridges computational linguistics and the humanities, emphasizing data science applications in historical text analysis, sentiment lexicon creation, and argument mining at Språkbanken . Her research interests include developing robust evaluation frameworks for semantic change detection, leveraging AI and NLP for humanities research, and improving accessibility of historical parliamentary data. She teaches statistics for humanities researchers and leads study circles on data science applications in the field. Key contributions include the DWUGs dataset for multilingual semantic change analysis, the DURel annotation tool, and frameworks like TRoTR for evaluating text reuse. Her publications span semantic shift detection, word sense induction, and benchmarking Swedish language models (e.g., Superlim). Advising and grants involve leading teams of researchers and engineers on EU and national grants. She collaborates with the Center for Digital Humanities (CDH) and contributes to Swedish NLP infrastructure through initiatives like SentSALDO and parliamentary data enhancement projects.

Matthieu Sozeauمشاهده پروفایل

پژوهشگر

• Type Theory
• Proof Assistants
• Functional Programming
• +۳ مورد دیگر

Matthieu Sozeau is a Researcher at Inria , leading the MetaCoq project and contributing to the Coq proof assistant. He serves on program committees for conferences like POPL 2025 and ICFP 2024 , with a focus on mechanized metatheory and certified extraction. Research Interests : Type Theory, Proof Assistants, Functional Programming, Unification Key Contributions : Coq 8.5/8.19 kernel features, Equations plugin, CertiCoq verified compiler, MetaCoq formalization His recent work includes sort polymorphism for proof assistants, verified OCaml extraction , and soundness proofs for Coq's type system. He has received ACM Software System Award for Coq and distinguished paper awards at ICFP and PLDI. Actively involved in teaching proof assistants at MPRI and Coq Andes Summer School , he drives the evolution of Coq through formal verification and type system enhancements.

Karin Lindqvistمشاهده پروفایل

استادیار

• Psychodynamic Therapy
• Internet-Delivered Psychological Treatments
• Adolescent Mental Health
• +۳ مورد دیگر

Karin Lindqvist is an Assistant Professor at Stockholm University 's Department of Psychology , leading the Stockholm University research group for Process and Outcome in Psychodynamic therapies (SU-POP) . Her research explores internet-delivered psychodynamic therapy (IPDT) for adolescent depression , focusing on therapeutic alliance dynamics , emotion regulation mechanisms , and comparative treatment efficacy between IPDT and internet-based cognitive behavioral therapy (ICBT). Key research contributions include: Process-Outcome Analysis in IPDT through the TRAbee project (n=2400), comparing transdiagnostic approaches Therapeutic Relationship Formation in text-based interventions, revealing four key themes in adolescent experiences Emotion Regulation Mediation models demonstrating alliance-outcome relationships in digital therapies Dismantling Treatment Components to identify active ingredients in adolescent IPDT Her 2023-2021 publications (15 articles) span: Mechanisms in IPDT (psychodynamic techniques, emotional processing) Therapeutic Alliance (text-based communication, personal address) Treatment Structure Optimization (module completion rates, duration comparisons) Negative Effect Monitoring (symptom exacerbation, dependency risks) International Adaptation (English-language IPDT implementation) Methodological Innovations (cross-lagged modeling, psychometric evaluation) Current projects include ISTDP-G group therapy for complex psychiatric cases and Mentalizing Skills training for mental health staff.

Debra Worthingtonمشاهده پروفایل

استاد

• Effective Listening
• Communication
• Metacognitive Strategies in Listening
• +۶ مورد دیگر

Debra Worthington serves as Professor and Director of the School of Communication & Journalism at Auburn University. With over 30 years of experience in communication scholarship and teaching, she has established herself as a leading expert in listening research, juror decision-making, and communication education. Her educational background includes a PhD from the University of Kansas, an MA from Wichita University, and a BA from Auburn University. Dr. Worthington has been instrumental in advancing the field of listening research through her scholarly contributions and leadership roles. PhD, University of Kansas MA, Wichita University BA, Auburn University Dr. Worthington's research primarily focuses on effective listening, communication metacognitive strategies, legal communication, and juror decision-making processes. She has made significant contributions to understanding how listening functions in various contexts, particularly in courtroom settings and mediated environments. Her work has established foundational frameworks for measuring and assessing listening behaviors and competencies. Her recent publications demonstrate a continued focus on listening theory and application across diverse contexts, including community engagement, peacebuilding, organizational settings, and digital communication environments. The trajectory of her research shows a progression from juror decision-making to broader applications of listening theory in educational, organizational, and societal contexts. Dr. Worthington has received numerous prestigious awards recognizing her contributions to the field: Ralph G. Nichols Listening Award Burton Award for Legal Achievement ILA Researcher of the Year Award Induction into the International Listening Association's Hall of Fame (2017) She has secured multiple research contracts and grants from public and private organizations and served as past president of the International Listening Association. Dr. Worthington has also authored or co-authored several influential books, including multiple editions of "Listening: Processes, Functions and Competency" and "The Sourcebook of Listening Research: Methodology and Measures." Her teaching portfolio includes courses on small group communication, persuasive discourse, health communication, legal communication, and interpersonal communication.

• Proof Assistants
• Formal Verification
• Inductive and Coinductive Datatypes
• +۱۲ مورد دیگر

Andrei Popescu is a Senior Lecturer (Associate Professor level) in the Department of Computer Science at the University of Sheffield, where he conducts research in formal methods, proof assistants, and information flow security. He previously held academic positions at Middlesex University and TU Munich. University: University of Sheffield Department: Department of Computer Science Previous Affiliations: Middlesex University, TU Munich His research focuses on the logical foundations and practical applications of proof assistants, particularly Isabelle/HOL. He has made foundational contributions to inductive and coinductive datatypes, syntax with bindings, higher-order logic, and the formal verification of secure systems. His work bridges theoretical logic with real-world systems such as conference management (CoCon) and social media platforms (CoSMeDis). The recent publications highlight a strong trend in formalizing deep logical results (e.g., Gödel’s incompleteness theorems), advancing datatype theory, verifying complex security properties, and applying formal methods to practical systems. His work consistently appears in top-tier venues such as POPL, CAV, ITP, and CSF. Distinguished Paper Award at POPL 2025 Distinguished Paper Award at POPL 2024 Distinguished Paper Award at POPL 2023 RS 3 Best Paper Award for 2012–2013 He has advised PhD students including Lorenzo Gheri and has been actively involved in organizing major academic events such as the Midlands Graduate School, CPP, ITP, and TABLEAUX conferences. He has served on numerous program committees including POPL, ITP, CSF, and CAV, and has led research projects funded by VeTSS and industrial partners. He is a key contributor to the Isabelle proof assistant ecosystem, particularly in the development of the (co)datatype package and foundational consistency results. His work combines deep theoretical insight with practical implementation, making significant impacts in both academia and applied security.

Leonidas Lampropoulosمشاهده پروفایل

استادیار

• Programming Languages
• Software Engineering
• Formal Verification
• +۵ مورد دیگر

Leonidas Lampropoulos is an Assistant Professor of Computer Science at the University of Maryland, with an appointment in the University of Maryland Institute for Advanced Computer Studies (UMIACS). He leads research in Programming Languages and Software Engineering, focusing on formal verification, proof assistants, and scalable software development methodologies. His work addresses challenges in formalizing security properties, optimizing proof workflows, and advancing verified software for critical systems like distributed systems and autonomous vehicles. He received the NSF CAREER Award in 2022 and co-led a $540K NSF-funded project (2021) to improve proof engineering tools and protocols. His academic contributions span programming language design, type systems, and testing frameworks, with notable collaborations through the Maryland Cybersecurity Center (MC²). Advised PhD students: Segev Elazar Mittelman, Alperen Keles, Oliwia Kempinski, Jacob Prinz, Finn Voichick. Key honors: NSF CAREER Award (2022), NSF Award for Proof Engineering (2021). Research partnerships: Collaborates with institutions like the University of Texas at Austin on proof assistant scalability. His grants emphasize bridging software engineering practices with formal verification to enhance reliability in large-scale projects. Current efforts include improving proof assistant usability and integrating formal methods into mainstream software development.

J. Edward Swan IIمشاهده پروفایل

استاد

• Augmented Reality
• Virtual Reality
• Applied Perception
• +۵ مورد دیگر

J. Edward Swan II serves as the Interim Associate Dean of Research for the James Worth Bagley College of Engineering (BCoE) at Mississippi State University and holds the prestigious Virginia Carron Eiland and Brent Eiland Professorship in the Department of Computer Science and Engineering. Previously, he served as Interim Department Head in 2017 and 2018. His academic journey includes a B.S. in Computer Science from Auburn University (1989), and M.S. (1992) and Ph.D. (1997) degrees in Computer Science from Ohio State University. Dr. Swan's research primarily focuses on augmented and virtual reality, applied perception, data science, empirical methods, human-computer interaction, human factors, and visualization. His work centers on understanding the perception and technology required to give virtual objects definite spatial locations, including depth and layout perception and depth presentation methods. He also investigates efficient data science tools through his leadership of the Spatial Perception and Augmented Reality Lab (SPAAR Lab) and collaboration with the Data Science for the Social Sciences Laboratory. His recent publications reveal a strong emphasis on depth perception in augmented and virtual reality environments, with particular attention to eye tracking metrics, context switching effects, and x-ray vision applications. His research demonstrates a consistent commitment to empirical methods and human factors analysis, with applications spanning military, medical, and everyday contexts. His work shows increasing sophistication in measurement techniques and experimental design over the years. Induction into the 2024 Class of the VGTC Virtual Reality Academy 2023 VGTC Virtual Reality Service Award 2022 ISMAR Impact Paper Award Best Poster, Honorable Mention award at IEEE Virtual Reality 2020 Winner of an Honorable Mention award at IEEE Virtual Reality 2012 Dr. Swan has successfully mentored numerous graduate students who have gone on to successful careers in academia and industry. His research has been consistently supported by major funding agencies including the National Science Foundation, the Department of Defense, NASA, the Naval Research Laboratory, and the Office of Naval Research. He has organized and taught numerous tutorials at major conferences and serves in leadership roles including chair of the IEEE VR steering committee. His lab culture emphasizes teamwork and the pursuit of intellectual excellence through scholarship of the highest quality.

Alexis Dunn Amoreمشاهده پروفایل

دانشیار بالینی

• Maternal and Child Health
• Perinatal Health Disparities
• Maternal Mortality
• +۷ مورد دیگر

Alexis Dunn Amore, PhD, CNM, FACNM, FAAN, is a Clinical Associate Professor at NYU Rory Meyers College of Nursing. Her work is dedicated to advancing maternal health equity, particularly for Black women, through clinical practice, research, teaching, and advocacy. She is actively involved in national and state-level initiatives to dismantle perinatal health disparities and address systemic racism in midwifery and nursing education. PhD in Nursing - Emory University (2017) Post-Master’s Certificate in Nursing Education - Emory University (2010) MSN in Midwifery - Emory University (2009) BSN in Nursing - University of Tennessee, Knoxville (2005) Dr. Amore's research focuses on maternal health disparities, the impact of racism on birth outcomes, the vaginal microbiome, sleep health during pregnancy, and ethical considerations in maternal mortality research. She investigates how structural and interpersonal bias influence clinical decision-making and maternal outcomes, particularly among vulnerable populations. Her work integrates community-based participatory methods and systems biology approaches to address root causes of maternal morbidity and mortality. Her recent publications highlight trends in racial disparities in cesarean birth, the development of digital interventions like MAMA LOVE to improve maternal outcomes, and consensus-building for maternal health equity in Georgia. She also explores the biological mechanisms linking discrimination, inflammation, and poor sleep to adverse maternal and child health outcomes. Her research bridges clinical practice, public health, and bioethics. Notable scientific awards include: Research Article of the Year, American College of Nurse-Midwives (2022) Fellow, American Academy of Nursing (FAAN, 2021) Emerging Leader in Health and Medicine Fellow, National Academy of Science and Medicine (2020) Excellence in Teaching Award, American College of Nurse-Midwives (2020) Fellow, American College of Nurse-Midwives (FACNM, 2020) Nurse of the Year for Nursing Education, March of Dimes (2018) Dr. Amore has served as a tenure-track assistant professor at Emory University and practiced as a certified nurse-midwife in diverse hospital and community settings. She is currently a Co-Investigator on an NIH/NINR R01 study, 'Biologic Mechanisms of Labor Dysfunction: A Systems Biology Approach,' where she leads the community advisory board. She mentors students and collaborates with community organizations to build resilience in birth communities. She disseminates health information widely through media outlets such as NPR and Fox 5 Atlanta. She is a leader in professional organizations, serving as Vice President of the American College of Nurse-Midwives and actively contributing to committees in the American Academy of Nursing and the American Nurses Association.