1. Tutorial talk given at
    Logic and interactions 2012
    CIRM, Marseille
    Part I

    # vimeo.com/36467086 Uploaded 212 Plays 0 Comments
  2. Tutorial talk given at
    Logic and interactions 2012
    CIRM, Marseille
    Part II

    # vimeo.com/36467185 Uploaded 66 Plays 0 Comments
  3. Invited talk at Mathematics of Program Construction (MPC 2012), Madrid.

    # vimeo.com/46014859 Uploaded 86 Plays 0 Comments
  4. Computer systems are evolving away from the conventional Von
    Neumann model of one CPU plus one RAM. Besides long-established
    distributed architectures we have a rapid expansion of GPU-based
    general-purpose computing and the emergence of FPGA-based reconfigurable
    computing. Increasingly, access to the computational platform is not
    physical but remote, "in the cloud". Along with new platforms, a
    plethora of new special-purpose languages and dialects are being
    introduced. Is platform-dependent programming throwing us back to the
    times of machine-dependent programming? Is there any hope for
    general-purpose architecture-independent programming languages? My
    research is about giving a positive answer to the second question.

    # vimeo.com/51212478 Uploaded 515 Plays 0 Comments
  5. Talk given at CCPC'12, an ASPLOS workshop.

    # vimeo.com/37896357 Uploaded 58 Plays 0 Comments

Research talks

Dan Ghica

These are various research talks, mostly on the topic of applications of game semantics.

Browse This Channel

Shout Box

Heads up: the shoutbox will be retiring soon. It’s tired of working, and can’t wait to relax. You can still send a message to the channel owner, though!

Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels.