diff --git a/content/_index.md b/content/_index.md index 76d143d..c655032 100644 --- a/content/_index.md +++ b/content/_index.md @@ -3,8 +3,8 @@ title: "Home" description: "Peter's new homepage, implemented using the Congo theme for Hugo." --- -[Professor Emeritus] ([Computer Science], [Swansea University]) -[Visitor] ([Programming Languages Group], [TU Delft]) +[Professor Emeritus] ([Computer Science, Swansea University]) +[Visitor] ([Programming Languages Group], [Computer Science, TU Delft])
Career overview @@ -33,14 +33,11 @@ The main focus of my research since the 1980s has been on pragmatic aspects of s In the 1980s and 1990s, I also participated in research on [algebraic specification] of data types and software. I was the initial coordinator of [CoFI], the Common Framework Initiative, which designed the algebraic specification language [CASL]; and I was a chair of [IFIP Working Group 1.3] (on Foundations of System Specification).
-[SLE 2024]: https://www.sleconf.org/2024/ -[SPLASH]: https://2024.splashcon.org [Professor Emeritus]: https://www.swansea.ac.uk/staff/science/compsci/mosses-p-d/ "Staff page" -[Computer Science]: https://www.swansea.ac.uk/compsci/ "Home page" -[Swansea University]: https://www.swansea.ac.uk/ "Home page" +[Computer Science, Swansea University]: https://www.swansea.ac.uk/compsci/ "Home page" [Visitor]: https://www.tudelft.nl/en/staff/p.d.mosses/ "Staff page" [Programming Languages Group]: https://pl.ewi.tudelft.nl/ "Home page" -[TU Delft]: https://www.tudelft.nl/en/ "Home page" +[Computer Science, TU Delft]: https://www.tudelft.nl/en/eemcs/the-faculty/departments/computer-science "Home page" [PLanCompS]: research/plancomps/ [Denotational semantics]: https://en.wikipedia.org/wiki/Denotational_semantics "Wikipedia" [SIS]: software/sis/