Profile

Cover photo
Dan Ghica
268 followers|232,575 views
AboutPostsPhotosYouTube

Stream

Dan Ghica

Shared publicly  - 
 
 
Semantics for physicists

I once complained that my student Brendan Fong said ‘semantics’ too much. You see, I’m in a math department, but he was actually in the computer science department at Oxford: I was his informal supervisor. Theoretical computer scientists love talking about syntax versus semantics—that is, written expressions versus what those expressions actually mean, or programs versus what those programs actually do. So Brendan was very comfortable with that distinction. But I felt my other grad students, coming from a math department didn’t understand it… and he was mentioning it in practically ever other sentence.

In 1963, Bill Lawvere figured out a way to talk about syntax versus semantics that even mathematicians—well, even category theorists—could understand. It’s called ‘functorial semantics’.  The idea is that things you write are morphisms in a category X, while their meanings are morphisms in a category Y.   There's a functor F from X to Y, which sends things you write to their meanings.  This functor sends syntax to semantics!

But physicists may not enjoy this idea unless they see it at work in physics. In physics, too, the distinction is important!  But it takes a while to understand. I hope Prakash Panangaden’s talk at the start of the Simons Institute workshop on compositionality is helpful.  Check it out!
12 comments on original post
1

Dan Ghica

Shared publicly  - 
1

Dan Ghica

Shared publicly  - 
 
 
Tom Ball, Ras Bodik, +Greg Morrisett, and I are organizing a new kind of programming languages conference. We already have several excellent conferences, but they are focused on incremental bits of novelty. We want to create a new kind of venue that complements these: to present and discuss big-picture questions and long-running programs; to view progress along the long arc of a research effort. The conference is May 3-6, 2015 in lovely Asilomar (on the Pacific Coast), CA, USA.

If this sounds interesting, please: don't just +1 it, reshare it. Why? To keep costs down and retain ownership of the conference with the community, we are independent, not affiliated with any organizations. That means you are the only PR channel we have. So please do us a favor. Thanks.
11 comments on original post
1
2

Dan Ghica

Shared publicly  - 
2

Dan Ghica

Shared publicly  - 
 
 
Big Green Lunch in Birmingham
We’re holding the second Big Green Lunch on Saturday 7 June from 10.30am to 5pm at the beautiful Birmingham Botanical Gardens.  

There’ll be music from local bands, dance performances, games on the lawn, cookery demonstrations and green information and advice on offer. 

For sale will be ethical and fair trade goods, bedding plants and hanging baskets and of course – food!  All this at a discounted entrance price of £1 for adults.

http://greencity.birmingham.gov.uk/news/big-green-lunch/

#brum #birmingham #green
1 comment on original post
1

Dan Ghica

Shared publicly  - 
 
My new blog site. Please update your subscriptions!
This is a continuation of my old blog, The Lab Lunch . My old posts remain there. The main topics I covered in that blog are: game semanti...
1

Dan Ghica

Shared publicly  - 
 
 
I am looking for a PhD student in the area of homotopy type theory or design of proof assistants.

And did you know Ljubljana is second only to Greece as a top European destination according to Lonely Planet (http://www.lonelyplanet.com/europe/travel-tips-and-articles/lonely-planets-best-in-europe-2014)? It's one of the greenest and most livable cities in Europe.

#HomotopyTypeTheory   #scholarship  
I am looking for a PhD student in mathematics. Full tuition & stipend will be provided for a period of three years, which is also the official length of the programme. The topic of research is somewhat flexible and varies from constructive models of homotopy type theory to development of a ...
5 comments on original post
1

Dan Ghica

Shared publicly  - 
 
I am looking forward to this!
1

Dan Ghica

Shared publicly  - 
View details for this Research Fellow in Programming Languages job vacancy at University of Birmingham in Midlands of England. Apply now on jobs.ac.uk
3
4

Dan Ghica

Shared publicly  - 
 
* Imminent PhD studentship funding deadline *
* please contact me immediately if you are interested. *

We invite applications for PhD study at the University of Birmingham.

We are a group of (mostly) theoretical computer scientists who explore fundamental concepts in computation and programming language semantics. This often involves profound and surprising connections between different areas of computer science and mathematics. From category theory to lambda-calculus and computational effects, from   topology to constructive mathematics, from game semantics to program compilation, this is a diverse field of research that continues to provide new insight and underlying structure.

See our webpage, with links to individual researchers, here:
http://www.cs.bham.ac.uk/research/groupings/theory/

Information about PhD applications may be found here:
http://www.cs.bham.ac.uk/admissions/postgraduate-research/

If you are considering applying, please contact any one of us. We will be very happy to discuss the opportunities available.
Our Group; What We Do. Overview. Our work concerns the development and study of precise mathematical formalisms that can be employed for the design, specification, and verification of computer programs. This is in a tradition of mathematical semantics that was started in the UK in the 1960s by ...
1

Dan Ghica

Shared publicly  - 
 
The second session of the category theory club for school children was another success.
2
1
Alan Jeffrey's profile photo
 
Ooh cool. Good luck with braiding.

Dan Ghica

Shared publicly  - 
 
In my previous two posts I tried to explain why the usual arguments that computers could think are bad. In this final post on the topic I attempt a more ambitious argument that consciousness cannot be a purely computational phenomenon.
1
1
Work
Occupation
Reader in Semantics of Programming Languages
Links
YouTube
Story
Bragging rights
I have made a ceaseless effort not to ridicule, not to bewail, not to scorn human actions, but to understand them.
Basic Information
Gender
Male
Other names
Razvan