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

Denis Fougerouseمشاهده پروفایل

مدرس ارشد

• Structural Geology
• Economic Geology
• Nanochemistry
• +۳ مورد دیگر

Denis Fougerouse is a Senior Lecturer at Curtin University’s School of Earth and Planetary Sciences (EPS), specializing in structural and economic geology with a focus on nanogeoscience and advanced characterization techniques. He leads research using atom probe tomography (APT) to study mineral interfaces, fluid dynamics, and critical metal distribution. His work spans asteroid mineralogy (e.g., Ryugu samples), ore genesis, and nuclear geology (e.g., Chernobyl zircon re-equilibration). Fougerouse is a key member of Curtin’s Geoscience Atom Probe Facility, advancing applications of APT in geosciences. Research interests include gold remobilization mechanisms, sulfide chemistry, and shock metamorphism. He has contributed to landmark studies on pyrite microtextures, xenotime geochronology, and nanoparticle transport in gold deposits. Fougerouse’s awards include the 2024 Mineralogical Society of America Award for pioneering nanoscale mineral analysis. His interdisciplinary collaborations span planetary science, environmental geochemistry, and materials science, reflecting his role at the forefront of geoscience innovation.

• Multiphase Flow in Porous Media
• Phase-Field Modeling
• Reactive Transport
• +۶ مورد دیگر

Xiaojing (Ruby) Fu is an Assistant Professor of Mechanical and Civil Engineering at the California Institute of Technology and a William H. Hurt Scholar (2024-present). Her research focuses on multiphase fluid mechanics in porous media, integrating theory, computation, experiments, and field observations to address geoscience and engineering challenges. Her educational background includes: B.S. in Engineering from Clarkson University (2011) M.S. from Massachusetts Institute of Technology (2015) Ph.D. from Massachusetts Institute of Technology (2017) Professor Fu's research centers on cryosphere hydrology, subsurface engineering, and phase transitions in porous media. She investigates multiphase flow dynamics in contexts like permafrost thaw, snow metamorphism, and carbon sequestration using phase-field modeling and experimental techniques. Her work bridges fundamental physics with applications in environmental resilience and energy systems, emphasizing predictive capabilities for large-scale phenomena through simplified multiscale theories. Analysis of her 15 most recent publications reveals intense focus on cryosphere processes (snow, permafrost) using advanced phase-field modeling and fiber-optic sensing. Key trends include freezing infiltration patterns, meltwater transport in layered snow, and seismic monitoring of soil moisture. Her work increasingly integrates field validation with computational models for environmental applications like drought monitoring and carbon sequestration. Her scientific recognition includes: William H. Hurt Scholar (2024) Professor Fu actively mentors graduate students, as evidenced by qualified students in her research group. She teaches core courses including Thermal Science (ME 11 abc) and Computational Methods for Flow in Porous Media (ME/CE/Ge/ESE 146), training students in both theoretical foundations and applied techniques for subsurface flow problems. She leads the Fu Research Group on Mechanics and Physics of Porous Media Flow, which develops multiscale theories to predict large-scale environmental and energy system behaviors. The group combines mathematical modeling, laboratory experiments, and field observations to address problems in geologic carbon storage, cryosphere dynamics, and subsurface resource management, with recent emphasis on climate change impacts and monitoring technologies.

• Geology
• Economic Geology
• Greenland Geology
• +۳ مورد دیگر

Christian Boldsen Knudsen serves as a Visiting Assistant Professor at the University of Copenhagen, affiliated with Copenhagen University Library. His institutional email (sund.ku.dk) indicates association with the Faculty of Health Sciences despite his geological research focus, suggesting a specialized academic support role. His research centers on Precambrian geology with emphasis on gold-hosting environments in southern West Greenland. Key interests include supracrustal rock analysis, mineral deposit formation, and Archean geological processes, as evidenced by his fieldwork on Storø island. This work bridges economic geology and regional tectonic studies. Knudsen's publication record demonstrates expertise in Greenland's Precambrian basement complexes, particularly lithological controls on gold mineralization. His research integrates field geology with ore deposit modeling within ancient cratonic settings. No scientific awards or honors were documented in available sources. Information regarding student supervision, research grants, or collaborative teams is not publicly accessible. His library affiliation implies potential contributions to academic information services rather than conventional laboratory-based research.

