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

Xiaoyin Wangمشاهده پروفایل

دانشیار

• Natural Language Processing
• Program Analysis
• Software Engineering
• +۶ مورد دیگر

Xiaoyin Wang is an Associate Professor in the Department of Computer Science at the University of Texas at San Antonio, with affiliations to the College of AI, Cyber and Computing. She previously held a PostDoc position at UC Berkeley's Department of Electrical Engineering and Computer Science. Ph.D. in Computer Science, Peking University (2012) B.Eng. in Computer Science, Harbin Institute of Technology Her research focuses on Natural Language Processing , Program Analysis , Software Engineering , and Software Security . Key sub-areas include: Software migration and compatibility Build system automation Testing and debugging methodologies Privacy policy enforcement in mobile apps Deep learning for software analysis Augmented/Virtual Reality testing Recent publications (2022-2024) emphasize automated oracle prediction for AR/VR testing, data-sensitive analysis, and DevOps toolchain optimization. Trends include: Adaptation of program analysis to immersive environments Privacy-preserving software engineering Empirical studies on testing frameworks Academic accolades include: NSF CAREER Award (2019) President's Research Achievement Award (UTSA, 2019) Multiple best paper awards at ICSE, TOSEM She has advised 7 graduate students, including: Current: Rodney Rodriguez, Xueling Zhang, Sunzhou Huang Graduated: Xue Qin (Villanova), Foyzul Hassan (UM-Dearborn), Shaikh Mostafa (Amazon/Microsoft) Laboratory work involves tools like: TranStrL: Software internationalization Hima: API mapping for framework evolution NetworkProfiler: Android app fingerprinting DOVAR: AR/VR visualization for education Uniloc: CI failure diagnosis

Andrew Beharryمشاهده پروفایل

دانشیار

• Biological Chemistry
• Organic Chemistry
• Cancer Biology
• +۳ مورد دیگر

Andrew Beharry is an Associate Professor in the Department of Chemical & Physical Sciences at the University of Toronto Mississauga. His research focuses on developing small molecule probes for cancer biology, including fluorescent chemosensors for drug resistance assessment and activatable photosensitizers for photodynamic therapy (PDT). His lab integrates chemical synthesis, biochemical assays, and in vivo models to create diagnostic tools and treatment platforms that address limitations of conventional cancer therapies. Education & Training: B.Sc. (Honours) in Chemistry and Biology, York University (2006) Ph.D. in Chemistry, University of Toronto (2012) Postdoctoral Fellow, Stanford University (2013–2016), funded by the Human Frontier Science Program Research Interests: Beharry’s lab bridges chemistry and biology to tackle cancer challenges. Key areas include: Fluorescent Chemosensors: Rapid, accurate assays for anticancer drug resistance mechanisms (e.g., DNA repair enzymes, cell death pathways). Activatable Photosensitizers: Cancer-selective PDT agents that enable real-time imaging and therapy via biomarker activation. Fluorescence-Guided Therapies: Combining PDT with surgical imaging to reduce cancer recurrence. Achievements & Funding: Recipient of NSERC Discovery Grant (2017–2022), Connaught New Researcher Award (2017–2019), and Brain Tumour Foundation of Canada Grant (2021–2023). Over 50 publications in high-impact journals like J. Am. Chem. Soc. , ACS Med. Chem. Lett. , and Biochemistry . Labs & Teams: The Beharry Lab collaborates with institutions globally, focusing on translational research from bench to clinic. Current projects include enzyme-activatable prodrugs and theranostic agents for precision oncology.

William Hallahanمشاهده پروفایل

استادیار

• Formal methods
• Functional languages
• Network systems
• +۳ مورد دیگر

William Hallahan is an Assistant Professor in the School of Computing at Binghamton University. He joined the faculty in August 2022 following his PhD in Computer Science from Yale University (May 2022), where he was advised by Ruzica Piskac. His research focuses on formal methods, functional languages, and network systems, with an emphasis on techniques that simplify code verification and automated reasoning. Education: PhD in Computer Science, Yale University, 2022 BA in Mathematics and Computer Science, College of the Holy Cross Research interests include: Program verification for functional languages Automated debugging and repair systems Network system verification (firewalls, P4 programs) Control plane synthesis for programmable networks Publications highlight contributions to symbolic execution, firewall repair, and P4 verification frameworks. Current research emphasizes developing practical formal techniques to reduce programmer error and improve code reliability. He maintains an active research group with multiple funded PhD positions available starting Spring 2023.

