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

Arne Lauchtمشاهده پروفایل

دانشیار

• Quantum Engineering
• Quantum Computing
• Spin Quantum Computing
• +۸ مورد دیگر

Arne Laucht is a Scientia Associate Professor for Quantum Engineering at the University of New South Wales (UNSW) in the School of Electrical Engineering & Telecommunication. He is also the Program Manager at the ARC Centre of Excellence for Quantum Computation and Communication Technology (CQC2T). His research focuses on quantum computing, spin-based qubits in silicon, donor atoms, SiMOS quantum dots, and color centers in diamond/silicon carbide. Education: PhD (summa cum laude) in Quantum Optics from Technical University of Munich (2010), supervised by Prof Jonathan Finley. Research Interests: Quantum engineering, spin qubits in silicon, nanoscale device engineering, diamond vacancy centers, and quantum photonics. He explores ultra-long coherence times, quantum gate operations, and scalable qubit architectures. Publications Trends: Recent work emphasizes silicon-based spin qubits, quantum dot arrays, global field control, and room-temperature solid-state devices. Key topics include entanglement, Bell inequality violations, and fault-tolerant protocols. Labs & Collaborations: Leads the Ultra-Low Temperature Optics (ULTO) Lab, enabling cryogenic optical measurements. Collaborates with groups at UNSW, Macquarie University, and the University of Melbourne on diamond color centers and quantum materials.

• Computer Science Education
• Curriculum Development
• Education Technology (EdTech)
• +۳ مورد دیگر

Stewart Powell is an Honorary Lecturer in the Computer Science Department at Swansea University's Faculty of Science and Engineering. He specializes in Education Technology (EdTech), focusing on enhancing teaching and learning through evolving technologies like AI. Previously, he served as Assistant Director of Technocamps, a national outreach program supporting schools across Wales in computer science education. His work emphasizes strategic leadership in EdTech development and curriculum innovation. Research Interests: Stewart’s expertise includes formal methods in education, computational thinking, and STEM education. He collaborates on projects such as disease modeling visualizations for children and teacher training initiatives. His publications span topics from K-12 computing education to innovative pedagogical frameworks. Program Leadership: As Program Co-ordinator for Technocamps, he manages national coordination, securing funding and ensuring program effectiveness. Recent work includes developing zombie-based disease modeling tools to engage students in STEM concepts. Labs/Teams: Central to Technocamps, he leads a team delivering outreach across Wales, integrating cutting-edge technologies into educational settings.

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

پژوهشگر

• Software Verification
• Computability Theory
• Computational Complexity
• +۷ مورد دیگر

David Monniaux is a senior researcher (Researcher) at the CNRS, based at VERIMAG laboratory, a joint research unit of CNRS and Université Grenoble Alpes. His work focuses on formal methods for software verification, particularly on proving the correctness of critical software used in civil aviation and industrial applications. He holds a PhD in Computer Science from Université Paris Dauphine (2001) and a Habilitation from Université Joseph Fourier, Grenoble (2009). Education: PhD in Computer Science, 2001, Université Paris Dauphine Accreditation to Supervise Research (Habilitation), 2009, Université Joseph Fourier, Grenoble Agrégation in Mathematics Research Projects: VERASCO (2012–2015): Integrated a static analyzer into the CompCert compiler and proved its correctness using Coq. STATOR (2012–2017): Advanced program invariant inference techniques using abstract interpretation and SMT-solving. ASOPT (2009–2012): Static analysis algorithms leveraging optimization and game theory. Key Contributions: Developed the Astrée static analyzer for proving absence of runtime errors in C programs. Pioneered work on verified compilers and formal verification of optimizations. Contributed to tools like Mjollnir for quantifier elimination and the Verimag Polyhedra Library. Grants & Awards: ERC Consolidator Grant (STATOR project). ANR funding for VERASCO. Labs & Teams: Leading research at VERIMAG in static analysis and formal methods. Collaborations with Absint GmbH for industry applications of Astrée.

Kathleen C Garwoodمشاهده پروفایل

دانشیار

• Data Visualization
• Sustainability Rankings
• Statistical Analysis
• +۴ مورد دیگر

