Laboratory For Foundations Of Computer Science
About Laboratory For Foundations Of Computer Science
The Laboratory for Foundations of Computer Science is a research institute within the School of Informatics at the University of Edinburgh, in Scotland. It was founded in 1987 and is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling. Full professorsStuart AndersonPeter Buneman MBE FRS FRSE Vincent DanosWenfei Fan FACM FRSE Michael Fourman FBCS FRSE Stephen GilmoreAndrew GordonJane Hillston FRSEAggelos Kiyias Gordon Plotkin FRS FRSE Don Sannella FRSE Perdita StevensColin StirlingPhilip Wadler FACM FRSE
Laboratory For Foundations Of Computer Science Description
The Laboratory for Foundations of Computer Science is a research institute within the School of Informatics at the University of Edinburgh, in Scotland. It was founded in 1987 and is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling. Full professorsStuart AndersonPeter Buneman MBE FRS FRSE Vincent DanosWenfei Fan FACM FRSE Michael Fourman FBCS FRSE Stephen GilmoreAndrew GordonJane Hillston FRSEAggelos Kiyias Gordon Plotkin FRS FRSE Don Sannella FRSE Perdita StevensColin StirlingPhilip Wadler FACM FRSE