Juan Zhaiمشاهده پروفایل

استادیار

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

Juan Zhai is an Assistant Professor in the Manning College of Information and Computer Sciences (CICS) at the University of Massachusetts Amherst. She co-directs the Laboratory for Advanced Software Engineering Research (LASER) and is a member of the UMass NLP group. Her research advances software engineering through automated techniques for building high-quality systems with emphasis on behavioral specifications, AI safety, and trustworthy AI. Her work addresses the fundamental challenge of aligning software behavior with intended specifications through two main directions: automated specification synthesis (translating natural language comments to formal specifications via tools like C2S and LLMCup) and defect detection/repair (developing frameworks for AI system testing, bias mitigation, and training diagnostics). Her vision integrates these into end-to-end assurance systems that continuously validate, repair, and audit evolving software in dynamic environments. Recent publications (2024-2025) reveal dominant trends at the software engineering/AI intersection: formal specification synthesis for IoT and code generation, comment maintenance using LLMs, deep learning framework testing (DevMuT, Citadel), bias detection in LLMs, and automated training repair (AutoTrainer, DREAM). These contributions appear in top venues including ICSE, FSE, ASE, ISSTA, and ACL. Professor Zhai currently advises PhD student Gehao Zhang (focusing on Software Engineering and AI Safety) and actively recruits new PhD/Master's students. Her LASER lab develops practical tools for specification inference, LLM-driven synthesis, and trustworthy AI, while collaborating with the UMass NLP group on language-centric software analysis. The LASER lab, co-directed by Zhai, pioneers techniques for behavioral specification enforcement across traditional and AI-powered systems. Key projects include CPC for bidirectional code-comment analysis, ModelMeta for deep learning framework testing, and frameworks for bias mitigation across the ML lifecycle. The lab emphasizes practical, scalable tools that enhance correctness, robustness, and fairness in critical AI applications.

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

استادیار

• Artificial Intelligence
• Machine Learning
• Natural Language Processing
• +۴ مورد دیگر

Tianyi Zhang is a Tenure-Track Assistant Professor in the Department of Computer Science at Purdue University, part of the College of Science. He leads the Human-Centered Software Systems Lab, focusing on AI-driven systems that synergize human expertise with machine intelligence to enhance programming productivity and software reliability. Prior to Purdue, he was a Postdoctoral Fellow at Harvard University under Dr. Elena Glassman and earned his Ph.D. from UCLA (2019) and B.Sc. from Huazhong University of Science and Technology (2013). Education: Ph.D. in Computer Science, University of California, Los Angeles (2019) Bachelor's in Computer Science, Huazhong University of Science and Technology (2013) Research Interests: His work spans Software Engineering, Human-Computer Interaction, and AI. Key areas include program synthesis, interactive debugging tools, autonomous driving system testing, and mitigating biases in AI models. He develops systems like Interpretable Program Synthesis and SQLucid to bridge human and machine intelligence. Recent Trends in Publications: Recent work emphasizes human-in-the-loop AI, including mixed-initiative systems for data wrangling (Dango), interactive program repair, and bias analysis in text representations (STILE). He also explores challenges in autonomous driving testing and LLM-based code generation errors. Awards & Grants: NSF Career Award (2024) Amazon Research Award Showalter Trust Research Award for pre-diabetes research $1.5M NSF grant for software supply chain security Best Paper Honorable Mentions at CHI and VAHC Advising & Teams: Supervises 12+ PhD/Master's students and 30+ research interns. Notable advisees include Bonan Kou (API misuse studies) and Yuan Tian (text-to-SQL systems). Collaborates with Harvard Medical School on healthcare data analysis. Labs & Initiatives: Directs Purdue's Human-Centered Software Systems Lab. Co-founded the Societal Impact Fellows program. Active in open-source projects like Examplore for API usage visualization and JShrink for Java debloating.