Kathleen C. Garwood is an Associate Professor in the Department of Decision and System Sciences at Saint Joseph’s University. She holds a PhD in Statistics from Temple University (2014), with prior degrees from Villanova University (MS, 2004) and Drexel University (BS, 2000). Her work bridges academic research, pedagogy, and social impact through data-driven initiatives. Dr. Garwood’s research focuses on statistical methodologies for sustainability rankings, cyber-physical systems trustworthiness, and educational analytics for underserved populations. Notable projects include UN collaboration on PRME school assessments and data visualization work with Fe y Alegría schools in Bolivia. She leads the St. Joseph’s Tableau Users Group (SJU TUG), fostering industry connections through Tableau skill development. Her teaching spans 14+ years in business analytics, emphasizing real-world datasets and pedagogical innovation. Awards include the 2019 MAACBA Innovation in Teaching Award and 2020 Ignatian Paradigm grant for educational case studies. Key grants include work on CPS modeling (2018-2019) and a Morris Grant for curricular research (2015). Publications highlight interdisciplinary approaches in data mining, sustainability metrics, and healthcare analytics. Ongoing projects integrate Ignatian pedagogy principles with quantitative education, emphasizing ‘magis’—the pursuit of excellence for others.

Ana-Maria-Roxana Petrescuمشاهده پروفایل

پژوهشگر

• Greenhouse gas emissions
• Methane emissions from wetlands
• Climate data analysis
• +۵ مورد دیگر

Dr. Ana-Maria-Roxana Petrescu is a Visiting Researcher at the Faculty of Science, Earth and Climate department of Vrije Universiteit Amsterdam. She specializes in greenhouse gas (GHG) emissions research, particularly methane emissions from natural wetlands and other sectors. Her work focuses on reconciling bottom-up and top-down emission estimates to improve UNFCCC reporting accuracy. She contributes to EU projects like VERIFY and AVENGERS, developing tools for national agencies to validate emissions inventories using atmospheric data. PhD in Environmental Sciences/Hydrology 15+ years of research experience Expertise in hydrological modeling, remote sensing, and land-climate interactions Her research integrates emission inventory data, process-based models, and inversion techniques to assess GHG fluxes. Key contributions include European methane and nitrous oxide emission synthesis and cross-validation of methodologies for policy-relevant emission reporting.

• Radiation Biology
• Medical Physics
• Dosimetry
• +۱۲ مورد دیگر

Professor Giuseppe Schettino is a Professor of Medical Physics at the University of Surrey with a joint appointment at the National Physical Laboratory (NPL). He also holds honorary positions as Senior Lecturer at Queen’s University Belfast and University College London. His academic journey began with a degree in Nuclear Physics from the University of Naples (1994) and a PhD from King’s College London (1999), followed by postdoctoral work at the Gray Cancer Institute and Columbia University. He served as a Lecturer at Queen’s University Belfast (2007–2013) before joining NPL as Principal Research Scientist (2013–2018), where he later became Head of Science for Medical Physics. Education: PhD in Physics, King’s College London, UK (1999) Laurea in Nuclear Physics, University of Naples, Italy (1994) His research focuses on radiation biology, advanced radiotherapy, and dosimetry , with emphasis on MRI-guided radiotherapy, proton and ion beam therapy, microdosimetry, and nanoparticle-based radiosensitization. He leads UK efforts in standardizing dosimetry and QA for preclinical radiotherapy, funded by Innovate UK and supported by CTRad and Cancer Research UK. His recent publications (2020–2023) reflect a strong trend in preclinical radiotherapy, 3D tumour models, dosimetry innovation, and biological effects of radiation . Key themes include radiomics, magnetic field interactions, and nanoparticle applications in cancer therapy. Scientific Awards and Recognition: No explicitly listed awards, but leadership in nationally funded programs indicates recognition. He has advised and collaborated with numerous researchers across institutions. Though no formal student list is provided, his senior authorship on multiple studies suggests mentorship roles. He is actively involved in developing anthropomorphic phantoms, end-to-end QA tests, and novel detectors for preclinical research. Labs and Teams: Medical Radiation Group, National Physical Laboratory Collaborations with Queen’s University Belfast, UCL, and international radiobiology consortia Lead of UK standardization initiatives in preclinical dosimetry

Elżbieta Pawlak-Hejnoمشاهده پروفایل

مدرس

• Communication and Media Studies
• Press Studies
• History of Journalism
• +۷ مورد دیگر

Dr Elżbieta Pawlak-Hejno is a Lecturer at the Department of Media Communication, Faculty of Political Science and Journalism, Maria Curie-Skłodowska University, Poland. Her academic career spans communication studies, rhetoric, and media education. She earned a Polish philology degree and postgraduate studies in applied rhetoric, management skills, and science promotion. Research Focus: Social communication, press history, rhetorical strategies, creative writing, media ethics Current Projects: Coordination of the Social Mindfulness School project funded by European Social Fund Key Publications: Author of the monograph Bojowinice czy wariatki? Obraz sufrażystek angielskich w prasie polskiej (2016), with recent articles on crowdfunding rhetoric and digital pedagogy. Her work analyzes historical and modern media through the lens of gender representation, including suffragette coverage in pre-WWI Polish press. She contributes to projects like the Social Mindfulness School, emphasizing journalistic skills for youth employment. Awards include a NCN Miniatura grant (2021) and collaborations with Lubelska Fundacja Rozwoju. She actively participates in academic conferences and media discussions, appearing on TVN and public radio programs. Her ORCID: 0000-0003-4731-363X.

