PROPL 2024 Contributors

Sat 20 Jan 2024 London, United Kingdom

co-located with POPL 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (32)

A Sharan AgrawalAgrawal, Sharan University of Cambridge, UK Scalable agent-based models for optimized policy design: applications to the economics of biodiversity and carbon
B Alexander BandukwalaBandukwala, Alexander Unaffiliated Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine
Andrew BlinnBlinn, Andrew University of MichiganUnited States Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine
Sylvie BoldoBoldo, Sylvie Inria and Université Paris-SaclayFrance Committee Member in Programme Committee within the PROPL-track
Joe BondBond, Joe University of Bristol, UK Fluid: towards transparent, self-explanatory research outputs
Nicola BottaBotta, Nicola Potsdam Institute for Climate Impact Research (PIK) Can computer science help climate policy making?
C Huamin ChenChen, Huamin RED HAT Kepler Watt Store: Kepler Software Watt Watcher Store
Ezequiel CimadevillaCimadevilla, Ezequiel Instituto de Fisica de Cantabria The programming challenges of climate data analysis
Michael CoblenzCoblenz, Michael University of California, San DiegoUnited States Committee Member in Programme Committee within the PROPL-track
D Michael DalesDales, Michael University of Cambridge, UK Session Chair of Software engineering and ecosystems (part of PROPL) Discussion on multidisciplinary PROPL-work
Cristina DavidDavid, Cristina University of BristolUnited Kingdom Fluid: towards transparent, self-explanatory research outputs
F James FairbanksFairbanks, James University of Florida Categorical Composition of Discrete Exterior Calculus Climate Models
Patrick FerrisFerris, Patrick University of Cambridge, UKUnited Kingdom Discussion on multidisciplinary PROPL-work
G Vashti GalpinGalpin, Vashti University of EdinburghUnited Kingdom Session Chair of Policy and decision making / Brainstorming (part of PROPL) Assessing the availability, reproducibility and reuseability of research software Committee Member in Programme Committee within the PROPL-track
Ryan GibbGibb, Ryan Session Chair of Modelling and analysis / Energy and efficiency (part of PROPL)
H Hongyi HuangHuang, Hongyi National University of Singapore Formal Methods to Save the Earth
J Patrik JanssonJansson, Patrik Chalmers University of Technology and University of GothenbrugSweden Can computer science help climate policy making? Committee Member in Programme Committee within the PROPL-track
L Christophe LaprunLaprun, Christophe RED HAT Kepler Watt Store: Kepler Software Watt Watcher Store
Jialin LiLi, Jialin National University of Singapore, Singapore Formal Methods to Save the Earth
M Anil MadhavapeddyMadhavapeddy, Anil University of Cambridge, UKUnited Kingdom Session Chair of Keynote (part of PROPL) Discussion and brain storming: How can the CS/PL community help address the current planetary crises? Co-chair in Programme Committee within the PROPL-track Co-chair in Chairs within the PROPL-track
Umang MathurMathur, Umang National University of SingaporeSingapore Formal Methods to Save the Earth
Luke MorrisMorris, Luke University of Florida Categorical Composition of Discrete Exterior Calculus Climate Models
N Minh NguyenNguyen, Minh University of BristolUnited Kingdom Fluid: towards transparent, self-explanatory research outputs
O Cyrus OmarOmar, Cyrus University of MichiganUnited States Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine
Dominic OrchardOrchard, Dominic University of Kent, UK and University of Cambridge, UKUnited Kingdom Discussion and brain storming: How can the CS/PL community help address the current planetary crises? Co-chair in Programme Committee within the PROPL-track Committee Member in Chairs within the PROPL-track
P Roly PereraPerera, Roly University of Cambridge/University of BristolUnited Kingdom Fluid: towards transparent, self-explanatory research outputs
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Committee Member in Programme Committee within the PROPL-track
Drew PurvesPurves, Drew Google DeepMindUnited Kingdom Setting the stage for AI for biodiversity
R George RautaRauta, George University of Florida Categorical Composition of Discrete Exterior Calculus Climate Models
Lisa RennelsRennels, Lisa University of California at BerkeleyUnited States Building Open Source Software for Climate Change Research — Lessons Learned from Mimi.jl
S PARUL SINGHSINGH, PARUL RED HAT Kepler Watt Store: Kepler Software Watt Watcher Store
KC SivaramakrishnanSivaramakrishnan, KC Tarides; IIT MadrasIndia Committee Member in Programme Committee within the PROPL-track