Alexander Pretschnerمشاهده پروفایل

استاد

• Software Engineering
• Testing
• Information Security
• +۵ مورد دیگر

Prof. Alexander Pretschner is a Professor of Software & Systems Engineering at the Technical University of Munich (TUM) and Founding Director of the Bavarian Research Institute for Digital Transformation (bidt). He also serves as Scientific Director of fortiss, a Bavarian research institute for software-intensive systems. His research focuses on software engineering, testing, information security, and ethical software development. Pretschner holds a PhD from TUM and has held academic positions at Karlsruhe Institute of Technology (KIT) and TU Kaiserslautern. He is a co-editor of several prestigious journals, including IEEE Transactions on Reliability and the Journal of Software Testing, Verification and Reliability. Education: PhD in Computer Science, Technical University of Munich MSc in Computer Science, University of Kansas (on Fulbright Scholarship) Diplom in Computer Science, RWTH Aachen University Research Interests: His work spans testing methodologies, secure software design, and ethical considerations in agile development. Notable contributions include frameworks for metamorphic testing, distributed data usage control, and accountability mechanisms for cyber-physical systems. Awards: IBM Faculty Award (2012, 2013) Google Focused Research Award (2011, 2012) EARTO Innovation Prize (2014) 2nd Platz Supervisory Award (2020) Advising & Grants: Pretschner has supervised numerous PhD and Master’s students, contributing to over 200 publications. He leads projects like EDAP (Ethical Deliberation in Agile Processes) and collaborates with industry partners on cybersecurity and AI ethics initiatives. Labs & Teams: His work is anchored in bidt, fortiss, and TUM’s Chair of Software & Systems Engineering, focusing on societal impacts of digitalization and trustworthy AI systems.

Andrea Megela Simmonsمشاهده پروفایل

استاد

• Behavioral Neuroscience
• Comparative Neuroscience
• Development
• +۵ مورد دیگر

Andrea Megela Simmons is a Professor at Brown University in the Department of Cognitive, Linguistic, and Psychological Sciences with a secondary appointment in the Department of Neuroscience . She is a member of the Carney Institute for Brain Science and serves as a Principal Investigator on an ONR MURI project. Education : A.B. from the University of Pennsylvania (1973), Ph.D. from Harvard University (1978), Postdoctoral research at Cornell University Simmons specializes in cognitive and neural mechanisms of sound perception and communication across species including frogs, bats, dolphins, and humans. Her work bridges behavioral neuroscience, comparative neurology, and developmental studies to explore auditory processing, echolocation, and sensory integration. Her recent publications highlight interdisciplinary trends in auditory neuroscience, focusing on sound exposure effects, metamorphic neurodevelopment, and sensory-motor coordination in cluttered environments. Key subfields include echolocation, lateral line function, tectal connectivity, and acoustic adaptation across species. Scientific Awards : Fellow, Acoustical Society of America Simmons has received grants from the Office of Naval Research (ONR) for MURI projects and has taught courses such as Animal Behavior , Evolution and Development of the Brain , and Auditory Perception Laboratory .

• Tectonics
• Lithosphere Deformation
• Structural Geology
• +۳ مورد دیگر

Dr. Ernst Willingshofer is an Associate Professor of Tectonics in the Department of Earth Sciences at Utrecht University's Faculty of Geosciences. His research focuses on the coupling of deep crustal and upper mantle processes with surface deformation, particularly in collision zones and rift systems. He employs field studies and physical analogue modelling to investigate lithospheric rheology, strain localization, and tectonic evolution. Research Interests: Willingshofer's work spans tectonics, lithosphere deformation, and structural geology. Key themes include the influence of rheological stratification on strain partitioning, analogue modelling of orogenic systems, and dynamics of basins and orogens. His research has applications in understanding Alpine, Mediterranean, and global tectonic processes. Articles Trend: Recent publications (2021–2024) emphasize analogue modelling innovations, strain partitioning mechanisms, and tectonic evolution of collision zones. Subduction initiation, passive margin dynamics, and intracontinental deformation are recurring themes, with strong focus on Mediterranean and Alpine geology. Teaching & Advising: Coordinates BSc courses ( Deformation and Metamorphism of the Crust , Pyrenean Fieldwork ) and MSc courses ( Modelling Crust and Lithosphere Deformation , Dynamics of Basins and Orogens ). Supervises MSc, BSc, and guided research projects. Laboratory: Leads the Earth Simulation Lab, specializing in analogue modelling of tectonic processes.

