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

• Control Engineering
• Gas Turbine Systems
• Active Flow Control
• +۵ مورد دیگر

Professor Marko Bacic is a Professor of Engineering Science at the University of Oxford and Engineering Fellow in Control Systems and Gas Turbine Functionality at Rolls-Royce, PLC. He leads research at the Oxford Thermofluids Institute with dual focus on academic innovation and industrial gas turbine applications, holding continuous university affiliation since 2003. His educational credentials include: MEng in Engineering and Computing Science (2001), University of Oxford DPhil in Model Predictive Control (2004), University of Oxford Research spans Control Engineering , Gas Turbine Systems , and Active Flow Control , emphasizing hardware-in-the-loop simulation, thermo-mechanical systems, and fluid-structure interactions. Current projects address aerospace control, active tip clearance, and hybrid-electric propulsion through the Active Flow Control for Gas Turbines research group. Recent publications (2023-2025) reveal three dominant trends: hybrid-electric propulsion optimization for urban air mobility, acoustic excitation techniques for flow control in compressors, and thermal management innovations in turbine cooling systems, demonstrating strong industry-academia translation. Major awards include: Sir Henry Royce Award for Technical Innovation (2012) Sir Henry Royce Patent Award (2017) RAEng Silver Medal (2020) Research funding exceeds £3M through collaborations with Rolls-Royce and EPSRC: 'Active Control of Fluid Flows in Gas Turbines' (£1.1M, EPSRC/Rolls-Royce, 2014–2017) 'Advanced Transient Heat Transfer Facility' (£1.3M, Rolls-Royce/ATI, 2011-2015) 'Real-time transient disc modelling' (£72k, Rolls-Royce, 2011-2014) 'Hardware-in-the-loop simulation for UAVs' (£114k, EPSRC) 'Non-return valve failure investigation' (£126k, Rolls-Royce/EPSRC) 'Engineering applications of bird flight' ($300k, AFOSR) He directs experimental facilities including a subscale test rig for compact heat exchangers and hardware-in-the-loop simulators for gas turbine systems, with active Rolls-Royce partnerships driving patent development and market deployment.

Pierre Sagautمشاهده پروفایل

استاد

• Turbulent Flows
• Aerodynamics
• Aeroacoustics
• +۵ مورد دیگر

Pierre Sagaut is a Professor at Aix-Marseille Université , leading research in the Instabilities, Turbulence and Couplings team. He serves as Editor-in-Chief of the Journal "Computers and Fluids" and holds editorial roles at Journal of Computational Physics , Journal of Turbulence , and Journal of Scientific Computing . His academic leadership extends to roles in the Scientific Council of the AFM (President) and ERCOFTAC (Vice-President). Research Interests focus on Lattice Boltzmann Method (LBM) for compressible/turbulent flows Aerodynamics, aeroacoustics, and aerothermics Uncertainty quantification and data assimilation Immersed boundary techniques for complex geometries Scientific Awards include the 2024 CNRS Bronze Medal Senior Member, Institut Universitaire de France Article Trends highlight LBM applications in nuclear reactor safety, urban pollutant dispersion, helicopter intake dynamics, and transonic flows. Recent works address mass leakage correction, hybrid RANS/LES turbulence modeling, and quantum-inspired lattice gas algorithms. Grants & Collaborations involve partnerships with CNRS, ERCOFTAC, and AFM, focusing on computational fluid dynamics and turbulence modeling.

• Sociology and Ecology
• Emancipation Movements
• Political Autonomy
• +۴ مورد دیگر