Vaughan Prattمشاهده پروفایل

استاد

• Global Environmental Change
• Foundations of Geometry
• Autonomous Vehicles
• +۷ مورد دیگر

Vaughan Pratt is a Professor in the Department of Computer Science at Stanford University, with affiliations in Electrical Engineering (by courtesy), the AI Lab, Theory group, and the Center for the Study of Language and Information (CSLI). His research spans computer science, mathematics, and climate science. Education: M.Sc. in Computer Science from Sydney University (1969), Ph.D. in Computer Science from Stanford University (1971) Research Interests include global environmental change, foundations of geometry, autonomous vehicles, concurrency theory, and speech recognition. His work on climate change integrates data analysis and modeling, while his mathematical research explores category theory and geometric frameworks. Recent Publications highlight his interdisciplinary contributions, from concurrency models using Chu spaces to climate sensitivity analysis and geometric algebra. Key trends involve linear logic, coalgebraic structures, and climate feedback mechanisms. Scientific Awards include ACM Fellow IEEE Life Senior Member American Geophysical Union (AGU) Life Member University of Sydney 2017 Alumni Award for Innovation and Entrepreneurship Advising : Directed Ph.D. theses of notable students like David Harel, Bob Streett, and Keyvan Mohajer. His work bridges formal methods, programming language design, and applications in robotics and climate science.

Elsa Gunterمشاهده پروفایل

استاد پژوهشی

• Formal methods
• programming languages
• software engineering
• +۶ مورد دیگر

Elsa Gunter is a Research Professor at the Department of Computer Science , University of Illinois at Urbana-Champaign . Her work bridges formal methods , programming languages , and human-computer interaction with a focus on verification and security. Education: Ph.D. in Mathematics, University of Wisconsin-Madison (1987) M.A. in Mathematics, University of Wisconsin-Madison (1981) B.A. in Mathematics, University of Chicago (1979) Her research interests include formal verification , type theory , and secure system design . She has developed tools like VeriF-OPT for parallel program optimization and Tutela for modeling human-computer protection envelopes. Her recent publications focus on concurrent systems , compiler verification , and security protocols . Notable awards include the Most Influential 10-Year Paper Award at RE 2010 and the EASST Best Paper at ETAPS 2001 . She has advised students like Dennis Griffith and Liyi Li , while collaborating on projects such as DSILL (distributed functional language) and PTRANS (program transformation semantics).

Johannes Hölzlمشاهده پروفایل

پژوهشگر

• Formal Methods
• Interactive Theorem Proving
• Computer Science
• +۳ مورد دیگر

Johannes Hölzl is a researcher affiliated with Vrije Universiteit Amsterdam . His work focuses on Formal Methods and Interactive Theorem Proving , with a strong emphasis on formal verification of probabilistic systems and programming language design. His recent publications include: Markov Processes in Isabelle/HOL (2017) Fixed Points for Markov Decision Processes (2016) A Verified Compiler for Probability Density Functions (2015) These works bridge theoretical computer science, mathematics, and probability theory, showcasing his expertise in developing formally verified tools for mathematical modeling and programming. He has served as a committee member for the CPP 2019 track at POPL, and has previously contributed to co-located workshops such as LAFI and ESOP. His research is disseminated through formal verification frameworks and theorem proving systems like Isabelle/HOL.

Chris Hawblitzelمشاهده پروفایل

پژوهشگر

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

Chris Hawblitzel is a Senior Principal Researcher at Microsoft Research's Systems Research Group . His work spans programming languages, operating systems, formal verification, and security, with a focus on integrating systems concepts into safe language environments. Research Themes : Systems verification, security, concurrent programming, and type systems Awards : Distinguished Artifact Awards (2025, 2024), Jay Lepreau Best Paper Award (2024), Best Paper Awards (PLDI 2010, EuroSys 2006) His recent publications (2025-2022) focus on Rust verification ( Verus ), storage/distributed systems verification ( PoWER , IronFleet ), and cryptographic systems ( EverCrypt ). He contributes to foundational work in linear types, ghost state, and automated proof generation for systems code. Notable collaborations include work with Bryan Parno , Jon Howell , and Jay Lorch on verification frameworks and security modules for modern computing environments.

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

پژوهشگر

• Program Synthesis
• Operating Systems
• Human-Computer Interaction
• +۵ مورد دیگر

Jingmei Hu is an Applied Scientist at Amazon since 2022, with a Ph.D. in Computer Science from Harvard University (2022) under Prof. Margo Seltzer and Prof. Stephen Chong. Her research spans program synthesis and verification for systems, focusing on low-level OS development, human-computer interaction, and parallel computing. Ph.D. in Computer Science, Harvard University, 2022 M.S. in Computer Science, Harvard University, 2018 B.S. in Computer Science, Shanghai Jiao Tong University, 2016 Her work combines program synthesis with human-computer interaction and parallelism to improve usability and scalability, particularly for assembly-level code generation. She has also explored provenance tracking to enhance data scientist workflows and developed secure authentication methods for mobile devices. Her recent publications address assembly synthesis efficiency, OS porting, and provenance-driven debugging tools. Key themes include formal methods, domain-specific languages, and automated reasoning. ACM-W Scholarship (2020) National Scholarship (China), Top 1% at SJTU (2013) She has served on review committees for conferences like OOPSLA, PLDI, and POPL, and her technical expertise includes Python, OCaml, C/C++, and AWS cloud services.

Jiasi Shenمشاهده پروفایل

استادیار

• Programming Languages
• Software Engineering
• Program Analysis
• +۳ مورد دیگر

Jiasi Shen is an Assistant Professor in the Department of Computer Science and Engineering at The Hong Kong University of Science and Technology. She leads the HKUST Automated Reasoning and Transformation of Software research group. PhD and Master's from Massachusetts Institute of Technology Bachelor's from Peking University Her research focuses on automating software development through program analysis , program transformation , and active learning . She explores how to systematically introduce safety checks, optimize performance, and enable cross-platform adaptation while maintaining core functionality. Recent work includes: Dynamic graph-based fingerprinting for cryptomining detection Benchmarking LLMs for operating system verification tasks Improving program comprehension via deimplicitization techniques She has received the Distinguished Artifact Award at SLE 2017 and serves on program committees for OOPSLA, Onward!, and SPLASH conferences. Her group supervises multiple PhD and MPhil students while developing systems like Konure (database application modeling) and KumQuat (parallel Unix command synthesis).

Jasmin Blanchetteمشاهده پروفایل

استاد

• Theorem Proving
• Formal Verification
• Automated Reasoning
• +۴ مورد دیگر

Prof. Dr. Jasmin Blanchette is a faculty member at the Ludwig Maximilian University of Munich, holding the chair in Theoretical Computer Science and Theorem Proving . She serves as Dean of Studies for Computer Science and collaborates with the VeriDis group at Loria, Nancy. Her research focuses on combining automatic and interactive theorem proving to enhance proof automation for critical systems and mathematical research. Key Research Areas: Higher-order logic, formal verification, superposition calculus, proof assistants (Isabelle/HOL, Lean), definitional mechanisms for (co)datatypes. Recent Articles address advanced topics in higher-order reasoning, SMT integration, and algorithm verification. Scientific Recognition: Co-awarded best papers at FroCoS 2023 and CADE 2023. Supervises a team of postdocs and PhD students working on projects like Matryoshka and Nekoka. Her tools (Sledgehammer, Nitpick) are widely used in formal methods.

Marília R. Nepomucenoمشاهده پروفایل

پژوهشگر

• Demography
• Mortality Studies
• Population Aging
• +۵ مورد دیگر

Marília R. Nepomuceno serves as a Research Scientist and Training Chair at the Max Planck Institute for Demographic Research (MPIDR) in Rostock, Germany, where she is affiliated with the Laboratory of Population Dynamics and Sustainable Well-Being and the Laboratory of Demographic Data. Her work bridges demographic methodology with empirical analysis of population health trends. Her research centers on mortality dynamics, lifespan variation, and demographic responses to crises like the COVID-19 pandemic. Key interests include: Regional mortality inequalities in Brazil and Europe Methodological innovations in lifespan variation measurement (e.g., CAL† metric) Data quality assessment for extreme age reporting Pandemic impact analysis beyond age-structure effects Her recent publications reveal a strong focus on spatial disparities in life expectancy, cohort mortality reconstruction, and the demographic implications of pandemic responses. Nepomuceno contributes to major demographic resources including COVerAGE-DB, the global database tracking age-structured COVID-19 outcomes. As Training Chair, she oversees academic development programs at MPIDR, though specific student mentorship details are not publicly documented. Her work frequently involves cross-institutional collaborations with researchers across Latin America and Europe. She actively participates in laboratory initiatives focused on population dynamics and demographic data infrastructure, contributing to MPIDR's role as a global leader in demographic science. Current projects examine seasonal mortality patterns and their implications for life expectancy disparities across European regions.