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

Ralf Kriegelمشاهده پروفایل

استاد

• Sports Management
• Fitness Facility Leadership
• Human Resources Management
• +۳ مورد دیگر

Prof. Ralf Kriegel holds a part-time professorship (0.5 PE) for Sports Science at the German University of Health and Sport (DHGS) in Ismaning, Faculty of Sport and Training Sciences. He concurrently serves as COO and authorized signatory at functional training movement GmbH (FTM), Munich, and previously held leadership roles in fitness management including Management Board membership at ACISO/ELEMENTS and regional manager at Migros Freizeit Deutschland GmbH/ELEMENTS. Education includes a PhD (2004) from the University of the Federal Armed Forces Munich on sports recommendations via internet applications, and a Diploma in Sports Science (1994) from the same institution. Research focuses on fitness facility management, human resources in sports sectors, and marketing strategies for fitness industries. His work bridges academic research (e.g., diabetes and exercise studies) with practical business applications in gym operations and client retention. Professional experience spans over 20 years in fitness industry leadership roles combined with academic teaching. Publications span strategic management in fitness, exercise physiology for chronic diseases, and innovative digital tools for sports recommendations.

• Stereotyping
• Implicit Bias
• Race and Gender
• +۳ مورد دیگر

Erika V. Hall is an Associate Professor of Organization and Management at the Goizueta Business School, Emory University. She serves as Faculty Advisor to the Business & Society Institute. Her research focuses on stereotypes, implicit bias, race, and gender, applying social psychological perspectives to organizational contexts. Education: PhD in Management & Organizations, Kellogg School of Management, Northwestern University BS in Finance, Robert H. Smith School of Business, University of Maryland Her research investigates how stereotypes shape perceptions in workplaces and society, with particular attention to racial and gender biases. Key themes include the impact of historical racial labels, intersectional stereotyping models, and strategies to mitigate bias in organizations. Her work has been featured in top journals like Psychological Science and Academy of Management Review , and media outlets including The New York Times and NPR. Awards: Recognized as one of the 'World’s Best 40 Under 40 Business Professors' (Poets & Quants, 2016) Advising & Leadership: As Faculty Advisor to the Business & Society Institute, she contributes to initiatives addressing business ethics and societal impact. Her prior role as a Research Associate at Harvard Business School underscores her commitment to academic research. Labs/Teams: Affiliated with the Business & Society Institute at Goizueta, focusing on interdisciplinary research to bridge organizational practices and societal challenges.

Théo Winterhalterمشاهده پروفایل

پژوهشگر

• Formal Methods
• Type Theory
• Proof Assistants
• +۳ مورد دیگر

Dr. Théo Winterhalter is a researcher at the Deducteam within INRIA Saclay and the Laboratoire de Méthodes Formelles (LMF) at École Normale Supérieure Paris-Saclay. Previously, he held a postdoctoral position at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany. He completed his PhD in computer science at the University of Nantes under the supervision of Nicolas Tabareau and Matthieu Sozeau, focusing on the formalization and meta-theory of type theory. His research centers on proof assistants, particularly Coq, and involves advancing formal methods for security, type systems, and dependent type theory. Winterhalter's work includes contributions to the MetaCoq project, enabling meta-programming and formal reasoning about Coq itself. He is also involved in developing verified cryptographic frameworks like SSProve and SecRef*, ensuring secure integration of verified and unverified code. His educational background includes a PhD in type theory and prior work in cryptographic algorithms, such as randomized scalar multiplication. He actively participates in academic communities, serving on program committees for ICFP, TYPES, and POPL. His teaching includes co-teaching the MPRI course on proof assistants with Yannick Forster. Supervision activities include PhD student Yann Leray and multiple interns focusing on Coq extensions and formal verification.

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

استادیار

• Formal Verification
• Programming Languages
• Systems Programming
• +۳ مورد دیگر

