PROPL 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (58)

A Roy AngAng, Roy University of Cambridge Spatial Programming for Environmental Monitoring
B Chinmayi Prabhu BaramashetruBaramashetru, Chinmayi Prabhu University of Oslo Towards Modelling and Verification of Coupler Behaviour in Climate Models Committee Member in Program Committee within the PROPL-track
Ronita BardhanBardhan, Ronita University of Cambridge Scaling the Urban Forest: An Integrated Framework for Managing Cities by Fusing Raster and Vector Data
Joe BondBond, Joe University of Bristol, UK Authoring Tools for Transparent Climate Reporting
C Dr. Angela ChaudhuriChaudhuri, Dr. Angela Swasti Precision Action Towards Climate and Health (PATCH)
Valentin ChuravyChuravy, Valentin MIT CSAIL Committee Member in Program Committee within the PROPL-track
Michael CoblenzCoblenz, Michael University of California, San DiegoUnited States A FAIR Case for a Live Computational Commons
D Michael DalesDales, Michael University of Cambridge, UKUnited Kingdom Programming Opportunities for the Global Biodiversity Observation Network Yirgacheffe: a declarative approach to geospatial data
Cristina DavidDavid, Cristina University of BristolUnited Kingdom Authoring Tools for Transparent Climate Reporting
Dominique DevrieseDevriese, Dominique KU LeuvenBelgium Session Chair of Wednesday ICFP Keynote (part of ICFP Keynotes)
Christos DimoulasDimoulas, Christos Northwestern UniversityUnited States The Rational Programmer, A Method for Investigating Programming Language Pragmatics
Sabhimanvi DuaDua, Sabhimanvi Swasti Precision Action Towards Climate and Health (PATCH)
E Alison EyresEyres, Alison University of Cambridge Yirgacheffe: a declarative approach to geospatial data
F Frank FengFeng, Frank University of Cambridge Challenges in Practice: Building a Usable Library for Planetary-Scale Embeddings
Patrick FerrisFerris, Patrick University of Cambridge, UKUnited Kingdom What we talk about when we talk about scientific programming Yirgacheffe: a declarative approach to geospatial data
G Ryan GibbGibb, Ryan University of Cambridge Spatial Programming for Environmental Monitoring
Andrew GonzalezGonzalez, Andrew McGill University Programming Opportunities for the Global Biodiversity Observation Network
H Hamed HaddadiHaddadi, Hamed Imperial College London Spatial Programming for Environmental Monitoring
Justin HsuHsu, Justin Cornell UniversityUnited States Committee Member in Program Committee within the PROPL-track
J Sadiq JafferJaffer, Sadiq University of CambridgeUnited Kingdom Challenges in Practice: Building a Usable Library for Planetary-Scale Embeddings
Abhilash JindalJindal, Abhilash IIT Delhi, IndiaIndia STACD: STAC Extension with DAGs for Geospatial Data and Algorithm Management GPU-accelerated Hydrology Algorithms for On-prem Computation: Flow accumulation, Drainage lines, Watershed delineation, Runoff simulation
Vatsal JingarJingar, Vatsal IIT Delhi GPU-accelerated Hydrology Algorithms for On-prem Computation: Flow accumulation, Drainage lines, Watershed delineation, Runoff simulation
Saurabh JoshiJoshi, Saurabh Indian Institute Of Technology Delhi STACD: STAC Extension with DAGs for Geospatial Data and Algorithm Management
K Jamie M. KassKass, Jamie M. Tohoko University Programming Opportunities for the Global Biodiversity Observation Network
Srinivasan KeshavKeshav, Srinivasan University of Cambridge Challenges in Practice: Building a Usable Library for Planetary-Scale Embeddings
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom Proof-Carrying Neuro-Symbolic Code
rahul kumarkumar, rahul GPU-accelerated Hydrology Algorithms for On-prem Computation: Flow accumulation, Drainage lines, Watershed delineation, Runoff simulation
L Saharsh LaudLaud, Saharsh Indian Institute Of Technology DelhiIndia STACD: STAC Extension with DAGs for Geospatial Data and Algorithm Management
Jean-Michel LordLord, Jean-Michel McGill University Programming Opportunities for the Global Biodiversity Observation Network
M Anil MadhavapeddyMadhavapeddy, Anil University of Cambridge, UKUnited Kingdom Session Chair of Lightning talks and demos (part of PROPL) A FAIR Case for a Live Computational Commons Scaling the Urban Forest: An Integrated Framework for Managing Cities by Fusing Raster and Vector Data Spatial Programming for Environmental Monitoring Closing thoughts from the chairs Welcome to the 2nd PROPL Challenges in Practice: Building a Usable Library for Planetary-Scale Embeddings Programming Opportunities for the Global Biodiversity Observation Network Yirgacheffe: a declarative approach to geospatial data Organizing Committee in Organising Committee within the PROPL-track
Tarun ManglaMangla, Tarun Indian Institute Of Technology Delhi STACD: STAC Extension with DAGs for Geospatial Data and Algorithm Management
Andrew McNuttMcNutt, Andrew University of UtahUnited States Authoring Tools for Transparent Climate Reporting
Josh MillarMillar, Josh Imperial College London Spatial Programming for Environmental Monitoring
O Cyrus OmarOmar, Cyrus University of MichiganUnited States A FAIR Case for a Live Computational Commons
Dominic OrchardOrchard, Dominic University of Cambridge; University of KentUnited Kingdom Session Chair of Programming for biodiversity and climate (part of PROPL) Towards Modelling and Verification of Coupler Behaviour in Climate Models Closing thoughts from the chairs Welcome to the 2nd PROPL Organizing Committee in Organising Committee within the PROPL-track
P Roly PereraPerera, Roly University of Cambridge/University of BristolUnited Kingdom Authoring Tools for Transparent Climate Reporting Committee Member in Program Committee within the PROPL-track
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Committee Member in Program Committee within the PROPL-track
Alfonso PiscitelliPiscitelli, Alfonso University of Salerno Authoring Tools for Transparent Climate Reporting
R Lisa RennelsRennels, Lisa University of California at BerkeleyUnited States Committee Member in Program Committee within the PROPL-track
Francesca A. RidleyRidley, Francesca A. Newcastle University Yirgacheffe: a declarative approach to geospatial data
S Ilya SergeySergey, Ilya National University of SingaporeSingapore Session Chair of Monday ICFP Keynote (part of ICFP Keynotes)
Aaditeshwar SethSeth, Aaditeshwar Indian Institute Of Technology Delhi STACD: STAC Extension with DAGs for Geospatial Data and Algorithm Management GPU-accelerated Hydrology Algorithms for On-prem Computation: Flow accumulation, Drainage lines, Watershed delineation, Runoff simulation Committee Member in Program Committee within the PROPL-track
Prerakkumar Mukeshkumar ShahShah, Prerakkumar Mukeshkumar Catalyst Management Services Pvt. Ltd. Precision Action Towards Climate and Health (PATCH)
Satnam SinghSingh, Satnam IndependentUnited States Functional Programming for Hardware Design
KC SivaramakrishnanSivaramakrishnan, KC IIT Madras and TaridesIndia Session Chair of Principled scientific programming (part of PROPL) Closing thoughts from the chairs Welcome to the 2nd PROPL PC Chair in Program Committee within the PROPL-track
T Simon TarrTarr, Simon IUCN Yirgacheffe: a declarative approach to geospatial data
Lauritz ThamsenThamsen, Lauritz University of GlasgowUnited Kingdom Committee Member in Program Committee within the PROPL-track
Peter ThiemannThiemann, Peter University of FreiburgGermany Session Chair of Tuesday ICFP Keynote (part of ICFP Keynotes)
Jay TorryTorry, Jay University of Cambridge Should we use LLMs to program for the planet?
U Ana Denisa UrleaUrlea, Ana Denisa Romanian Air Traffic Services Administration Bridging Disciplinary Gaps in Climate Research Through Programming Accessibility and Interdisciplinary Collaboration
Cristian UrleaUrlea, Cristian University Of Glasgow Bridging Disciplinary Gaps in Climate Research Through Programming Accessibility and Interdisciplinary Collaboration
V Wim VanderbauwhedeVanderbauwhede, Wim University of Glasgow Bridging Disciplinary Gaps in Climate Research Through Programming Accessibility and Interdisciplinary Collaboration
Nitish Kumar VenkatesanVenkatesan, Nitish Kumar Catalyst Management Services Pvt. Ltd. Precision Action Towards Climate and Health (PATCH)
Adriana Laura VoineaVoinea, Adriana Laura University of Glasgow, UKUnited Kingdom Bridging Disciplinary Gaps in Climate Research Through Programming Accessibility and Interdisciplinary Collaboration
W Syed Waqar NabiWaqar Nabi, Syed University of Glasgow Bridging Disciplinary Gaps in Climate Research Through Programming Accessibility and Interdisciplinary Collaboration
Michele WeilandWeiland, Michele Committee Member in Program Committee within the PROPL-track
Y Robin YoungYoung, Robin University of Cambridge Challenges in Practice: Building a Usable Library for Planetary-Scale Embeddings Challenges in Practice: Building a Usable Library for Planetary-Scale Embeddings
Z Andrés C. Zúñiga-GonzálezZúñiga-González, Andrés C. University of Cambridge Scaling the Urban Forest: An Integrated Framework for Managing Cities by Fusing Raster and Vector Data

PROPL 2025 Contributors

Results (58)

Tracks

Co-hosted Conferences