Sylvaine Bulle is a Professor of Sociology (2nd class) at the University of Paris since 2017, affiliated with the Laboratory of Anthropology of Politics (LAP, UMR 8177 EHESS-CNRS). She is also associated with the Laboratory of Social and Political Change (University of Paris) and the French Research Center in Jerusalem (UMIFRE 7/CNRS-MAEDI). Her research delegation at the Van Leer Institute of Jerusalem (2017-2019) and qualifications as Professor by the National Council of Universities underscore her academic standing. Her research integrates: Sociology and ecology (environmental movements, sovereignty, war) Emancipation and autonomy movements Israeli-Palestinian conflict and intercommunity relations Pragmatic sociology applied to public problems Urban sociology and epistemology of social sciences Recent publications emphasize territorial conflicts, anarchist ecologies, and social movements in Israel/Palestine, often employing ethnographic methods to analyze spatial justice and autonomy. Her work consistently engages with themes of state power, grassroots resistance, and environmental activism. She co-animates EHESS seminars on sociology/ecology and Israeli contemporary studies, supervises master’s/doctoral candidates, and directs research through the EHESS doctoral school. No awards are documented. Laboratory engagements include the LAP (primary), Social and Political Change Lab, and French Research Center in Jerusalem, focusing on political anthropology and conflict analysis.

Kyun Ho Leeمشاهده پروفایل

دانشیار

• Space Propulsion
• Satellite System
• Thermal Engineering
• +۳ مورد دیگر

Kyun Ho Lee is an Associate Professor in the Department of Aerospace Engineering at Sejong University, specializing in space propulsion systems, satellite thermal engineering, and computational fluid dynamics (CFD). His career spans academic research and practical development in aerospace technologies. Ph.D., KAIST (2009) M.S., Yonsei University (2000) B.S., Yonsei University (1998) His research focuses on cutting-edge aerospace technologies, including Space Propulsion , Thermal Engineering , and Inverse Heat Analysis . Recent work explores CFD modeling of propulsion plumes, rarefied gas dynamics , and optimization of FEEP thrusters for small satellites. Applications extend to green propulsion systems, waste-to-fuel technologies, and advanced emitter designs. The latest publications highlight trends in ionic monopropellants , gallium-based FEEP systems , and thermal cracking of plastic waste for sustainable aviation fuels. Collaborations span computational modeling, propulsion system development, and environmental stress testing for spacecraft.

Malay K. Dasمشاهده پروفایل

استاد

• Computational Fluid Dynamics (CFD)
• Thermofluid Science
• Clean Energy Systems
• +۷ مورد دیگر

Malay K. Das is a Professor in the Department of Mechanical Engineering at the Indian Institute of Technology Kanpur . With a PhD from PennState, his career spans advanced research in thermofluid science, focusing on energy systems, carbon capture, and battery thermal management. B. E. (University of Calcutta), M. Tech. (IIT Kanpur), PhD (PennState) Teaches graduate-level courses like Machine Learning for Engineers and Mathematics for Engineers Leads two research laboratories: Energy Conservation and Storage Laboratory and Gas Hydrate Research Laboratory Research Interests: Computational Fluid Dynamics (CFD) applications in energy systems Physics-informed machine learning for thermofluid applications CO2 Sequestration and Methane Hydrate Reservoirs Thermal Management of Batteries and Fuel Cells Modeling Transport Phenomena in Porous Media Recent Publication Trends: His work focuses on energy conversion , gas hydrate dynamics , and advanced materials for electrochemical systems . Key areas include Lattice Boltzmann Methods , viscoelastic flow analysis , and nanofluid applications in carbon capture. Advising: Currently supervising PhD students Sourav Dhawan (CO2 Hydrates), Randeep Ravesh (Methane Recovery), Ayaj A. Ansari (Coalbed Methane), and Pawan K. Pandey (Cerebral Aneurysm Flow). Labs and Teams: Leads the Energy Conservation and Storage Laboratory (8 PhD graduates, 3 in progress) and Gas Hydrate Research Laboratory (2 PhD graduates, 1 in progress). Research teams work on fuel cells , CO2 sequestration , and graphene-based nanomaterials for energy applications.

• Political Philosophy
• History of Political Thought
• Renaissance Studies
• +۳ مورد دیگر