Eric Robertsمشاهده پروفایل

استاد

• Basin analysis
• energy exploration
• sedimentary geology
• +۱۲ مورد دیگر

Eric Roberts is a Professor of Geology and Geological Engineering and Director of the Potential Gas Agency at the Colorado School of Mines. His research focuses on basin analysis, energy exploration, and sedimentary geology with specializations in Mesozoic-Cenozoic basins of Gondwana and North America. He leads projects in U-Pb geochronology, critical minerals exploration, and paleoenvironmental reconstruction through vertebrate paleontology and stratigraphy studies. Roberts' work integrates advanced geochronological techniques with field-based analyses to address questions in paleobiology, resource exploration, and earth system dynamics. Key research themes include: Geochronology of sedimentary and volcanic deposits Paleoclimate reconstruction using paleosols Stratigraphic frameworks for dinosaur fossil records Resource potential of helium/hydrogen reserves Antarctic and African vertebrate paleontology His exploration of hominin burial practices in the Rising Star Cave System has provided critical insights into early human behavior. Roberts' interdisciplinary approach bridges geological, biological, and environmental sciences to advance understanding of Earth's history and resource management strategies.

• Geology
• Petroleum Geology
• Geochemistry
• +۳ مورد دیگر

Professor John Parnell is the Chair in Geology & Petroleum Geology at the University of Aberdeen , affiliated with the School of Geosciences and Department of Geology and Petroleum Geology . His research focuses on geochemistry, paleoenvironmental reconstruction, trace element cycling, and sedimentary systems , with significant contributions to studies of the Rhynie Chert, Bowland Shale, and Lewisian Complex. Research Interests Professor Parnell's work spans: Geochemical analysis of Paleoproterozoic and Neoproterozoic systems Trace metal mobility in sedimentary and metamorphic environments Organic carbon burial and its tectonic implications Planetary analog studies for Mars exploration Shale resource characterization and environmental impact assessment Recent Publications His recent articles highlight investigations into: Graphitization processes in Scottish Highlands marbles Sulphur isotope records in Precambrian successions Trace element dynamics in the Bowland Shale Biogeochemical cycling at the Precambrian-Cambrian boundary Labs & Collaborations He leads research in the Geofluids Group and collaborates with the Planetary Sciences Department on Mars analog studies.

Zhendong Suمشاهده پروفایل

استاد

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

Zhendong Su is a full professor in the Department of Computer Science at ETH Zurich since August 2018. Previously, he held a full professorship at UC Davis from 2003 until June 2019. He earned his Ph.D. in Computer Science from UC Berkeley and dual Bachelor’s degrees in Computer Science and Mathematics from UT Austin in 1995. Affiliations: ETH Zurich: Full Professor (since 2018) UC Davis: Full Professor and Chancellor’s Fellow (2003–2019) IEEE Fellow, ACM Fellow, and Member of Academia Europaea His research focuses on programming languages, compilers, software engineering, computer security, and education technologies . Key contributions include compiler validation (e.g., Project Yin-Yang for SMT solvers and DBMS testing), testing tools like SQLancer, and educational innovations such as the Algot visual programming language. Recent work emphasizes secure AI (e.g., CipherSteal for TEE-shielded models) and compiler reliability (e.g., Artemis/Apollo for JIT validation). He has pioneered techniques like metamorphic testing and equivalence modulo inputs (EMI) for compiler validation, uncovering thousands of bugs in GCC/LLVM and SMT solvers. Awards: ICSE MIP Award (2022), ACM SIGSOFT Impact Paper (2018), NSF CAREER Award, and multiple industrial awards. His students have won IEEE TCSE Rising Star and SIGSOFT Impact Paper awards, securing roles at top universities and companies like Google and NVIDIA. Service: Steering committee member of ISSTA and ESEC/FSE, ACM Distinguished Speaker, and Associate Editor for ACM TOSEM. Program chaired ISSTA 2012 and co-chaired FSE 2016. Labs/Teams: Leads research groups on compiler validation, secure AI, and education technologies. Projects include Yin-Yang (SMT testing), SQLancer (DBMS fuzzing), and Algot (visual programming for education).

