Paul Krogmeier is a postdoctoral fellow at Harvard University's School of Engineering and Applied Sciences (SEAS), advised by Nada Amin and Walter Fontana. His research bridges programming languages, logic, and program synthesis with applications in interpretable machine learning and computational universality. Starting Fall 2026, he will join the University of Colorado Boulder as an assistant professor in computer science. His educational background includes a PhD from the University of Illinois under Madhusudan Parthasarathy. Dr. Krogmeier investigates computational universality under errors, formal expressivity of neural networks, and symbolic language emergence. His work connects evolutionary processes with learning mechanisms and rigorously characterizes creativity through computational models. Ongoing projects focus on DSL synthesis for few-shot learning and developing frameworks where symbolic language emerges from computational processes. His publication record shows consistent contributions to programming languages theory (OOPSLA, POPL) with increasing integration of machine learning techniques. Key themes include program synthesis, logic-based learning, and formal analysis of neural architectures, demonstrating interdisciplinary rigor across theoretical computer science and AI. His scientific achievements include: Distinguished Paper Award at OOPSLA 2023 Distinguished Paper Award at POPL 2022 While currently not advising students as a postdoc, he will establish an advising program at CU Boulder. His research is supported by institutional resources at Harvard SEAS with potential future funding from NSF and computing industry partnerships. At Harvard, he collaborates within Nada Amin and Walter Fontana's research group, which explores foundational programming language concepts applied to machine learning systems and biological computation models.
Richard Zinbarg is a Professor in the Department of Psychology at Northwestern University. His research focuses on identifying personality traits as vulnerability factors for anxiety and depressive disorders, examining cognitive and affective processes mediating these associations, and developing interventions through cognitive-behavior therapy, mindfulness approaches, and prevention strategies. He also contributes to the structural understanding of anxiety and related affects, alongside advancements in psychometric theory. Selected Research Trends : His recent publications emphasize hierarchical models of neuroticism, tri-level frameworks for depression-anxiety comorbidity, and methodological refinements in statistical analysis. Earlier work explores cognitive biases in social anxiety and reliability issues in psychological measurement. Academic Contributions : While specific awards are unlisted, his work spans clinical psychology, psychometric methodology, and therapeutic interventions. Notable collaborations include researchers like Susan Mineka, Michelle Craske, and Richard McDonald.
Monika Seisenberger is an Associate Professor at the Department of Computer Science , Swansea University, within the Faculty of Science and Engineering . Her academic role is centered on Formal Methods , Interactive Theorem Proving , and Specification & Verification , with significant contributions to logic, proof theory, and well-quasiorders. Research Interests : Her work bridges Computer Science and Mathematics , focusing on Program extraction from proofs Formal verification of safety-critical systems Applications of AI in medical and railway domains Computational content of choice principles Development of concurrent algorithms and toolchains Article Trends : Her publications over the past decade highlight a consistent focus on formal methods applied to railway logistics , AI explainability in healthcare, and constructive mathematics . Notable themes include Counterfactual explanation generation Multi-agent optimization in transportation Temporal model analysis via gradients Railway system safety verification Verification of geographic data Computational logic foundations Supervision & Collaboration : She actively supervises postgraduate research in areas like formal software verification , AI-driven railway technologies , and SHAP refinement , often collaborating with experts in Markus Roggenbach , Anton Setzer , and Fabio Caraffini . Labs & Teams : Based at the Computational Foundry (Bay Campus), she contributes to Swansea University's Formal Methods research group, advancing tools for proof theory and program synthesis .
Dr Said Khelwatty is a Senior Lecturer in Clinical Immunology at Kingston University, affiliated with the Department of Biomolecular Sciences within the School of Life Sciences, Pharmacy and Chemistry. He has been a faculty member since 2018, teaching across various bioscience programs including Biomedical Science, Biological Sciences, and Cancer Biology. Education: BSc (Hons) Biomedical Sciences, 2008 MSc Biomedical Sciences (specializing in Haematology), 2009 PhD in Cancer Biology and Therapeutics, 2012 Dr Khelwatty's research is centered on translational cancer research, with a strong focus on colorectal cancer. His work explores the biological and clinical significance of growth factor receptors with tyrosine kinase activity, particularly the HER family and EGFRvIII, as well as cancer stem cell biomarkers like CD44 and CD133. He investigates their roles in tumor progression, therapy resistance, and prognosis across various cancers including colorectal, pancreatic, ovarian, and hepatocellular carcinomas. His recent publications reveal a consistent trend in identifying predictive biomarkers for targeted therapies, understanding receptor co-expression patterns, and evaluating synergistic drug combinations to overcome resistance. His studies frequently employ immunohistochemistry and cell line models to assess therapeutic responses and signaling dynamics. Scientific Awards and Fellowships: Fellow of the Institute of Biomedical Science (FIBMS), 2015 Fellow of Advance Higher Education (FHEA), 2020 Dr Khelwatty has been actively involved in externally funded research, including projects supported by the BRIGHT charity. He leads and contributes to research initiatives focused on monoclonal antibody development and the clinical application of biomarkers. He supervises MSc research projects and teaches critical modules such as LS7001 (Research Techniques & Scientific Communication) and LS7010 (MSc Research Project). He is a member of the British Association for Cancer Research and the American Association for Cancer Research, contributing to collaborative efforts in cancer therapeutics. His work is conducted within a multidisciplinary research team focused on cancer biology and therapeutics, though no specific lab name is mentioned. Future research directions likely include refining diagnostic tools using monoclonal antibodies and advancing personalized treatment strategies based on receptor expression profiles.
Dr. Malte Winckler is a research-active academic in the Faculty of Mathematics at the University of Duisburg-Essen, Germany. His work centers on the numerical analysis of partial differential equations with applications in superconductivity and electromagnetic field modeling. His research focuses on numerical analysis of PDEs , particularly Maxwell's equations , variational inequalities , and shape optimization . He applies advanced mathematical techniques to model physical phenomena in type-II superconductors , including Bean's critical-state model and H(curl)-elliptic systems. His methodological expertise lies in finite element methods, adaptive approximation schemes, and optimal control. The recent publications show a consistent focus on developing and analyzing numerical schemes for non-smooth and nonlinear PDEs arising in superconductivity. Key themes include adaptive edge elements , fully discrete approximations , and shape optimization under physical constraints . These works appear in top-tier applied mathematics journals such as SIAM Journal on Numerical Analysis and Computational Optimization and Applications . Dr. Winckler is involved in the DFG SPP 1962 Priority Programme as a contributor to project 22 on non-smooth distributed parameter systems. He teaches courses such as Introduction to Numerical Methods and collaborates closely with Prof. Dr. Irwin Yousept. He has no listed scientific awards in the provided text. He maintains active research profiles on Google Scholar , ResearchGate , ORCID , and GitLab , indicating engagement with the broader scientific community. He advises no students listed in the material and is not indicated as part-time, retired, or former staff.
Andrew Bollen is a faculty member at the University of California San Francisco , specializing in neuropathology. His research focuses on central nervous system tumors, infections, and muscle/nerve pathology, with a dual MD (University of California San Diego) and DVM (University of California Davis School of Veterinary Medicine) background. Education : A.B. in Biology, Harvard College (1975) D.V.M., University of California Davis School of Veterinary Medicine (1980) M.D., University of California San Diego School of Medicine (1985) His work bridges human and veterinary medicine, emphasizing genetic mutations (e.g., SOX10 indels, FET-CREB fusions) in brain tumors like glioblastoma, schwannomas, and CNS lymphomas. Recent studies explore immune checkpoint therapies, tumor evolution, and epigenetic classifications. Publications highlight molecular profiling of glioblastoma subtypes, schwannomatosis genetics, and neuroinfectious diseases. Collaborative efforts span neurosurgery, oncology, and immunology departments. Scientific Honors : Phi Zeta Honor Society (1980) A. Baird Hastings Society (1985) Castle Connolly Guide: Top Doctors (2001-present) and Cancer Specialists (2005-present) Bollen contributes to refining CNS tumor diagnostics through multiplatform molecular analyses and identifies novel therapeutic targets in gliomas and rare posttransplant disorders.
Rita Mukhtar, MD, is a surgical oncologist and Medical Educator at the University of California, San Francisco (UCSF) School of Medicine, Department of Surgery. Her clinical expertise includes breast surgery, total skin-sparing mastectomies, breast conservation, and sentinel lymph node biopsy. Education : AB in Molecular and Cell Biology from UC Berkeley (2000) MD from UC San Francisco (2006) Postdoctoral Fellowship in Advanced Training in Clinical Research at UCSF (2011) Residency in General Surgery at UCSF (2013) Fellowship in Breast Surgical Oncology at UCSF (2014) Her research program focuses on invasive lobular carcinoma (ILC), the second most common breast cancer type. Key areas include tumor biology, prognostic modeling, and optimizing surgical outcomes for ILC patients with comorbidities like elevated BMI. She leverages data from large clinical trials such as I-SPY2 to refine axillary management and neoadjuvant therapy protocols. Recent publications highlight her work on: Organoid modeling for DCIS diagnostics Residual Cancer Burden analysis in ILC Imaging biomarkers for neoadjuvant response Surveillance strategies post-ILC treatment Lymph node evaluation in HER2+ breast cancer Scientific Awards : Storer Scholarship (2003) Student Research Award (2005) Steinhart Scholarship (2006) Dr Galante Scholarship Award (2007) Resident Research Scholarship (2009) Teaching Award for Cherished Housestaff (2013) Lawrence Way Critical Thinking Award (2013) As Associate Program Director for the UCSF General Surgery Residency, she mentors medical students and residents. Her research is supported by grants from the American Cancer Society and the National Cancer Institute.
Mef Nilbert serves as an Adjunct Professor and Principal Investigator at Lund University's Faculty of Medicine, with primary affiliations at the Lund University Cancer Center (LUCC), EpiHealth: Epidemiology for Health, and the Breast Cancer Genetics research group. As a prominent researcher in cancer genetics, Dr. Nilbert leads multiple projects focused on hereditary cancer syndromes and sarcoma research. Dr. Nilbert's research program centers on two main areas: hereditary colorectal cancer (particularly Lynch syndrome and Familial Colorectal Cancer Type X) and sarcoma biology. The colorectal cancer research focuses on refined risk assessment modeling, identification of genetic causes, analysis of interval cancers, and development of new sequencing strategies to identify disease-associated genes. The sarcoma research aims to define genetic profiles of radiation-induced sarcomas, identify metastasis risk markers, and evaluate prognostic biomarkers in specific sarcoma types. This work contributes significantly to the UN Sustainable Development Goals related to health and well-being. The research output shows a strong emphasis on translational cancer genetics, with publications spanning molecular mechanisms of tumor development, clinical risk assessment, and population-based cancer screening. Recent work has particularly focused on mismatch repair deficiency in colorectal cancer and its implications for screening programs and genetic counseling. Dr. Nilbert actively participates in cancer research leadership, serving on program committees for major conferences including the Lund University Cancer Centre meetings, National Comprehensive Cancer Centre meetings, and the Medicon Valley Alliance Oncology Network. Current projects include 'Precision Medicine in Hereditary Cancer and Sarcoma' and 'Orthopaedic oncology; clinical management and outcomes of soft tissue sarcoma.' As a supervisor, Dr. Nilbert mentors multiple doctoral students and researchers, with 19 supervised works documented. The research network includes collaborations across multiple institutions focused on cancer genetics and epidemiology, with particular emphasis on international comparative studies in cancer screening and genetic risk assessment.
Dr. Emily Bergsland is a Professor of Medicine at the University of California, San Francisco (UCSF) School of Medicine, where she serves as Director of the UCSF Center for Neuroendocrine Tumors and Associate Director for Education for the UCSF Helen Diller Family Comprehensive Cancer Center. A leading expert in gastrointestinal malignancies, Dr. Bergsland has dedicated her career to advancing the understanding and treatment of neuroendocrine tumors through clinical practice, research, and education. Her leadership roles include past presidency of the North American Neuroendocrine Tumor Society, membership on the NCCN Neuroendocrine Tumor Guidelines panel, and former chair of the NET Task Force of the NCI Gastrointestinal Steering Committee. BS in Biochemistry/Molecular Biology, University of Wisconsin, Madison (1985) MD, University of Minnesota, Minneapolis (1989) Residency in Internal Medicine, UCSF (1992) Chief Residency, UCSF (1993) Fellowship in Medical Oncology, UCSF (1995) Molecular Medicine Training Program, UCSF (1998) Diversity, Equity, and Inclusion Champion Training, University of California (2019) Dr. Bergsland's research program focuses on neuroendocrine neoplasms of all grades, with particular emphasis on clinical trials, biomarker development, imaging techniques, and clinical outcomes. Her work bridges the gap between laboratory discoveries and patient care, with numerous publications addressing therapeutic strategies for neuroendocrine tumors. She has been instrumental in developing guidelines for neuroendocrine tumor management and has contributed significantly to understanding tumor biology, progression patterns, and treatment responses in this specialized field. Her research often examines disparities in cancer care and seeks to optimize treatment approaches for diverse patient populations. Analysis of Dr. Bergsland's recent publications reveals a strong focus on advancing the clinical management of neuroendocrine tumors through multiple approaches: refining diagnostic criteria and imaging techniques, developing consensus treatment guidelines, investigating molecular mechanisms of tumor progression, and evaluating novel therapeutic combinations. Her work spans basic science, translational research, and clinical implementation, with particular attention to health disparities and personalized treatment approaches. The publications demonstrate her leadership in multi-institutional collaborations and her commitment to establishing evidence-based standards for neuroendocrine tumor care. Past President of the North American Neuroendocrine Tumor Society Member of NCCN Neuroendocrine Tumor Guidelines panel Past Chair of the NET Task Force of the NCI Gastrointestinal Steering Committee Principal Investigator for NIH K12CA260225: UCSF Paul Calabresi K12 Career Development Program in Clinical Oncology (2021-2026) As Principal Investigator for the UCSF Paul Calabresi K12 Career Development Program in Clinical Oncology, Dr. Bergsland plays a critical role in mentoring the next generation of clinical oncology researchers. Her educational leadership extends to her position as Associate Director for Education at the UCSF Helen Diller Family Comprehensive Cancer Center, where she shapes training programs and educational initiatives. Dr. Bergsland has secured significant research funding to support her work on neuroendocrine tumors and has been instrumental in developing clinical trial networks focused on this specialized cancer type. Her collaborative approach has resulted in numerous multi-institutional studies that have advanced the field of neuroendocrine tumor management. Dr. Bergsland leads the UCSF Center for Neuroendocrine Tumors, which brings together a multidisciplinary team of medical oncologists, surgeons, endocrinologists, radiologists, pathologists, and researchers dedicated to providing comprehensive care for patients with neuroendocrine tumors. The center serves as a hub for clinical trials, translational research, and specialized patient care, with collaborations extending to national and international research networks. Through her leadership, the center has become a recognized center of excellence for neuroendocrine tumor diagnosis, treatment, and research.
Prof. Dr. Matthias Keller is a leading researcher in discrete spectral theory and graph analysis, affiliated with the Institute of Mathematics at the University of Potsdam since 2015. His work bridges geometric properties of graphs with spectral theory, focusing on Dirichlet forms, Schrödinger operators, and functional inequalities. Key Collaborations : Daniel Lenz, Radoslaw Wojciechowski, Yehuda Pinchover Books Authored : Graphs and Discrete Dirichlet Spaces (Springer, 2021) His research explores non-positively curved graphs, stochastic completeness, and magnetic sparseness. Recent projects include optimal Hardy inequalities and spectral analysis of fractional Laplacians. Scientific Awards : Swiss Fellowship (2023) Golda Meir Fellowship (2012-2013) Klaus Murmann PhD Fellowship (2007-2010) He advises PhD and Master’s students such as Yannik Thomas , Matti Richter , and Philipp Bartmann , while maintaining active roles in DFG-funded projects and international workshops.
Philipp Georg Haselwarter is an Assistant Professor at the Department of Computer Science , Aarhus University . His expertise lies in programming languages , formal verification , and cryptographic proofs . His research interests include Higher-order probabilistic programming Separation logic for program analysis Modular cryptographic proofs in Coq Resource-aware and cost-bounded formal methods Key trends in his recent publications span Formal verification techniques for probabilistic and cryptographic systems Integration of separation logic with cost and error analysis Development of frameworks like SSProve for cryptographic proofs Applications of type theory and higher-order logic in programming languages
Stefan Wastegård is Professor of Quaternary Geology with a specialisation in Quaternary Stratigraphy at Stockholm University's Department of Physical Geography, where he actively teaches bachelor's and master's courses. He leads the research group SUQuaTeSt (Stockholm University Quaternary Tephra Studies), focusing on volcanic ash layers as geochronological tools for correlating Late Quaternary climate records across marine, ice-core, and terrestrial archives in Scandinavia, the Azores, Patagonia, and the North Atlantic region. Wastegård's research centers on resolving uncertainties in Late Quaternary chronologies, particularly addressing radio-carbon dating limitations (radiocarbon plateaux, reservoir effects) and the scarcity of dating methods for periods before 40 ka BP. His work utilizes diverse climatic archives to examine climate synchrony across the North Atlantic, with emphasis on tephrochronology for identifying isochrons in peat bogs, lake sediments, and marine cores. Key interests include Younger Dryas dynamics, Holocene climate events, and volcanic ash dispersal mechanisms. Analysis of his recent publications reveals a sustained effort to expand tephrochronological frameworks geographically and temporally. Major contributions include the first geochemical confirmation of Laacher See Tephra in southern Sweden, extension of Azores tephra dispersal to Ireland, and identification of cryptotephras from moderate Icelandic eruptions in Finland. His studies consistently address methodological challenges while establishing new chronological markers for climate events like the 4.2 ka BP anomaly and Younger Dryas ice-sheet behavior. No scientific awards, prizes, or fellowships are documented in the provided texts. Wastegård has served as main supervisor for seven PhD students: Hans Johansson, Ewa Lind, Carl Lilja, Sofia Andersson, Anders Borgmark, Simon Larsson, and Christos Katrantsiotis. His current research project "Precise linking of late Quaternary palaeoclimate records in the North Atlantic region" compares climate signals across high-resolution archives to understand rapid climate transitions. He has secured funding for numerous completed projects including Holocene tephrochronology for the Faroe Islands and cryptotephra studies in Patagonia. As head of SUQuaTeSt, he directs Stockholm University's Quaternary Tephra Studies group which has pioneered tephrochronological applications in Scandinavia for decades. The team specializes in extracting and analyzing both visible and cryptotephra layers from organic-rich sediments using electron probe microanalysis, collaborating internationally on projects like PASADO in Patagonia and contributing to frameworks such as INTIMATE for glacial-interglacial transitions.
Assoc. Prof. Serap Kemali is an Assistant Professor at Akdeniz University's Technical Sciences Vocational School, Department of Architecture and City Planning. Her research focuses on mathematical analysis, particularly in convex functions, differential equations, and optimization. Her primary research areas include Mathematics Differential Equations Convex and Discrete Geometry Optimization Kemali has published extensively on convexity-related inequalities, including works on s-convex functions, Hermite-Hadamard type inequalities, and fractional calculus applications. Her research explores abstract convexity, B-convexity, and its generalizations, contributing to theoretical and applied mathematical analysis. Recent publications demonstrate expertise in Caputo fractional derivatives Integral inequalities Convexity refinements Curriculum development in mathematics education Kemali has advised 1 thesis and participated in funded projects like "B-Convexity and B^(-1) Convexity Comparisons" (2015-2018) "Mathematics in Our Life: Agriculture" (2015-2017)
Dr. Raphaela Goldbach-Mansky serves as Research Professor and Principal Investigator at the National Institutes of Health (NIH), where she leads the Translational Autoinflammatory Disease Section at the National Institute of Arthritis and Musculoskeletal and Skin Diseases (NIAMS). Her work bridges clinical rheumatology with cutting-edge molecular research to address rare autoinflammatory disorders. Her academic foundation includes: Medical degree from University Witten-Herdecke, Germany Combined residency in Internal Medicine and Pediatrics at Case Western Reserve University Rheumatology fellowship at NIAMS/NIH Goldbach-Mansky's research centers on interferonopathies and monogenic autoinflammatory diseases, with emphasis on CANDLE, SAVI, and COPA syndromes. She pioneers cytokine-targeted therapies and JAK inhibitor applications while developing diagnostic biomarkers through gene expression profiling. Her translational approach integrates patient phenotyping with molecular mechanisms to establish treatment protocols for these life-threatening conditions. Recent publications reveal accelerating focus on personalized management strategies for autoinflammatory disorders, particularly through stem cell modeling of genetic mutations and refinement of flare criteria for JAK inhibitor therapy. Her work increasingly addresses interferon signaling pathways across multiple disease entities, demonstrating cross-diagnostic therapeutic principles for type I interferon-mediated conditions. As Specialty Chief Editor for Frontiers in Immunology (Autoinflammatory and Autoimmune Disorders sections), she shapes scholarly discourse in the field despite no specific awards being documented in available materials. Her NIH program directs substantial research funding for clinical trials and mechanistic studies, mentoring a multidisciplinary team of clinicians and scientists. While specific trainee names aren't listed, her principal investigator role implies supervision of postdoctoral fellows and clinical researchers in rare disease investigation. The Translational Autoinflammatory Disease Section operates as a global referral center, combining patient care with laboratory discovery. Current initiatives include developing iPSC models for genetic validation, establishing international registries, and testing novel STING pathway inhibitors to address unmet therapeutic needs in interferonopathies.
Mike Wells is a Research Assistant Professor in the Department of Emergency Medicine at Florida Atlantic University's Charles E. Schmidt College of Medicine and an Honorary Professor at the University of the Witwatersrand, Johannesburg. He leads research in emergency weight estimation and drug dosing with emphasis on obese patients while supporting geriatric emergency medicine initiatives. His educational credentials include a Ph.D. (2018) and MSc(Med) (2008) in Emergency Medicine, MBBCh medical degree (1992), and intercalated BSc(Med) (1987) and BSc.Hons (1988) from the University of the Witwatersrand, plus a Diploma in Transthoracic Echocardiography (2013) from the Medical University of Vienna. Dr. Wells' research spans pediatric and adult emergency weight estimation systems, most notably the internationally endorsed PAWPER tape. His work integrates patient safety, metacognition, point-of-care ultrasound, prehospital care, and geriatric emergency protocols. He has pioneered methodologies accounting for body habitus in weight estimation and drug dosing calculations. His 2024-2025 publications reveal dual research trajectories: geriatric head trauma investigations focusing on anticoagulation risks, dementia complications, and fall-related injuries alongside technological innovations in weight estimation using 3D imaging and systematic validation of dosing protocols. This work bridges clinical emergency care with engineering solutions for vulnerable populations. Recognition includes: Order of the Emergency Medicine Society of South Africa (2016) Fellow of the College of Emergency Medicine (FCEM(SA)) Fellow of the Emergency Medicine Society of South Africa (FEMSSA) With over 20 Master's candidates supervised to completion, Dr. Wells maintains active editorial leadership as Deputy Editor-in-Chief of the African Journal of Emergency Medicine and Associate Editor for JACEP Open. His research is supported by ongoing collaborations with South African institutions and international emergency medicine societies. At Florida Atlantic University, he is building a dedicated research team focused on refining weight estimation tools for diverse body types and expanding evidence-based protocols for geriatric emergency care through interdisciplinary partnerships.