Michael Sammler is an Assistant Professor leading the Programming Languages and Verification Group at the Institute of Science and Technology Austria (ISTA). He holds a PhD from the Max Planck Institute for Software Systems (MPI-SWS) and was a postdoctoral researcher at ETH Zürich. His research focuses on formal verification of low-level systems code, combining foundational proofs with automation. Key projects include RefinedC (C verification), Islaris (assembly code verification), and DimSum (multi-language interoperability). Education: PhD at MPI-SWS/Saarland Informatics Campus, postdoc at ETH Zürich. Research interests emphasize tool development for safety-critical systems, including Rust verification (RefinedRust), OCaml/C interoperability (Melocoton), and decentralized multi-language semantics (DimSum). Awards: Runner-Up for Informatics Europe 2024 Best Dissertation Award, Dr. Eduard Martin Prize, Distinguished Paper Awards at PLDI/POPL/USENIX, and Google PhD Fellowship. Labs/Teams: Programming Languages and Verification Group at ISTA, collaborations with MPI-SWS and international researchers. His work bridges foundational theory with practical tools for industry-relevant verification challenges.

Joni S. Williamsمشاهده پروفایل

دانشیار

• Health Equity
• Social Determinants of Health
• Diabetes
• +۵ مورد دیگر

Joni S. Williams, MD, MPH, is an Associate Professor of Medicine and holds dual roles as the Section Chief for Inclusion and Community Outreach and Section Chief for Research in the Department of Medicine at the Medical College of Wisconsin (MCW). She also serves as the Milwaukee Community Chair in Health Equity Research and Director of the Center for Advancing Population Science (CAPS). Her research focuses on reducing health inequities through social-medical integration, particularly addressing race, socioeconomic status, and geographic barriers affecting chronic disease outcomes in marginalized communities. She leads the ARCHE team within CAPS, advancing health equity research, clinical trials, and community engagement. Dr. Williams earned her MD from the Medical University of South Carolina (2012) and her MPH in Community Health from Drexel University (1998). She completed a postdoctoral fellowship in health disparities research at the Medical University of South Carolina (2008–2014). Her research interests include health equity, community-based interventions, and addressing social determinants of health. She has secured multiple grants, including NIH R01, R21, and U54 awards, and has authored over 260 publications. She is an active member of the Society of General Internal Medicine’s Health Equity Commission and serves as an associate editor for the Journal of General Internal Medicine and the American Journal of Medicine Open . Dr. Williams is committed to education, mentoring over 50 learners, and has received recognition such as the MCW President’s Inclusive Excellence Award (2023). She collaborates with community partners like the Milwaukee Area Health Education Center and the Greater Galilee Baptist Church to advance health equity initiatives.

• Cultural and Social Changes in the Balkans
• 20th Century History
• Migration Studies
• +۴ مورد دیگر

Dr. Irena Avirovic Bundalevska is an Associate Professor at the Institute of Family Studies, Faculty of Philosophy, Ss. Cyril and Methodius University in Skopje. She holds a PhD in Historical Sciences (2013) from the same university, specializing in Balkan migration histories. Her academic career includes roles at the Institute of National History as an assistant researcher and teaching positions at the American College in Skopje. Key qualifications include a Master's in International Relations from the University of Bologna (2009) and a Philology degree from the Faculty of Philology (2006). She serves as National Coordinator for the European Family Network (COST Action 18123) and speaks English, Italian, Spanish, with proficiency in German and Russian. Research Focus Cultural shifts in Balkan societies during the 20th century Ethnic minorities' migration patterns Family dynamics influenced by religious institutions Impact of multicultural policies on family structures Her work explores historical migration (e.g., Macedonian emigration to the U.S.), contemporary cohabitation trends, and institutional frameworks affecting family welfare. Recent publications analyze disability-inclusive family policies and UN family initiatives, reflecting her interdisciplinary approach bridging history, sociology, and policy studies. Awards & Grants No specific awards or grants mentioned in current records. Professional Networks Active participant in international conferences on social change and family studies. Collaborations include University Goce Delcev (Stip) and Macedonian Association of Marketing.

• Fetal Surgery
• Maternal-Fetal Medicine
• Prenatal Repair of Birth Defects
• +۳ مورد دیگر