Alex Copleyمشاهده پروفایل

استاد

• Tectonics
• Earthquake Hazards
• Mountain Belt Dynamics
• +۴ مورد دیگر

Professor Alex Copley holds the position of Professor of Tectonics at the Department of Earth Sciences, University of Cambridge. His research focuses on understanding Earth's crustal deformation, tectonic forces, and earthquake dynamics across scales from microcrystalline to continental. He employs integrated approaches combining field geology, geophysical data, numerical modeling, and petrological analysis. His work addresses key questions on earthquake controls, tectonic force origins, and crustal material properties, with global field projects spanning Asia, the Middle East, Europe, Africa, and South America. Research interests include: Earthquake mechanics and seismic hazard mitigation Continental tectonics and mountain belt evolution Crustal rheology and lithospheric dynamics Metamorphic petrology and continental collision processes Large-scale controls on critical mineral distributions Recent publications highlight studies on fault mechanics in Iran, Himalayan shortening, and the thermal evolution of mountain ranges. His work bridges fundamental geoscience with societal applications, including earthquake resilience and tectonic influences on resource formation. Affiliations include Bullard Laboratories and collaborations with global institutions. No formal awards are listed in the provided text, though his research has been published in high-impact journals like Nature and Geophysical Research Letters .

David A. Fosterمشاهده پروفایل

استاد

• Tectonics
• Thermochronology
• Structural Geology
• +۵ مورد دیگر

David A. Foster is a Professor in the Department of Geological Sciences at the University of Florida, affiliated with the College of Liberal Arts and Sciences. His research integrates thermochronology, structural geology, and petrology to investigate tectonic and magmatic processes, with a recent focus on enhanced weathering of basaltic rocks for carbon sequestration. He leads the Thermochronology Lab, providing analytical services for mineral separation, Ar/Ar dating, and thermal modeling. Research interests span: Tectonics & Geodynamics : Orogenic collapse, terrane accretion, and supercontinent cycles. Thermochronology : Application of temperature-sensitive isotopic systems to crustal evolution. Surface Processes : Links between tectonic uplift, erosion, and carbon capture via rock weathering. His publications emphasize regional tectonics (e.g., Andes, Appalachians, Cordillera), utilizing geochronology, isotope geochemistry, and structural analysis. Recent work explores collisional orogens, basin provenance, and magmatic arcs, with recurring themes of extensional collapse and paleogeographic reconstructions. Educational contributions include co-authoring the comprehensive textbook Geology of National Parks , now in its 8th edition, which synthesizes geological features of U.S. national parks in the context of plate tectonics and landscape formation.

• Metallogeny of Sn-W-Mo-Li-In polymetallic deposits
• Metallogeny of hydrothermal Au and Ag polymetallic mineralization
• Metallogeny of Archaean Lithium-Cesium-Tantalum pegmatites
• +۵ مورد دیگر