Abigail N. Koppesمشاهده پروفایل

دانشیار

• Bioelectric Medicine
• Neural Engineering
• Biomaterials
• +۷ مورد دیگر

Abigail N. Koppes is an Associate Professor of Chemical Engineering at Northeastern University, with affiliations in Bioengineering and the Cross-College Magnetics Center. Her Advanced Biomaterials for NeuroEngineering Laboratory (ABNEL) focuses on bioelectric medicine, nerve regeneration, and organ-on-a-chip systems for gut-brain axis modeling. She holds a B.S., M.S., and Ph.D. in Biomedical Engineering from Rensselaer Polytechnic Institute (2007-2013). Research interests include developing biomaterials and biophysical interventions (e.g., optogenetics, magnetic stimulation) to engineer neural therapies and recapitulate complex biological systems like the enteric nervous system. Notable projects involve neural-guided repair of spinal injuries, gut-on-a-chip platforms for drug discovery, and chronic inflammation modeling. Koppes has secured NIH Trailblazer and NSF CAREER awards, alongside the Rita Schaffer Young Investigator recognition. Her lab integrates techniques from chemical engineering, materials science, and molecular biology to address disorders such as irritable bowel diseases and neurodegenerative conditions. She mentors PhD students (e.g., Bryan Schellberg, Kyla Kaiser) and leads interdisciplinary grants, including NASA-funded neurovascular systems. Recent work includes modeling Sjögren’s syndrome gut-brain axis dysfunction and exploring long-COVID impacts through organ-chip platforms. Koppes collaborates on PEAK undergraduate research programs and has been featured in media for her contributions to bioelectric medicine and personal insights on long-COVID challenges in academia. The ABNEL lab’s innovations span neural engineering, gut-organoid systems, and magnetic stimulation therapies.

• Gastroenterology
• Gerontology
• Musculoskeletal Health
• +۴ مورد دیگر

Clinical Associate Professor Ross Hansen is affiliated with the Northern Clinical School at the University of Sydney’s Sydney Medical School, within the Faculty of Medicine and Health. His expertise spans gastrointestinal health, geriatric medicine, and musculoskeletal disorders. He has conducted research on postoperative care, body composition in postmenopausal women, and obesity-related health disparities in Aboriginal Australian populations. In terms of research, his work focuses on improving clinical outcomes for patients with conditions like sarcopenia, hip fractures, and spinal cord injuries. He has explored methodologies for measuring muscle mass, symptom profiles in esophageal motility disorders, and the efficacy of biofeedback therapy for gastrointestinal issues. His studies also investigate the relationship between lifestyle factors and digestive health, as well as the physiological effects of hormone therapy and exercise programs in elderly populations. Grants: 2005 : Early exercise program for women following breast cancer surgery (Cancer Council NSW) 2004 : Shoulder rehabilitation following breast cancer surgery (University of Sydney) His research collaborations include teams studying gastrointestinal physiology, sarcopenia’s impact on hip fracture recovery, and nutritional interventions in elderly patients. No academic awards are explicitly listed in the provided texts.

Federica Sarroمشاهده پروفایل

استاد

• Predictive Analytics for Software Engineering
• Search-Based Software Engineering
• Empirical Software Engineering
• +۴ مورد دیگر

Federica Sarro is a Professor of Software Engineering at the Department of Computer Science, University College London (UCL). She leads the SOLAR group, focusing on Predictive Analytics, Search-Based Software Engineering, and Empirical Software Engineering. Her research emphasizes software testing, effort estimation, and app store analysis, with over 70 peer-reviewed publications and collaborations with 20+ institutions worldwide. Her research has been supported by grants including the €2.1M ERC EPIC grant and a £6.8M EPSRC Programme Grant (DAASE). She has supervised numerous PhD students and postdoctoral researchers, including graduated scholars like Afnan Al-Subaihin and William Martin. She is actively involved in program committees and editorial roles, including Associate Editor for ACM TOSEM and IEEE Transactions on Evolutionary Computation. Key achievements include the ACM Distinguished Paper Award (2019), the GECCO-HUMIES Medal (2016), and leadership roles in conferences like ICSE, FSE, and SSBSE. Her work bridges software engineering with machine learning and data analytics, addressing challenges in testing, defect prediction, and agile practices.

Jenny L. Davisمشاهده پروفایل

دانشیار

• Indigenous Language Revitalization
• Queer Indigenous Studies
• NAGPRA & Repatriation
• +۱۳ مورد دیگر

