Лабораторія основ інформатики LFCS

Координати: 55°56′41″ пн. ш. 3°11′14″ зх. д. / 55.94472° пн. ш. 3.187361° зх. д. / 55.94472; -3.187361

Лабораторія основ інформатики LFCS (англ. Laboratory for Foundations of Computer Science) науково-дослідний інститут в единбурзькому університеті. Лабораторія була заснована 1987 року лауреатом премії Тюрінга Робіном Мілнером та співробітниками (Род Бурсталл[en], Ґордон Плоткін[en], Метью Хеннессі[en]).[2] Наукові дослідження інституту переважно зосереджені на фундаментальних напрямках теорії інформатики, таких як семантика мов програмування, теорія категорій, теорія складності обчислень, паралелізм, формальна верифікація та ін.[3]

Лабораторія основ інформатики LFCS
Сучасне розташування інституту
Основні дані
Засновано 1987
Приналежність Единбурзький університет
Контакт
Ключові особи Робін Мілнер
Розташування Велика Британія, Единбург
Адреса англ. Informatics Forum,
10 Cricton Street,
City of Edinburgh,
Scotland,
United Kingdom,
EH8 9AB
[1]
Веб-сторінка Офіційний сайт (англ. )]
Мапа
Колишнє розташування інституту (JCMB, King's Buildings), до 2007 року.

НауковціРедагувати

ПосиланняРедагувати