{"id":388,"date":"2021-08-25T13:45:03","date_gmt":"2021-08-25T13:45:03","guid":{"rendered":"https:\/\/website.prod.unilu.spikeseed.cloud\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/"},"modified":"2021-08-25T13:45:03","modified_gmt":"2021-08-25T13:45:03","slug":"using-mathematical-logic-to-make-computer-systems-more-reliable","status":"publish","type":"news","link":"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/","title":{"rendered":"Using Mathematical Logic to Make Computer Systems More Reliable"},"content":{"rendered":"<section class=\"wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\"><p><i>Having joined SnT in 2020, Joshua Dawes is a postdoctoral researcher in the Software Verification and Validation (SVV) research group. His research interests lie in the fundamental research necessary to analyse the behaviour of programs, and the engineering work necessary to apply program analysis in an industrial context. Today he shares with us details of his day-to-day research.<\/i><\/p><p><strong>What is your area of research?<\/strong><\/p><p>\u201cThe main area of my research involves, like many others in <a href=\"https:\/\/wwwfr.uni.lu\/snt\/research\/software_verification_and_validation_lab\" target=\"_blank\" title=\"\" rel=\"noopener\">SVV<\/a>, verifying that certain kinds of computer systems behave as intended. In particular, I focus on a kind of testing that aims to check whether a computer system is not only generating the correct answer, but is executing the correct sequence of steps to get there. The problem can be tricky enough on its own without additional factors that we need to check for \u2013 such as how data looks throughout this sequence of steps, and how long each step takes.<\/p><p>My work in this area began during my Ph.D., which I spent at the <a href=\"https:\/\/home.cern\/\" target=\"_blank\" title=\"\" rel=\"noopener\">European Organisation for Nuclear Research<\/a> (CERN) in Geneva. There, I mainly investigated ways to rigorously analyse the relationship between the data being processed by computer systems, and the time taken. For example, if data is sent over a network, and it needs to be written into a database somewhere, you\u2019d often expect there to be a relationship between that data and the time taken to perform certain operations on it.<\/p><p>A key aspect of my Ph.D. research, and now my research at SnT, is the use of maths to perform analyses of computer systems\u2019 behaviour. The main kind of maths I use is the area of logic. Like many others, I use this because it tends to be convenient to write statements that should be true or false when a computer system runs.<\/p><p><strong>How does the everyday use of logic differ from the mathematical kind?<\/strong><\/p><p>Usually, in everyday speech, logic is used in sentences like, \u00ab\u00a0To solve this problem, we could employ logic.\u00a0\u00bb\u00a0In mathematical logic, we often refer to a logic, and this is a very different kind from that which is used in everyday speech \u2013 so it\u2019s often a source of confusion. Here\u2019s some clarification: a logic, mathematically speaking, is a language in which we can write things that should be true or false (usually), with respect to some defined world. A well-known one is propositional logic, a language that lets us say simple things about the world, like, \u201cThat tree is pink.\u201d Since there are many of these logics, we can refer to individual ones; as each one provides useful features for writing specific kinds of statements.<\/p><p><strong>How does this apply to computer systems?<\/strong><\/p><p>Since running computer systems generate sequences of snapshots, a good choice of logic to describe how a computer system should behave \u2013 i.e. what should be true about it when it runs \u2013 should allow us to talk about multiple snapshots at the same time. This is where temporal logics come in, which are a group of languages that allow us to write statements concerning multiple points in time. For example, in the famous linear-time temporal logic, we could assert that, \u201cWhenever Josh takes a sip of tea, eventually his mood will improve.\u201d<\/p><p>As part of my research, I\u2019ve introduced new temporal logics that make writing statements about certain behaviours in computer systems easier than it should be. My focus at SnT is developing new temporal logics and further analysis methods. The goal is to make the lives easier for people who develop computer systems whose components are both software and hardware.<\/p><p>In general, I enjoy this area of research, because you need a solid mathematical foundation but also strong programming skills. There\u2019s a nice mix of formal maths and application in the real world. This is especially good because, in my opinion, we\u2019re not doing research for the sake of it \u2013 we\u2019re doing it to build tools that will be useful to people who need to analyse important systems in the industry. Good thing I came to SnT, then!\u201d<\/p><\/div><\/section>","protected":false},"excerpt":{"rendered":"<p>Having joined SnT in 2020, Joshua Dawes is a postdoctoral researcher in the Software Verification and Validation (SVV) research group. His research interests lie in the fundamental research necessary to analyse the behaviour of programs, and the engineering work necessary to apply program analysis in an industrial context. Today he shares with us details of his day-to-day research.<\/p>\n","protected":false},"author":0,"featured_media":389,"template":"","format":"standard","meta":{"featured_image_focal_point":[],"show_featured_caption":false,"ulux_newsletter_groups":"","uluxPostTitle":"","uluxPrePostTitle":"","_trash_the_other_posts":false,"_price":"","_stock":"","_tribe_ticket_header":"","_tribe_default_ticket_provider":"","_tribe_ticket_capacity":"0","_ticket_start_date":"","_ticket_end_date":"","_tribe_ticket_show_description":"","_tribe_ticket_show_not_going":false,"_tribe_ticket_use_global_stock":"","_tribe_ticket_global_stock_level":"","_global_stock_mode":"","_global_stock_cap":"","_tribe_rsvp_for_event":"","_tribe_ticket_going_count":"","_tribe_ticket_not_going_count":"","_tribe_tickets_list":"[]","_tribe_ticket_has_attendee_info_fields":false},"news-category":[3],"news-topic":[],"organisation":[183],"authorship":[],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v22.3 (Yoast SEO v22.3) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Using Mathematical Logic to Make Computer Systems More Reliable - SnT actualit\u00e9s I Universit\u00e9 du Luxembourg<\/title>\n<meta name=\"description\" content=\"Having joined SnT in 2020, Joshua Dawes is a postdoctoral researcher in the Software Verification and Validation (SVV) research group. His research interests lie in the fundamental research necessary to analyse the behaviour of programs, and the engineering work necessary to apply program analysis in an industrial context. Today he shares with us details of his day-to-day research.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Using Mathematical Logic to Make Computer Systems More Reliable\" \/>\n<meta property=\"og:description\" content=\"Having joined SnT in 2020, Joshua Dawes is a postdoctoral researcher in the Software Verification and Validation (SVV) research group. His research interests lie in the fundamental research necessary to analyse the behaviour of programs, and the engineering work necessary to apply program analysis in an industrial context. Today he shares with us details of his day-to-day research.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/\" \/>\n<meta property=\"og:site_name\" content=\"SnT FR\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2021\/08\/using_mathematical_logic_to_make_computer_systems_more_reliable.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"800\" \/>\n\t<meta property=\"og:image:height\" content=\"600\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data1\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"NewsArticle\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/\"},\"author\":{\"name\":\"\",\"@id\":\"\"},\"headline\":\"Using Mathematical Logic to Make Computer Systems More Reliable\",\"datePublished\":\"2021-08-25T13:45:03+00:00\",\"dateModified\":\"2021-08-25T13:45:03+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/\"},\"wordCount\":692,\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2021\/08\/using_mathematical_logic_to_make_computer_systems_more_reliable.jpg\",\"inLanguage\":\"fr-FR\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/\",\"name\":\"Using Mathematical Logic to Make Computer Systems More Reliable - SnT actualit\u00e9s I Universit\u00e9 du Luxembourg\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2021\/08\/using_mathematical_logic_to_make_computer_systems_more_reliable.jpg\",\"datePublished\":\"2021-08-25T13:45:03+00:00\",\"dateModified\":\"2021-08-25T13:45:03+00:00\",\"description\":\"Having joined SnT in 2020, Joshua Dawes is a postdoctoral researcher in the Software Verification and Validation (SVV) research group. His research interests lie in the fundamental research necessary to analyse the behaviour of programs, and the engineering work necessary to apply program analysis in an industrial context. Today he shares with us details of his day-to-day research.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/#primaryimage\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2021\/08\/using_mathematical_logic_to_make_computer_systems_more_reliable.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2021\/08\/using_mathematical_logic_to_make_computer_systems_more_reliable.jpg\",\"width\":800,\"height\":600},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uni.lu\/fr\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Interdisciplinary Centre for Security, Reliability and Trust (SnT)\",\"item\":\"https:\/\/www.uni.lu\/snt-fr\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"News\",\"item\":\"https:\/\/www.uni.lu\/snt-fr\/news\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Using Mathematical Logic to Make Computer Systems More Reliable\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#website\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/\",\"name\":\"SnT\",\"description\":\"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu\",\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#organization\"},\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust I Universit\u00e9 du Luxembourg\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uni.lu\/snt-fr\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#organization\",\"name\":\"SnT - Universit\u00e9 du Luxembourg I Uni.lu\",\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"width\":2560,\"height\":2560,\"caption\":\"SnT - Universit\u00e9 du Luxembourg I Uni.lu\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.linkedin.com\/school\/snt-lu\/\"],\"description\":\"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Using Mathematical Logic to Make Computer Systems More Reliable - SnT actualit\u00e9s I Universit\u00e9 du Luxembourg","description":"Having joined SnT in 2020, Joshua Dawes is a postdoctoral researcher in the Software Verification and Validation (SVV) research group. His research interests lie in the fundamental research necessary to analyse the behaviour of programs, and the engineering work necessary to apply program analysis in an industrial context. Today he shares with us details of his day-to-day research.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/","og_locale":"fr_FR","og_type":"article","og_title":"Using Mathematical Logic to Make Computer Systems More Reliable","og_description":"Having joined SnT in 2020, Joshua Dawes is a postdoctoral researcher in the Software Verification and Validation (SVV) research group. His research interests lie in the fundamental research necessary to analyse the behaviour of programs, and the engineering work necessary to apply program analysis in an industrial context. Today he shares with us details of his day-to-day research.","og_url":"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/","og_site_name":"SnT FR","og_image":[{"width":800,"height":600,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2021\/08\/using_mathematical_logic_to_make_computer_systems_more_reliable.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Dur\u00e9e de lecture estim\u00e9e":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"NewsArticle","@id":"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/#article","isPartOf":{"@id":"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/"},"author":{"name":"","@id":""},"headline":"Using Mathematical Logic to Make Computer Systems More Reliable","datePublished":"2021-08-25T13:45:03+00:00","dateModified":"2021-08-25T13:45:03+00:00","mainEntityOfPage":{"@id":"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/"},"wordCount":692,"publisher":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#organization"},"image":{"@id":"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2021\/08\/using_mathematical_logic_to_make_computer_systems_more_reliable.jpg","inLanguage":"fr-FR"},{"@type":"WebPage","@id":"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/","url":"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/","name":"Using Mathematical Logic to Make Computer Systems More Reliable - SnT actualit\u00e9s I Universit\u00e9 du Luxembourg","isPartOf":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/#primaryimage"},"image":{"@id":"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2021\/08\/using_mathematical_logic_to_make_computer_systems_more_reliable.jpg","datePublished":"2021-08-25T13:45:03+00:00","dateModified":"2021-08-25T13:45:03+00:00","description":"Having joined SnT in 2020, Joshua Dawes is a postdoctoral researcher in the Software Verification and Validation (SVV) research group. His research interests lie in the fundamental research necessary to analyse the behaviour of programs, and the engineering work necessary to apply program analysis in an industrial context. Today he shares with us details of his day-to-day research.","breadcrumb":{"@id":"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/"]}]},{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/#primaryimage","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2021\/08\/using_mathematical_logic_to_make_computer_systems_more_reliable.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2021\/08\/using_mathematical_logic_to_make_computer_systems_more_reliable.jpg","width":800,"height":600},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/snt-fr\/news\/using-mathematical-logic-to-make-computer-systems-more-reliable\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uni.lu\/fr"},{"@type":"ListItem","position":2,"name":"Interdisciplinary Centre for Security, Reliability and Trust (SnT)","item":"https:\/\/www.uni.lu\/snt-fr\/"},{"@type":"ListItem","position":3,"name":"News","item":"https:\/\/www.uni.lu\/snt-fr\/news\/"},{"@type":"ListItem","position":4,"name":"Using Mathematical Logic to Make Computer Systems More Reliable"}]},{"@type":"WebSite","@id":"https:\/\/www.uni.lu\/snt-fr\/#website","url":"https:\/\/www.uni.lu\/snt-fr\/","name":"SnT","description":"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu","publisher":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#organization"},"alternateName":"Interdisciplinary Centre for Security, Reliability and Trust I Universit\u00e9 du Luxembourg","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uni.lu\/snt-fr\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"fr-FR"},{"@type":"Organization","@id":"https:\/\/www.uni.lu\/snt-fr\/#organization","name":"SnT - Universit\u00e9 du Luxembourg I Uni.lu","alternateName":"Interdisciplinary Centre for Security, Reliability and Trust","url":"https:\/\/www.uni.lu\/snt-fr\/","logo":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","width":2560,"height":2560,"caption":"SnT - Universit\u00e9 du Luxembourg I Uni.lu"},"image":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.linkedin.com\/school\/snt-lu\/"],"description":"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu"}]}},"blog_id":13,"_links":{"self":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/news\/388"}],"collection":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/news"}],"about":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/types\/news"}],"version-history":[{"count":0,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/news\/388\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/media\/389"}],"wp:attachment":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/media?parent=388"}],"wp:term":[{"taxonomy":"news-category","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/news-category?post=388"},{"taxonomy":"news-topic","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/news-topic?post=388"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/organisation?post=388"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}