{"id":5,"date":"2017-02-14T10:52:29","date_gmt":"2017-02-14T15:52:29","guid":{"rendered":"https:\/\/sites.bu.edu\/depend\/dependable-computing-laboratory\/"},"modified":"2022-10-26T14:33:23","modified_gmt":"2022-10-26T18:33:23","slug":"dependable-computing-laboratory","status":"publish","type":"page","link":"https:\/\/sites.bu.edu\/depend\/","title":{"rendered":"Dependable Computing Laboratory"},"content":{"rendered":"

\"wordcloud\"<\/p>\n

Our research spans many areas of <\/span>dependable computing<\/strong>. In particular, we develop computational proof methods<\/em> (a.k.a. formal methods) and machine learning<\/em> techniques to aid the construction of safe<\/em>, reliable<\/em> and secure<\/em> systems. Applications of our work run the gamut from electronic design automation, through multi-robot systems, to self-driving cars. <\/span>Check out our research<\/a> page for more information.<\/span><\/p>\n

Lab location<\/strong>:\u00a0\u00a0PHO<\/a>\u00a0209<\/p>\n

We are grateful\u00a0for the\u00a0funding support from:<\/span><\/p>\n

\"\"\u00a0\"\"\u00a0\u00a0\"\"\u00a0\"\" \"\"\u00a0 \u00a0\u00a0\"\"\u00a0 \u00a0\"\" \"\"\"\"<\/p>\n","protected":false},"excerpt":{"rendered":"

Our research spans many areas of dependable computing. In particular, we develop computational proof methods (a.k.a. formal methods) and machine learning techniques to aid the construction of safe, reliable and secure systems. Applications of our work run the gamut from electronic design automation, through multi-robot systems, to self-driving cars. Check out our research page for […]<\/p>\n","protected":false},"author":12381,"featured_media":0,"parent":0,"menu_order":3,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/pages\/5"}],"collection":[{"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/users\/12381"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/comments?post=5"}],"version-history":[{"count":37,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/pages\/5\/revisions"}],"predecessor-version":[{"id":1046,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/pages\/5\/revisions\/1046"}],"wp:attachment":[{"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/media?parent=5"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}