Ramen H. Chmait, MD is a Professor of Obstetrics & Gynecology, Pediatrics, and Surgery at the University of Southern California’s Keck School of Medicine, and Director of the Fetal Surgery Program at Children’s Hospital Los Angeles. He leads the Los Angeles Fetal Therapy program within the CHLA-USC Institute for Maternal-Fetal Health, specializing in minimally invasive fetal surgical interventions such as open spina bifida repair, twin-twin transfusion syndrome (TTTS) management, and vasa previa treatment. His research focuses on fetal disease mechanisms and innovative therapies, with over 200 peer-reviewed publications. Dr. Chmait’s affiliations include Keck Medicine of USC, Hollywood Presbyterian Medical Center, and LA Fetal Therapy. He has been recognized with awards like U.S. News Top Doctors (2011–2014), Fetal Hope: Light of Hope Award (2008), and teaching excellence accolades. His research interests span fetal surgery outcomes, TTTS treatment protocols, and fetal anomaly management. Recent work emphasizes advancements in fetoscopic techniques, lung development metrics, and neurodevelopmental follow-up of treated patients. Key achievements include pioneering percutaneous fetoscopic spina bifida repair, advancing laser surgery for TTTS, and leading international consensus guidelines on fetal therapy standards. His program has treated hundreds of complex cases, emphasizing both clinical and research contributions.

Yizhou Zhangمشاهده پروفایل

استادیار

• Programming Languages
• Compiler Design
• Formal Methods
• +۳ مورد دیگر

Yizhou Zhang is an Assistant Professor in the Department of Computer Science at the University of Waterloo. He holds a PhD and MS from Cornell University (2019 and 2016) and a BS from Shanghai Jiao Tong University (2012). His research focuses on programming languages, including design, implementation, and theory, with emphasis on formal methods, compiler optimization, and probabilistic programming. Education: PhD, Cornell University, 2019 MS, Cornell University, 2016 BS, Shanghai Jiao Tong University, 2012 Research interests span programming language theory, compiler construction, and formal verification. His work explores topics like certified compilers, effect handlers, and probabilistic program analysis. Recent publications emphasize formal models for memoization, nested family polymorphism, and bidirectional control flow. His publications reflect contributions to probabilistic programming semantics, compiler optimization techniques, and type systems. No scientific awards are explicitly listed. Advising and grant details are not provided in the text. Zhang’s research often intersects with formal methods and practical compiler implementation challenges.

• Marine Renewable Energy
• Wind Energy Systems
• Drivetrain Design and Reliability
• +۷ مورد دیگر

Amir R. Nejad is a Professor in the Department of Marine Technology at NTNU, leading the Marine Energy Systems and Autonomics (MESA) research group. He holds roles such as Chair of the EAWE WindEurope Scientific Track Committee and co-chair of the Drivetrain Technical Committee at the European Academy of Wind Energy (EAWE). His research focuses on stochastic design, reliability-based operation, dynamic modeling, and fault detection in marine and offshore renewable systems. Nejad is an editorial board member for journals like Wind Energy Science and Ocean Engineering , and a member of ISO committees on drivetrain health monitoring. Education: PhD in Marine Technology, NTNU (2015) MSc Subsea Engineering, University of Aberdeen (2012) BSc Mechanical Engineering, Tehran University (2009) His research interests emphasize offshore wind drivetrain reliability, condition monitoring, and digital twin applications. Recent work includes studies on blade bearing fatigue estimation, SCADA-based lifetime extension of drivetrains, and wake steering techniques in floating wind farms. Key awards include multiple 'Best Lecturer' honors at NTNU and international conference recognitions. His research has been supported by grants such as the Nowitech Fellowship and DNV Education Fund. Key Projects: Marine System Dynamics and Vibration Lab (MD Lab) oversees projects on wind turbine drivetrains, floating offshore systems, and digital twin integration. Lab/Teams: MD Lab focuses on advancing marine energy systems through experimental and computational studies.

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

دانشیار

• Astrobiology
• Astrophysics
• Exoplanet Atmospheres
• +۴ مورد دیگر

