Profile

Cover photo
Dan Ghica
249 followers|155,552 views
AboutPostsPhotosYouTube

Stream

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 ...
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
Yoad Lustig's profile photoRoss Duncan's profile photo

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
Jim Stuttard's profile photo

Dan Ghica

Shared publicly  - 
 
A chronicle of my teaching category theory to school children.
1
Have him in circles
249 people
Albert Cohen's profile photo
Emil Wanderer's profile photo
cosmos vn's profile photo
Gabriel Pascu's profile photo
Aaron Turon's profile photo
Mark Shand's profile photo
Guy McCusker's profile photo
Pranjal Mittal's profile photo
Adriana Compagnoni's profile photo

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.
1
2
Dale Miller's profile photoRoss Duncan's profile photo

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

Dan Ghica

Shared publicly  - 
 
SkyNet will never happen.
1
1
Charles Gretton's profile photo
People
Have him in circles
249 people
Albert Cohen's profile photo
Emil Wanderer's profile photo
cosmos vn's profile photo
Gabriel Pascu's profile photo
Aaron Turon's profile photo
Mark Shand's profile photo
Guy McCusker's profile photo
Pranjal Mittal's profile photo
Adriana Compagnoni's profile photo
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