Events and news relevant to the Laboratory for Foundations of Computer Science

[Ohad Kammar <ohad.kammar@ed.ac.uk>]

Hi,

Reminding about today's LFCS seminar, continuing in Nachi's modal logic theme:

  Tuesday, 12 May, 4.10pm

  Dan Ghica and Federico Pizzuti, Huawei Programming Language Lab (Edinburgh)

  The seminar will take place in-person only.

We're synchronising the seminar time with the teaching timetable, and

plan to start the talk at the advertised time, so please arrive a minute or two

earlier.

In detail:

----------------------------------------------------------------------

Dan Ghica and Federico Pizzuti, Huawei Programming Language Lab (Edinburgh)

https://www.birmingham.ac.uk/staff/profiles/computer-science/academic-staff/ghica-dan

  Tue, 12 May, 4.10pm

  Venue: IF G.03

Title: Modal types for Cangjie

Abstract

Modal types were successfully pioneered by OCaml in a production

environment. We are aiming to reproduce and expand the lessons of OCaml

in our programming language Cangjie, an industrial-strength

multi-paradigm application-level language aimed for mass adoption.

Note: This is a work in progress which may or may not find its way into a

release.

Speaker bios:

Dan R. Ghica is a professor of computer science at the University of

Birmingham whose work focuses on the semantics of programming

languages, especially using category theory and diagrammatic

methods (such as string diagrams) to model and reason about

computation; his research also explores compiling high-level

programs to unconventional hardware architectures, bridging

theoretical computer science with practical systems. His work is also

closely connected to ideas from linear logic, particularly in how it

informs precise control over resources such as state, concurrency,

and data flow in programming languages.

Federico Pizzuti is a software engineer based in Edinburgh who studied

at the University of Edinburgh currently working at the Huawei

Programming Language Lab (Edinburgh); his work sits at the

intersection of systems and programming languages, with interests in

compilers, type systems, and resource-sensitive computation

influenced by ideas from linear logic.

----------------------------------------------------------------------

Upcoming seminars:

------------------

26 May: Dominic Mulligan, Amazon Web Services, Cambridge: Nitro Isolation Engine:

        formally verifying a production hypervisor

If you would like to propose a speaker, or speak yourself, please contact me.

The seminar webpages:

http://web.inf.ed.ac.uk/lfcs/events/lfcs-seminars

Yours,

Ohad.

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.