Лабораторія основ інформатики LFCS
Лабораторія основ інформатики LFCS (англ. Laboratory for Foundations of Computer Science) науково-дослідний інститут в единбурзькому університеті. Лабораторія була заснована 1987 року лауреатом премії Тюрінга Робіном Мілнером та співробітниками (Род Бурсталл, Ґордон Плоткін, Метью Хеннессі).[2] Наукові дослідження інституту переважно зосереджені на фундаментальних напрямках теорії інформатики, таких як семантика мов програмування, теорія категорій, теорія складності обчислень, паралелізм, формальна верифікація та ін.[3]
Колишнє розташування інституту (JCMB, King's Buildings), до 2007 року.
| Лабораторія основ інформатики LFCS | ||||||
|---|---|---|---|---|---|---|
 Сучасне розташування інституту | ||||||
| Сучасне розташування інституту | ||||||
| Засновано | 1987 | |||||
| Приналежність | Единбурзький університет | |||||
| Ключові особи | Робін Мілнер | |||||
| Розташування |
 , Единбург | |||||
| Адреса |
англ. Informatics Forum, 10 Cricton Street, City of Edinburgh, Scotland, United Kingdom, EH8 9AB[1] | |||||
| Вебсторінка | Офіційний сайт (англ. )] | |||||
| ||||||
Науковці
- Ґордон Плоткін (Операційна семантика)
- Філіп Уодлер (Haskell, Узагальнення в Java)
- Джейн Хілстон (PEPA)
- Род Бурсталл, та ін.
Посилання
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.