apl. Prof. Dr. habil. Thomas Seifert is an extraordinary professor in the Professorship for Mineral Deposits and Petrology at the Faculty of Geosciences, Geotechnics and Mining of Technische Universität Bergakademie Freiberg. His academic career spans over three decades with significant contributions to economic geology and mineral deposit research. Since 2011, he has served as an apl. Professor for Geology and Metallogeny of mineral resource deposits, and since 2012 has been in charge of the Professorship for Lagerstättenlehre (mineral deposit science) and Petrology at TUBAF. Seifert's research focuses on metallogeny of Sn-W-Mo-Li-In polymetallic deposits, hydrothermal Au and Ag polymetallic mineralization, Archaean Lithium-Cesium-Tantalum pegmatites, petrology of lamprophyres and related rocks, and Large Igneous Provinces. His work bridges theoretical understanding with practical mineral exploration, particularly for critical raw materials essential for modern technology. His extensive field experience includes research in Germany, Australia, Zimbabwe, Russia, China, Canada, and the United States. His recent publications demonstrate a strong emphasis on critical metal exploration, particularly tin, lithium, indium, and other strategic elements. His research combines detailed mineralogical, geochemical, and geochronological studies to understand the formation processes of economically important deposits. The articles reveal his expertise in both European Variscan deposits and Archaean cratonic settings, with particular attention to the Erzgebirge region of Germany and comparable deposits worldwide. Seifert has received the Julius-Weisbach-Preis in 2009, recognizing his contributions to geoscience. He maintains active memberships in key professional societies including the Society of Economic Geologists (since 1996), International Association for the Genesis of Ore Deposits (since 1993), and Deutsche Gesellschaft für Geowissenschaften (since 2002). His collaborative research extends across international boundaries, working with institutions in Australia, Zimbabwe, Czech Republic, Sweden, and other countries. His work on iron oxide-apatite deposits, critical metal enrichment in skarn systems, and Ni-Cu-PGE sulfide mineralization demonstrates the breadth of his research interests and their relevance to modern mineral exploration challenges.

• Formal Verification
• Software Testing
• Programming Languages
• +۱۲ مورد دیگر

Alastair F. Donaldson is a Professor and Director of Research in the Department of Computing at Imperial College London, where he leads the FastPL research group. His work bridges formal methods, software testing, and programming languages, with a focus on enhancing the reliability of high-performance and parallel software systems. He has held key roles including Director of Research (since 2023) and previously served as Lecturer (2011–2014), Senior Lecturer (2014–2017), and Reader (2017–2020) before being promoted to Professor in 2020. His research interests include formal verification, compiler testing, GPU programming, concurrency, and fuzzing. He has made significant contributions to the verification of GPU kernels, metamorphic testing of graphics drivers, and the development of tools like GPUVerify and GraphicsFuzz. His work combines theoretical rigor with practical impact, demonstrated by the acquisition of his startup GraphicsFuzz by Google in 2018 and his subsequent roles as Senior Software Engineer and Visiting Researcher at Google. His recent publications reflect a sustained focus on compiler and system reliability, with trends in fuzzing, formal specification, and automated testing of complex systems such as WebGPU, CXL cache coherence, and large language models for code generation. His work increasingly integrates empirical validation with formal techniques to uncover subtle bugs in real-world systems. Scientific awards and recognitions include: 2017 BCS Roger Needham Award EPSRC Early Career Fellowship Fellow of the British Computer Society Best Paper awards at EuroSys 2024, MET 2021, IISWC 2019, IWOCL 2019, and ICST 2016 Best Industry Paper at ICST 2024 ACM SIGSOFT Distinguished Paper at ISSTA 2023 ACM SIGPLAN Most Influential OOPSLA Paper Award (2012 paper), awarded in 2022 Best Student Paper at PPoPP 2014 He has advised numerous PhD students and leads a vibrant research group. He has secured significant research funding and collaborates extensively with industry and academia. His service includes leadership roles such as General Chair of PLDI 2020, PC Chair of ECOOP 2019, and Steering Committee Chair of PLDI (2022–2025). He also serves on the advisory board of PACM-PL and on program committees for top venues including POPL, OOPSLA, PLDI, ICSE, and ISSTA. He leads the FastPL research group, which focuses on the design and implementation of programming tools and techniques for reliable software. The group conducts cutting-edge research in compiler testing, formal methods, and high-performance systems, fostering collaboration across academia and industry.