Keiichiro Atsumi is a Professor at Waseda University's Faculty of Social Sciences, School of Social Sciences, where he has been teaching since 1993. His academic career progressed from Research Assistant (1993-1996) to Assistant Professor (1996-1998), Associate Professor (1998-2005), and finally to Professor (2005-present). He has held visiting positions at Harvard University's Department of History (2001-2002) and Department of Government (2000-2001), as well as at Princeton University's Woodrow Wilson School (1999-2000), demonstrating his international scholarly engagement. His educational background includes: Ph.D. in Political Science, Waseda University Graduate School (1992-1996) Master's in Political Science, Waseda University Graduate School (1990-1992) Bachelor's in Political Science, Waseda University School of Political Science and Economics (1986-1990) Professor Atsumi specializes in Political Philosophy with a focus on Renaissance political thought, particularly the works of Machiavelli. His research explores the intersection of political theory, religion, and humanism in early modern Italy, examining how concepts of republicanism, civic virtue, and historical consciousness shaped political discourse during the Renaissance. He has made significant contributions to understanding Machiavelli's relationship to classical political thought and the development of modern political philosophy, with particular attention to the connections between Machiavelli's thought and Epicureanism, as well as the reception of Machiavelli in Japanese scholarship. His work bridges historical scholarship with contemporary political theory through his translations and interpretations of Leo Strauss's writings on Machiavelli. His recent publications show a consistent focus on Machiavelli studies, with increasing attention to the relationship between religion and politics in Renaissance political thought. His work often bridges historical scholarship with contemporary political theory, particularly through his translations and interpretations of Leo Strauss's writings on Machiavelli. The publications demonstrate his expertise in both Japanese and Western scholarly traditions, with many works appearing in bilingual contexts and addressing cross-cultural interpretations of political concepts. His notable recognition includes: Iijima Prize from Waseda University's Graduate School of Political Science (1992) Professor Atsumi has led and participated in multiple research projects funded by the Japan Society for the Promotion of Science, with recent projects focusing on "Prophecy and Politics in the Renaissance: Machiavelli's View of Religion and the 'Myth of Florence'" (2021-2025) and "Machiavelli and the Political Culture of Florence: Is God Necessary for the Formation of Society?" (2018-2021). His scholarly activities extend to numerous professional associations including the Japanese Association of Political Philosophy, The Society for the History of Social Thought, Japanese Conference for the Study of Political Thought, Japanese Political Science Association, and the Renaissance Society of America. At Waseda University, he teaches a comprehensive range of courses from introductory political science to advanced seminars on political thought, contributing significantly to both undergraduate and graduate education in political philosophy and the history of political ideas. His teaching portfolio includes Political Thought I & II, History of Political Thought I & II, Contemporary Citizenship Theories, and various research workshops in political theory at both undergraduate and graduate levels.

Amin Timanyمشاهده پروفایل

دانشیار

• Programming Languages
• Type Theory
• Logical Relations
• +۹ مورد دیگر

Amin Timany is an Associate Professor in the Department of Computer Science at Aarhus University, Denmark, where he conducts research in programming languages, type theory, and formal verification. He is a member of the Logic and Semantics Group and actively contributes to the development of logical relations, separation logic, and proof assistants such as Coq and Iris. He holds a PhD in Computer Science from KU Leuven (2018) and was previously a postdoctoral fellow with FWO at KU Leuven. His research focuses on mechanized semantics, program equivalence, concurrency, and distributed systems verification. He is particularly known for solving the long-standing problem of proving encapsulation in the ST monad using logical relations. His recent publications span top-tier venues including POPL, ICFP, PLDI, and CPP, with key contributions in guarded interaction trees, higher-order separation logic (e.g., Trillium), and modular verification of CRDTs and virtual machines. His work emphasizes formalization and mechanization in Coq, often within the Iris framework. He has served on numerous program committees and has chaired conferences such as CPP and sessions at CoqPL. Notably, his paper 'Modular Denotational Semantics for Effects with Guarded Interaction Trees' received a Distinguished Paper Award at POPL 2024. PhD, KU Leuven, 2018 MSc, TU Dresden, 2013 He teaches courses such as Compilation, Program Logics, and Advanced Topics in Programming Language Theory. He collaborates extensively with researchers like Lars Birkedal, Robbert Krebbers, and Derek Dreyer, and mentors students in formal methods and PL theory.

• Nuclear Engineering
• Plasma Physics
• Thermal Hydraulics
• +۳ مورد دیگر

Dr. Lluis Batet Miracle is a Professor at the Universitat Politècnica de Catalunya (UPC) with the Department of Physics . He leads the Advanced Nuclear Technologies Research Group (ANT) and has contributed extensively to nuclear fusion technology, thermal hydraulics, and liquid metal systems. His work spans reactor safety analysis, tritium processing, and magnetohydrodynamic modeling. Expertise : Nuclear Engineering, Plasma Physics, Computational Fluid Dynamics, Fusion Reactor Design, Tritium Management Notable Projects : CONSOLIDER TECNO-FUS (2009-2013), EURATOM collaborations, HCLL Breeding Blanket Systems for ITER Research Trends : Recent publications focus on helium solubility in liquid metals, bubble dynamics in fusion blankets, and MHD simulations under nuclear conditions. His work combines atomistic modeling, high-fidelity CFD, and experimental validation for tritium and hydrogen systems in fusion reactors. Collaborations : Regularly works with Luis Sedano, Eduardo Ríos, Jordi Martí, Francesc Reventos, and Elisabet Mas de les Valls Grants : Involved in Horizon Europe, EURATOM, and Spanish National Research programs

Oliver P. Ernstمشاهده پروفایل

استاد

• G protein-coupled receptors (GPCRs)
• Channelrhodopsins
• Membrane protein structure and function
• +۳ مورد دیگر

Professor Oliver P. Ernst is a Canada Excellence Research Chair in Structural Neurobiology and holds the Anne and Max Tanenbaum Chair in Neuroscience at the University of Toronto. His research focuses on transmembrane signaling mechanisms of G protein-coupled receptors (GPCRs) and channelrhodopsins, investigating their structural dynamics and interactions with signaling proteins using cryo-EM, x-ray crystallography, and EPR spectroscopy. He teaches advanced courses in membrane protein biochemistry and leads the Ernst Lab, which has made significant contributions to understanding rhodopsin-arrestin complexes and membrane protein crystallization techniques. Research Areas: GPCR signaling, channelrhodopsin function, proteasome localization, and membrane protein structure-function relationships Key Techniques: Cryo-EM, x-ray crystallography, EPR spectroscopy His recent publications reveal trends in light-gated ion channels, proteasome dynamics, and structural analysis of rhodopsin complexes. The lab's work spans fundamental mechanisms of cell signaling and innovative methods for membrane protein structural biology. Scientific Awards: Konrad Adenauer Research Award (2020), Canada Excellence Research Chair (2011-2017), Anne and Max Tanenbaum Chair (2011-2021) The Ernst Lab actively investigates GPCR phosphorylation codes, membrane protein crystallization techniques, and proteasome adaptations to metabolic stress, with significant implications for understanding health and disease mechanisms.

Robert Gilmore Pontius Jrمشاهده پروفایل

استاد

• Geographic Information Science (GIS)
• Land Change Science
• Simulation Modeling
• +۳ مورد دیگر