Jenny L. Davis is an Associate Professor at the University of Illinois, Urbana-Champaign in the Department of Anthropology , American Indian Studies Program , and Gender and Women's Studies . As a citizen of the Chickasaw Nation, her work focuses on Indigenous language futurism , Queer Indigenous Studies , and decolonizing research ethics . Her research has been published in leading journals including: Annual Review of Anthropology American Anthropologist Journal of Linguistic Anthropology Award-winning author of Talking Indian (2018) and co-editor of Queer Excursions (2014), she has received: Beatrice Medicine Award (2019) Ruth Benedict Book Prize (2014) Dynamic Woman of the Year - Chickasaw Nation (2021) She leads the NAGPRA & Ethics course, co-chairs the campus NAGPRA Advisory Committee , and directs the Native American and Indigenous Languages (NAIL) Lab , focusing on: Language reclamation technologies Indigenous community partnerships Anti-colonial research frameworks

Gunnar Kratzمشاهده پروفایل

استاد

• Plastic and Reconstructive Surgery
• Wound Healing
• Tissue Engineering
• +۴ مورد دیگر

Gunnar Kratz is a Professor at Linköping University, affiliated with the Department of Biomedical and Clinical Sciences (BKV) and the Division of Surgery, Orthopedics and Oncology (KOO). He is part of the Wallenberg Centre for Molecular Medicine (WCMM), focusing on medicine-technology interfaces in medical technology, materials science, and bioengineering. His research spans plastic and reconstructive surgery, wound healing mechanisms, antimicrobial treatments, and tissue engineering. Key areas include gender-affirming surgical techniques, cell transplantation using biodegradable scaffolds, and the role of amniotic fluid in keratinocyte behavior. Kratz has contributed to studies on hyaluronic acid's effects on wound healing, novel antimicrobial debridement methods, and ex vivo/in vivo wound models. His work bridges clinical surgery with advanced biomaterials and regenerative medicine. Research interests prominently feature interdisciplinary collaboration, with a focus on translating lab innovations into clinical applications. He has published extensively on topics like gelatin microcarrier-based cell delivery systems, CFSE tracking of transplanted cells, and the analysis of human fibroblast/keratinocyte secreted factors. Kratz’s affiliations include the WCMM at LiU and BKV’s Faculty of Medicine and Health Sciences, emphasizing both clinical and basic research. Notable contributions include a 2019 retrospective study comparing metoidioplasty and phalloplasty outcomes in female-to-male gender-confirming surgery. His 2021 work on autologous cell transplantation via porous gelatin microcarriers highlights advancements in wound healing strategies. Recent studies (2023-2024) explore biphasic bioinks, amino acid-buffered hypochlorite for infected burn wounds, and the role of amniotic fluid in keratinocyte gene expression. Labs/Teams: Active in WCMM’s molecular medicine initiatives and the BKV division’s surgical oncology and orthopedics research programs. Collaborations emphasize bioengineering solutions for clinical challenges in reconstructive surgery and chronic wound management.

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

پژوهشگر

• Software Verification
• Formal Methods
• Software Testing
• +۹ مورد دیگر

Thomas Lemberger is a researcher in the Department of Computer Science at Ludwig-Maximilians-Universität München (LMU Munich), contributing to the Software and Computational Systems Lab. He specializes in software verification, formal methods, and automated testing, with a focus on improving tool efficiency and scalability. His work includes extensions to CPAchecker, such as distributed summary synthesis and cooperative verification approaches, as well as developing user-friendly tools like CoVeriTeam GUI. His research interests involve integrating verification into build systems and IDEs, optimizing verification workflows, and exploring hybrid techniques that combine testing and formal methods. He has actively participated in competitions like SV-COMP and Test-Comp, contributing tools like PRTest and Nacpa. His projects aim to reduce tool restarts, enhance fault localization, and streamline verification processes through parallel portfolio analyses. Thomas mentors students on topics related to verification tool development, test-case generation, and open-source software. His contributions are supported by grants from the DFG (CONVEY, COOP, IDEFIX), emphasizing cooperative verification and scalable analysis. Recent work focuses on enabling developers to use verification tools seamlessly within their existing workflows.

Frauke Melchiorمشاهده پروفایل

استاد

• Molecular Biology
• Cell Biology
• Biochemistry
• +۴ مورد دیگر

