Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)
Canterbury, UK
Joined December 2008
- Tweets2.8K
- Following672
- Followers1.5K
- Likes2.6K
I finally migrated my Wordpress blog to my static Jekyll site and wrote a short little blog post on keyboard shortcuts for toggling gen-AI autocomplete dorchard.github.io/blog.html
Dominic Orchard retweeted
🌊 There's an exciting Postdoctoral Research Associate opportunity at @KingsCollegeLon. Join a team of climate scientists and AI experts to generate new projections of the land ice contribution to sea level rise until 2300 with machine learning. Full info: jobs.ac.uk/job/DOL498/postdo…
I only just found this out. What a tragic loss- we had some lovely discussions over the years about the application of programming language ideas to science. I really like this paper of his (and others): lmcs.episciences.org/3202/pd… and drops.dagstuhl.de/entities/d…
Our dear friend and colleague Cezar Ionescu died earlier this month. I've retrieved from the archives a lecture he recorded for an open day a few years ago: ox.cloud.panopto.eu/Panopto/…
Dominic Orchard retweeted
The @Climformatics conference this year added an 'artifact evaluation' stage to review software artifacts of accepted papers. The process was co-led by members of ICCS (@dorchard, Marion Weinzierl, @rolyperera); read all about it in this new blog post
iccs.cam.ac.uk/news/artifact…
Dominic Orchard retweeted
This RSE would also work alongside our team at ICCS in Cambridge on the groundbreaking CALIPSO initiative that aims to transform our understanding of carbon loss in plants, soils, and oceans under the influence of climate change.
Dominic Orchard retweeted
Our collaborators at LSCE (Laboratoire des Sciences du Climat et de l’Environnement) are hiring for a 4-year Research Software Engineer position to work on the fantastic CALIPSO project calipsovesri.org/ - closing date 20th of December (still time!)
lsce.ipsl.fr/en/cycles-trans…
Dominic Orchard retweeted
Could interactive proof assistants for PLT be more interactive? If you are at #splash2024 @splashcon, join my PhD student Jan at #hatra (11:00, Pacific B) and tell us what you think! Abstract: arxiv.org/abs/2409.13872
Excited to receive funding (along with my colleague Vineet Rajani) to work on graded modal types for quantitative and compositional analysis of higher-order probabilistic programs under this scheme @UniKentComp @granulelang
Dominic Orchard retweeted
I made special mention of thanks to @dorchard and @Augustsson who both helped me a lot with dependently-typed programming in Haskell and with Lennart's wonderful orthotope library for multidimensional arrays inspired by APL. hackage.haskell.org/package/…
Dominic Orchard retweeted
Our Summer School recordings are now Live!
Videos from our lectures and educational sessions can be found on our YouTube youtube.com/watch?v=56DPV_Sx…
Dominic Orchard retweeted
Britain is about to switch off its last coal power station. MyGridGB has been tracking coal use for 10 years now. From supplying 40% of our electricity when I started my PhD to today… it’s been quite the journey.
So, bye bye King Coal. It’s time for renewables now
Dominic Orchard retweeted
ECOOP 2024 is in full swing in Vienna. Check out the awesome set of papers selected by the amazing 2024 PC, co-chaired with @guidosalva ! Published Diamond Open Access: drops.dagstuhl.de/entities/d…
Dominic Orchard retweeted
Hi! I am looking for job opportunities around programming languages and their tooling, as I just submitted my PhD thesis on optimizing dynamic languages. Please get in touch if you know of a position or if you are hiring!
More about me @ sophie-kaleba.github.io
Anyone at @icfp_conference looking for a postdoc in the UK, I am hiring for two positions, one on PL for climate modelling (youtube.com/watch?v=dJ6I2NO_…, jobs.kent.ac.uk/Vacancy.aspx…) and a 1-year position on graded types for probabilistic programming (soon announced). Come talk to me!
On my way via train to @icfp_conference! My student @takanuva will present our ICFP paper "On the Operational Theory of the CPS-calculus: Towards a Theoretical Foundation for IRs" dl.acm.org/doi/10.1145/36746… Tuesday afternoon and...
I will be giving the keynote for the FProPer workshop on Friday morning, titled "From C to Comonads to Climate: A Functional Programmer's Journey in Array Programming for Good" icfp24.sigplan.org/home/fpro…. Super excited!
Interested in doing a postdoc with me on programming languages, tools, and systems for climate science at the University of Kent? See this video for more info, context, and ideas. Closes Sept 9th 2024 (details here jobs.kent.ac.uk/Vacancy.aspx……) youtu.be/dJ6I2NO_VeU