Robert Gilmore Pontius Jr. is a Professor at Clark University's Graduate School of Geography specializing in Geographic Information Science with expertise in Land Change Science , Simulation Modeling , and Statistical Analysis . He develops quantitative methods for spatial data analysis that are implemented in the TerrSet software suite. B.S. Mathematics & Economics , University of Pittsburgh (1984) M.S. Applied Statistics , Ohio State University (1989) Ph.D. Environmental Science , SUNY College of Environmental Science and Forestry (1994) His research focuses on map comparison methodology and land change modeling , particularly addressing quantity disagreement and allocation disagreement in spatial data. He pioneered the Total Operating Characteristic (TOC) framework and advanced techniques for accuracy assessment in remote sensing . Recent publications analyze land category transitions , urban risk modeling , and multi-resolution map comparison . His work has received 19,000+ citations and been funded by NSF , NASA , and Edna Bailey Sussman Fund for research in Plum Island Ecosystems and Brazilian Cerrado Biome . Michael Breheny Prize (2005) Fulbright Scholar of Brazil Clark Labs research affiliate Scientific Advisory Board member, MapBiomas He teaches GIS & Land Change Models and GIS & Map Comparison , with student-created tutorials viewed internationally. He also performs as Doctor Stardust , a professional juggler who won the International Jugglers Association's People's Choice Award .

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

استادیار

• Programming Languages
• Type Theory
• Category Theory
• +۱۰ مورد دیگر

Daniel Gratzer is an assistant professor in the Department of Computer Science at Aarhus University, affiliated with the Logic and Semantics group. He studies programming languages and type theories through category theory, focusing on dependent, modal, and homotopy type theory. He co-teaches graduate courses on type theory and maintains a forthcoming textbook with Carlo Angiuli. Daniel is visiting Oxford from August 2024 to February 2025. His research explores applications of modal type theory to synthetic (∞,1)-category theory, guarded type theory for denotational semantics, and categorical methods in program logics like Iris. He collaborates with researchers including Carlo Angiuli, Lars Birkedal, and Jonathan Sterling. Recent work includes publications at LICS 2025, FoSSaCS 2025, and LMCS 2025. He contributed to the development of proof assistants like mitten and formal verification tools for higher-order concurrent separation logic. Contact: gratzer@cs.au.dk

Mackenzie L. Smithمشاهده پروفایل

پژوهشگر

• Atmospheric Chemistry
• Environmental Science
• Greenhouse Gas Emissions
• +۷ مورد دیگر

Mackenzie L. Smith is a researcher specializing in atmospheric chemistry and environmental science, with a strong focus on quantifying methane, ethane, and black carbon emissions from oil and gas operations. Their work employs airborne measurement techniques, including aircraft-based mass balance methods and remote sensing, to assess emissions across diverse regions such as the Barnett Shale, Bakken formation, Four Corners region, and offshore Gulf of Mexico. This research plays a critical role in evaluating and improving national emissions inventories and informing climate policy. Their research interests span methane emissions , air quality , greenhouse gas monitoring , fossil fuel infrastructure , and atmospheric particulate matter . By combining field measurements with data analysis, Smith contributes to understanding the environmental impacts of energy production and identifying mitigation opportunities. The publication record shows a consistent trend in using airborne platforms to measure emissions from oil and gas systems , including compressor stations, flares, power plants, and offshore platforms. The studies often compare measured emissions to regulatory inventories, revealing significant discrepancies and advocating for updated emissions factors and monitoring practices. Key themes include emission skewness , source attribution , and measurement reconciliation across different platforms. Scientific Awards: No awards listed in the provided text. Advising and Grants: No information on students or advising roles is available. No direct mention of grants or funding sources is provided, though the scale of airborne campaigns suggests involvement in federally or institutionally funded research projects. Labs and Research Teams: While specific lab affiliations are not stated, the collaborative nature of the research—evident from co-authorship with scientists from NOAA, universities, and research institutes—indicates active participation in interdisciplinary environmental research teams focused on atmospheric measurements and climate science.

Yoav Zemelمشاهده پروفایل

مدرس

• Geometrical statistics
• Point processes
• Shape theory
• +۳ مورد دیگر