Prof. Dr. Frauke Melchior is the Rector of Heidelberg University, overseeing strategic development, fundraising, and governance. Previously, she held the position of Professor (W3) for Molecular Biology at the Center for Molecular Biology of Heidelberg University (ZMBH). Her research focuses on posttranslational SUMOylation, elucidating its role in cellular stress responses, protein regulation, and disease mechanisms. Key roles include Dean of the Faculty of Biosciences (2016-2018) and leadership in collaborative research initiatives such as the CellNetworks Excellence Cluster. Education: PhD in Chemistry (1990), Philipps-Universität Marburg Chemistry Diploma (1987), Philipps-Universität Marburg Research Interests: SUMOylation pathways, cellular adaptation to environmental changes, protein modification dynamics, and translational pharmacology. Her work has advanced understanding of SUMOylation’s role in health and disease, highlighted by publications in EMBO Reports , Nature , and Annual Review of Biochemistry . Awards include the FEBS/EMBO Women in Science Award (2018) and membership in the Leopoldina (2014). She has advised numerous research programs and holds leadership roles in academic governance and international scientific bodies. Labs/Teams: ZMBH Molecular Biology Group, collaborations with DKFZ-ZMBH Alliance and Max Planck Institutes.

Dustin Flanaganمشاهده پروفایل

پژوهشگر ارشد

• Stem Cell Biology
• Cell Competition
• Gastric Cancer
• +۷ مورد دیگر

Dr. Dustin Flanagan is a NHMRC Senior Research Fellow at the Monash Biomedicine Discovery Institute, leading the Cell Competition and Niche Signalling Laboratory in the Department of Biochemistry and Molecular Biology. His research focuses on stem cell biology, gastrointestinal cancers, and Wnt signaling pathways. He received his PhD in Gastrointestinal Biology from the University of Melbourne (2016) and conducted postdoctoral work at the CRUK Beatson Institute. His lab investigates stem cell regulation using genetically engineered mouse models (GEMMs) and 3D organoids, integrating advanced techniques like single-cell RNAseq and proteomics. He leads an active project (2022-2026) on gastric cancer mechanisms. Notable awards include the Metcalf Prize for Stem Cell Research (2023) and the Monash BDI Cancer Program MCR Shining Star award (2023). Education: Bachelor's with First-Class Honours, University of Melbourne (2008) PhD in Gastrointestinal Biology, University of Melbourne (2016) Research Interests: Stem cell dynamics, cell competition, intestinal and gastric tumorigenesis, Wnt signaling, and organoid modeling. His work bridges basic science and translational applications, aiming to develop therapies for gastrointestinal cancers. Recent Articles: Focus on hepatitis B virus infection modeling, NOTUM inhibition in colorectal cancer, and BCL-3’s role in DNA repair. These studies highlight his lab’s contributions to understanding cancer initiation and therapeutic targets. Grants & Awards: NHMRC Investigator Grant (2021) Metcalf Prize (2023) Monash BDI Award (2023) Labs/Teams: Directs the Cell Competition and Niche Signalling Lab, collaborating internationally on gastrointestinal cancer research.

Fabio Variolaمشاهده پروفایل

استاد

• Biomedical Engineering
• Biomaterials
• Tissue Engineering
• +۳ مورد دیگر

Professor Fabio Variola holds a joint academic appointment at the University of Ottawa as a Professor in the Department of Mechanical Engineering , cross-appointed in the Departments of Physics (Faculty of Science) and Cellular and Molecular Medicine (Faculty of Medicine) . He earned his BEng and MEng from the University of Trieste (Italy) and a PhD from a joint program at the Institut National de la Recherche Scientifique-Énergie, Matériaux et Télécommunications (INRS-ÉMT) and Université de Montréal . His research focuses on developing micro- and nano-structured biomaterials to control cellular responses for applications in tissue engineering , medicine , and biophysics , with an emphasis on understanding how cells interact with physicochemical environments. Research interests include biomedical engineering , biomaterials , biophysics , nanotechnology , and regenerative medicine . His work spans surface engineering of titanium implants , nanocomposite hydrogels , plasmonic carbon materials , and 3D in vitro disease models . Recent studies explore applications in neuroengineering , cardiac tissue repair , and targeted cancer therapy . Key research trends in his articles include laser-material interactions , biomaterial-cell interfaces , and nanostructured materials for medical devices . His work bridges materials science and biomedical applications , with a focus on in vitro and in vivo validation of novel materials. Professor Variola has no listed scientific awards but maintains a prolific publication record. His research group collaborates across departments at the University of Ottawa and international institutions. He advises students in interdisciplinary biomaterials and biomedical engineering, though specific advisee names are not publicly listed.