Prof. Sarah Rugheimer is an Associate Professor and the Allan I. Carswell Chair for the Public Understanding of Astronomy at York University, Toronto. Her research focuses on modeling exoplanet atmospheres, biosignatures, and early Earth conditions, aiming to detect life beyond Earth. She is a TED Fellow (2020), Caroline Herschel Prize winner, and Harvard Horizons Scholar. Rugheimer teaches astrobiology courses and advocates for scientific literacy, co-hosting the podcast 'Self-care with Drs. Sarah.' She actively promotes gender equity in STEM, curating resources on systemic biases and mentoring students. Her work bridges academia and public outreach, emphasizing the societal impact of scientific communication. Education: B.Sc. Physics (University of Calgary), M.A. & Ph.D. Astrophysics (Harvard University). Research: Specializes in detecting biosignatures using telescopes like James Webb and LUVOIR. Her spectral databases guide exoplanet studies across stellar types. She explores prebiotic molecules (e.g., HCN) and how stellar activity affects planetary atmospheres. Awards: TED Fellowship, Caroline Herschel Prize, Distinction in Teaching (Harvard). Teaching/Outreach: Designed popular courses at St. Andrews and Tufts. Mentors D.Phil. students at Oxford and advocates for inclusive education. Co-founded PolicyLab for science policy advocacy. Labs/Teams: Leads research on exoplanet atmospheres and co-hosts a podcast promoting researcher well-being. Collaborates on GeoBus outreach and Cite Black Women initiatives.

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

استاد

• Numerical Analysis
• Applied Partial Differential Equations
• Mathematical Biology
• +۶ مورد دیگر

Xiaoqiang Wang is a Professor in the Department of Scientific Computing at Florida State University (FSU). His research focuses on numerical analysis, applied partial differential equations, mathematical biology, image processing, and scientific computing. He holds a Ph.D. from Pennsylvania State University (2005). His work emphasizes phase-field modeling for elastic bending energy, biological microstructures, and computational methods for complex systems. Notable contributions include advancements in centroidal Voronoi tessellation algorithms for image segmentation and high-performance computing techniques for scientific visualization. Recent publications highlight innovations in topology-preserving phase-field models, neural network-based energy minimization, and stochastic resource competition models. His research bridges theoretical mathematics with practical applications in biophysics, materials science, and biomedical engineering. Wang collaborates actively with interdisciplinary teams, contributing to FSU's computational science initiatives. His lab focuses on developing novel numerical methods and simulations for biological and physical systems, reflecting a commitment to both foundational and applied research.

Sieun Chaeمشاهده پروفایل

استادیار

• Electronic Materials
• Semiconductors
• Neuromorphic Computing
• +۳ مورد دیگر

Sieun Chae is an Assistant Professor in the Department of Electrical Engineering and Computer Science at Oregon State University (OSU), part of the College of Engineering. Her research focuses on the rational design of electronic materials for energy-efficient microelectronics, integrating theoretical and experimental approaches. She holds a B.S. in Materials Science and Engineering from Yonsei University (2015), an M.S. from Seoul National University (2017), and a Ph.D. from the University of Michigan (2022). Prior to her faculty position, she conducted postdoctoral research at Cornell University and worked as a research fellow in South Korea. Her research interests include ultra-wide-band-gap semiconductors, entropy-stabilized oxide memristors for neuromorphic computing, and back-end-of-line compatible semiconductors for 3D integration. Key projects involve developing novel materials for high-power electronics, low-temperature synthesis techniques, and device fabrication to demonstrate state-of-the-art performance. Her group employs first-principles calculations, high-throughput materials informatics, and epitaxial growth methods. Collaborations span computational modeling, materials synthesis, and device engineering to address challenges in power electronics and AI applications. The Chae Lab actively engages undergraduate and graduate students in projects combining theory and experimentation. Publications highlight contributions to semiconductor doping mechanisms, memristor design, and oxide alloy thermodynamics. Advising includes mentoring students in ECE, Materials Science, and Computer Science, with a focus on interdisciplinary research. Lab facilities support thin-film synthesis, materials characterization, and device prototyping.

• Affective disorders
• Adolescent brain maturation
• Limbic neural circuits
• +۶ مورد دیگر