Yoav Zemel is a Lecturer at the École polytechnique fédérale de Lausanne (EPFL) , affiliated with the School of Basic Sciences and Department of Mathematics . He specializes in statistical aspects of optimal transport and related geometric methods. B.Sc. Mathematics & Economics, Hebrew University of Jerusalem (summa cum laude, 2010) M.Sc. Applied Mathematics, EPFL (2012) PhD Mathematical Statistics, EPFL (2017), advised by Victor M. Panaretos His research focuses on geometrical statistics , point processes , shape theory , and optimal transportation . Recent work explores covariance operators, Gaussian processes, and stochastic algorithms in Wasserstein spaces. Publications bridge theoretical advancements with applications in ecology, genetics, and machine learning. Scientific awards include the Robert May Prize , Swiss government scholarship , and multiple Hebrew University honors. He has taught courses on probability, statistical machine learning, and optimal transport at EPFL, Göttingen, and Cambridge.

Toby Murrayمشاهده پروفایل

استاد

• Cybersecurity
• Formal Methods
• Secure Systems Engineering
• +۵ مورد دیگر

Toby Murray is a Professor in the School of Computing and Information Systems at the University of Melbourne, where he serves as Director of the Defence Science Institute and Co-Lead of the Computer Science Research Group. His work bridges formal methods, cybersecurity, and practical system security, with significant contributions to verified security and vulnerability detection. Murray's research focuses on building highly secure computing systems cost-effectively, with expertise in formal verification, information flow security, and vulnerability detection. His current research projects include Verisimilar (Verified, Secure Machine Learning), EDEFuzz (Detecting excessive data exposure in web applications), COVERN (Proving information flow security of concurrent programs), and Time Protection (Proving timing channel freedom for seL4). His work combines theoretical rigor with practical implementation, resulting in multiple open-source tools including SecC, Legion, and Underflow. Murray's recent publications demonstrate a consistent focus on verified security properties across diverse domains, from neural networks to concurrent systems. His work often bridges the gap between formal methods and practical security concerns, with increasing attention to machine learning security and policy implications of technical security measures. His publications span top venues in security, formal methods, and software engineering. Distinguished Paper Award at ICSE 2024 for EDEFuzz work on detecting excessive data exposure in web applications Extensive media commentary on cybersecurity issues including CrowdStrike outage analysis and social media regulation Regular contributions to The Conversation and Pursuit on cybersecurity policy matters Murray has advised numerous PhD students to completion, including Lianglu Pan (EDEFuzz), Zhiyuan Zhang, Mo Zhang, and Renlord Yang. He currently supervises multiple PhD students working on security verification, machine learning security, and web application security. His service includes being Program Chair for CSF'25, Associate Editor for IEEE Security & Privacy and ACM TOPS, and membership in IFIP's WG 1.7 and WG 2.3. His research group has developed multiple significant software tools including SecC (Verified Security for Concurrent C Programs), Legion (Principled Automatic Test Case Generation), and Underflow (Compositional Vulnerability Detection for C Programs), all available under open source licenses. Murray's work often involves discovering and reporting bugs in security analysis tools during his research, demonstrating the practical impact of his verification approaches.

Charlotta Turnerمشاهده پروفایل

استاد

• Analytical Chemistry
• Green Chemistry
• Sustainable Development
• +۴ مورد دیگر

Charlotta Turner is a Professor at the Centre for Analysis and Synthesis , Lund University , and serves as Vice Dean of the Faculty of Science . Her research focuses on analytical chemistry for sustainable development , particularly the use of green solvents such as supercritical carbon dioxide and subcritical water in extraction and separation methods. UN Sustainable Development Goals (SDGs) contributor Manager of High Pressure Fluid Facility and Mass Spectrometry Infrastructure Principal Investigator (PI) for projects like Miljövänlig superkritisk process för växtoljor and Quantitative fingerprinting of chemical contaminants in pollinating insects Her work addresses sustainable extraction of valuable substances from food, forest, agricultural, and marine industries . Recent publications highlight advancements in phlorotannin characterization , berry bioactives , and lignin molecular weight analysis . She has supervised 12 research projects and leads teams in KILU/CAS infrastructure . Turner has received multiple awards, including the Svante Arrhenius Award (2017) and Herbert Dutton Award (2015) .