• Automated Program Repair
• Formal Verification
• Large Language Models
• +۴ مورد دیگر

Yiannis Charalambous is a PhD researcher in the Department of Computer Science. His work focuses on the intersection of Large Language Models (LLMs) , Formal Verification , and Software Security . Key Research Areas: Automated Program Repair, Formal Verification, Large Language Models, Software Security, Artificial Intelligence, Neural Networks, Fuzzing His recent research explores self-healing software architectures by integrating LLMs with formal verification techniques. This work has significant implications for improving software reliability and security through automated repair mechanisms . Analysis of his publications reveals a consistent focus on leveraging neural architectures (e.g., transformers) for program verification and security enhancement. The research emphasizes both theoretical foundations and practical implementations of AI-driven software repair systems.

• Structural Biomechanics
• Musculoskeletal Modeling
• Finite Element Analysis
• +۳ مورد دیگر

Andrew Phillips is a Professor in Structural Biomechanics at Imperial College London's Department of Civil and Environmental Engineering within the Faculty of Engineering. He leads the Structural Biomechanics Group and coordinates the MEng Civil Engineering degree program. His research focuses on musculoskeletal modeling, finite element analysis, and bioinspired structures. Phillips holds a PhD from the University of Edinburgh (2005) and an MEd from Imperial College (2014). Key affiliations include the Additive Manufacturing Network, Centre for Blast Injury Studies, and Musculoskeletal Medical Engineering Centre. His work integrates computational methods with biomechanical principles, addressing topics like bone adaptation, trauma injury effects, and wearable sensor technologies. Notable contributions include developing motoneuron-driven muscle models and synthetic motion capture datasets via generative adversarial networks (GANs). Phillips also organizes the Parametric Engineering Course with Arup and SimplyRhino. Recent publications emphasize bone health in amputees, neural drive estimation, and energy-absorbing metamaterials. His 2018 European Society of Biomechanics SM Perren Award recognizes outstanding contributions to hip dysplasia biomechanics. Research trends highlight interdisciplinary approaches merging machine learning with traditional biomechanics to solve clinical and engineering challenges.

Kristine N. Williamsمشاهده پروفایل

استاد

• Gerontology
• Dementia care
• Nurse-patient communication
• +۷ مورد دیگر

Kristine N. Williams serves as the E Jean Hill Professor at the University of Kansas School of Nursing, where she has established herself as a leading researcher in gerontological nursing and dementia care. With over two decades of experience since joining the faculty in 2001, she has developed a robust research program focused on improving communication between healthcare providers, family caregivers, and older adults with dementia. Dr. Williams earned her PhD in Gerontology from the University of Kansas in 2001 and completed her MS in Nursing as a Family Nurse Practitioner at the University of Connecticut in 1983. She maintains her ANCC certification as a Family Nurse Practitioner and has extensive clinical experience in community and home health nursing settings. Her research program centers on enhancing care for older adults through innovative approaches to communication, cognitive training, and technology applications. She's particularly renowned for her groundbreaking work on 'elderspeak' - identifying how infantilized speech patterns affect dementia care outcomes. Her research has evolved to include developing and testing practical interventions like the Changing Talk communication education program and FamTechCare telehealth system that directly address communication challenges in dementia care settings. Analysis of Dr. Williams' recent publications reveals a consistent focus on communication dynamics in dementia care across multiple settings. Her work spans nursing homes, hospitals, and home care environments, with particular attention to mealtime interactions, mask-wearing communication challenges, and technology-assisted caregiver support. The research demonstrates a progression from identifying communication problems to developing and implementing practical solutions that can be scaled across care settings. Midwest Nursing Research Society John A. Hartford Award for Gerontological Nursing Leadership Fellow of the Gerontological Society of America (FGSA) Fellow of the American Academy of Nursing (FAAN) Dr. Williams has secured continuous NIH funding since 2005, including R03, K12, CTSA, R21, R34, R61, and R01 mechanisms, demonstrating sustained research productivity. She has collaborated on over 15 studies as co-investigator or consultant, often partnering with interdisciplinary teams across nursing, gerontology, communication sciences, and technology development. Her leadership extends to serving on NIH scientific review panels, editorial boards, and professional organization boards, significantly influencing dementia care research directions nationally. Her work has directly led to the development of evidence-based communication education programs implemented in nursing homes nationally, particularly the Changing Talk Online (CHATO) training system. Through her research, she has established practical interventions that bridge the gap between research findings and clinical practice in dementia care settings.