• Sign in
  • Sign up
conf.researchr.org / Dan Ghica
  • ETAPS 2019 profile
  • ICFP 2016 profile
  • ICFP/SPLASH 2025 profile
  • PLDI 2024 profile
  • POPL 2017 profile
  • STAF 2023 profile
  • STAF 2025 profile
  • ‹Programming› 2021 profile
  • ‹Programming› 2022 profile
Dan Ghica

Registered user since Tue 17 Jan 2017

Name:Dan Ghica
Bio:

Professor of Semantics of Programming Languages, University of Birmingham, UK and Programming Languages Laboratory, Huawei Central Software Institute, Edinburgh, Scotland, UK

Country:United Kingdom
Affiliation:Huawei Research and University of Birmingham
Personal website: http://www.cs.bham.ac.uk/~drg/
X (Twitter): https://x.com/danghica
Research interests:Programming languages

Contributions

2025

ICFP

  • Committee Member in ICFP Programme Committee within the ICFP Papers-track

ICGT

  • Author of Rewriting for Traced Monoidal Closed Categories within the ICGT Research Papers-track

2024

EGRAPHS

  • Author of Equivalence Hypergraphs: E-Graphs for Monoidal Theories within the EGRAPHS 2024-track

2023

STAF

  • Keynote Speaker of Syntactic trinitarianism: terms, graphs, diagrams within the Keynotes-track

2022

‹Programming›

  • Author of Transparent Synchronous Dataflow within the Research Papers-track

2021

‹Programming›

  • Author of Transparent Synchronous Dataflow within the Research Papers-track

2019

GaLoP

  • Committee Member in Steering Committee within the GaLoP-track

PERR

  • Author of Local Reasoning for Robust Observational Equivalence within the PERR-track

2017

Off the Beaten Track

  • Author of Can we machine-learn programming language semantics? within the OBT-track

2016

HOPE

  • Committee Member in Program Committee within the HOPE-track
Share
xFri 16 May 00:13
using conf.researchr.org (v1.69.0)
Support page
Sign Up