{"id":10,"date":"2020-05-19T21:33:28","date_gmt":"2020-05-19T21:33:28","guid":{"rendered":"http:\/\/www.cs.ubbcluj.ro\/from2020\/?page_id=10"},"modified":"2020-05-19T22:28:56","modified_gmt":"2020-05-19T22:28:56","slug":"topics","status":"publish","type":"page","link":"https:\/\/www.cs.ubbcluj.ro\/from2020\/topics\/","title":{"rendered":"Topics of Interest"},"content":{"rendered":"\n<h2>Areas and formalisms of interest include: <\/h2>\n\n\n\n<ul><li> Category theory in computer science<\/li><li>Distributed systems and concurrency<\/li><li>Formal languages and automata theory<\/li><li>Formal modelling, verification and testing<\/li><li>Logic in computer science<\/li><li>Logical frameworks<\/li><li>Mathematical structures in computer science<\/li><li>Models of computation<\/li><li>Semantics of programming languages<\/li><li>Type systems <\/li><\/ul>\n\n\n\n<h2> Methods of interest include: <\/h2>\n\n\n\n<ul><li> Automated reasoning and model generation<\/li><li>Automated induction<\/li><li>Certified programs<\/li><li>Data-flow and control-flow analysis<\/li><li>Deductive verification<\/li><li>Mechanized proofs<\/li><li>Model checking<\/li><li>Proof mining<\/li><li>Symbolic computation<\/li><li>Term rewriting <\/li><\/ul>\n\n\n\n<h2> Applications of interest include: <\/h2>\n\n\n\n<ul><li> Computational logic<\/li><li>Computer mathematics<\/li><li>Knowledge representation, ontology reasoning, deductive databases<\/li><li>Program analysis<\/li><li>Verification and synthesis of software and hardware<\/li><li>Uncertainty reasoning and soft computing <\/li><\/ul>\n\n\n\n<p> <\/p>\n","protected":false},"excerpt":{"rendered":"<p>Areas and formalisms of interest include: Category theory in computer science Distributed systems and concurrency Formal languages and automata theory&hellip; <\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/pages\/10"}],"collection":[{"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/comments?post=10"}],"version-history":[{"count":8,"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/pages\/10\/revisions"}],"predecessor-version":[{"id":176,"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/pages\/10\/revisions\/176"}],"wp:attachment":[{"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/media?parent=10"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}