Ayesha Sengupta, Ph.D., is a Research Assistant Professor in the Department of Neuroscience at Tufts University School of Medicine. She holds appointments at 136 Harrison Avenue, Boston, and is a member of the Graduate School of Biomedical Sciences Neuroscience Program. Her academic background includes a DPhil in Pharmacology from the University of Oxford (in collaboration with NIH/NIAAA), an MSc in Neuroscience from Oxford, and a BA in Natural Sciences from the University of Cambridge. Her research program investigates neurobiological mechanisms underlying susceptibility to affective disorders, with particular focus on adolescent brain maturation. Key areas include: Limbic and prefrontal neural circuit dynamics Neuromodulator and transmitter systems in emotional regulation Decision-making processes using mouse models Ex vivo electrophysiology and anatomical tracing techniques In vivo physiological measurements and behavioral testing Recent publications demonstrate strong focus on neural circuitry of aversive learning (37% of works), synaptic protein functions (22%), and serotonergic modulation of emotional processing (22%). Primary methodologies include electrophysiology (56% of studies), molecular interventions (33%), and behavioral analysis (100%). There are currently no available research positions in Dr. Sengupta's laboratory, and no formal advising relationships or scientific awards are documented in the available materials.

David Shermanمشاهده پروفایل

دانشیار

• Functional Analysis
• Operator Algebras
• Noncommutative Lp Spaces
• +۴ مورد دیگر

David Sherman is an Associate Professor in the Department of Mathematics at the University of Virginia, part of the College of Arts & Sciences. His research focuses on functional analysis and operator algebras, with specialized interests in noncommutative L p spaces, operator theory within von Neumann algebras, model theory of operator algebras, and noncommutative convexity. He has contributed to foundational studies of noncommutative L p spaces, isometries between operator algebras, and applications of logic to operator algebras. Recent teaching includes advanced calculus, linear algebra, and operator theory courses. His work bridges pure mathematics with interdisciplinary themes, such as applying set-theoretic methods to algebraic structures and exploring connections between operator algebras and logic. Sherman has co-authored significant papers on topics like support expansion C*-algebras and quantization of coarse spaces, reflecting his expertise in modern operator theory. His research outputs emphasize structural properties of operator algebras, with notable contributions to the classification of II₁ factors and model-theoretic approaches to noncommutative systems. While no specific awards are listed, his extensive publication record and teaching roles highlight his academic impact. Sherman maintains administrative involvement in undergraduate mathematics programs and graduate initiatives at UVA.

Daniel Fruminمشاهده پروفایل

استادیار

• Logic
• Type Theory
• Program Verification
• +۵ مورد دیگر

Daniel Frumin is an Assistant Professor in the Department of Fundamental Computing Science at the University of Groningen, affiliated with the Bernoulli Institute. His research focuses on Logic, Type Theory, and Program Verification, with a particular emphasis on formal methods for concurrency, type systems, and homotopy type theory. He has contributed to foundational work in denotational semantics, modular programming language design, and mechanized verification of concurrent systems. His expertise includes the application of logical frameworks to concurrency models, such as ReLoC (Relational Logic for Concurrent Programming) and the integration of type theories with operational semantics. Recent work explores guarded interaction trees, interval domains in homotopy type theory, and compositional security properties for fine-grained systems. Frumin has published extensively in top-tier venues like ESOP, CONCUR, and ACM POPL, with peer-reviewed contributions on topics ranging from bunched implications in session-based concurrency to formal verification of data structures like concurrent queues. His research often bridges theoretical computer science and practical formal verification, leveraging tools like Coq for mechanized proofs. Collaborations include projects with institutions such as Aarhus University (Denmark) and the University of Bologna, focusing on univalent foundations, categorical semantics, and security verification. His work is supported by grants from the Dutch Research Council (NWO) and industry partnerships like Meta's Folly Library verification efforts. Labs/Teams: Active contributor to the Bernoulli Institute's Formal Methods Group and the Univalent Foundations initiative. His research group specializes in applying type-theoretic and categorical methods to concurrency and verification challenges.