sheffield.ac.uk/cs/research/foundations-computation

Preview meta tags from the sheffield.ac.uk website.

Linked Hostnames

18

Thumbnail

Search Engine Appearance

Google

https://sheffield.ac.uk/cs/research/foundations-computation

Foundations of Computation

Research concerns the mathematical foundations of computer science. The topics we are interested in include algorithms, computational complexity and combinatorics, logical methods, program semantics, hardware and software verification and interactive theorem proving.



Bing

Foundations of Computation

https://sheffield.ac.uk/cs/research/foundations-computation

Research concerns the mathematical foundations of computer science. The topics we are interested in include algorithms, computational complexity and combinatorics, logical methods, program semantics, hardware and software verification and interactive theorem proving.



DuckDuckGo

https://sheffield.ac.uk/cs/research/foundations-computation

Foundations of Computation

Research concerns the mathematical foundations of computer science. The topics we are interested in include algorithms, computational complexity and combinatorics, logical methods, program semantics, hardware and software verification and interactive theorem proving.

  • General Meta Tags

    14
    • title
      Foundations of Computation | Computer Science | The University of Sheffield
    • charset
      utf-8
    • description
      Research concerns the mathematical foundations of computer science. The topics we are interested in include algorithms, computational complexity and combinatorics, logical methods, program semantics, hardware and software verification and interactive theorem proving.
    • content_type
      Basic
    • group_name_short
      Computer Science

  • Open Graph Meta Tags

    11
    • og:site_name
      The University of Sheffield
    • og:title
      Foundations of Computation
    • og:description
      Research concerns the mathematical foundations of computer science. The topics we are interested in include algorithms, computational complexity and combinatorics, logical methods, program semantics, hardware and software verification and interactive theorem proving.
    • og:image:url
      https://cdn.sheffield.ac.uk/sites/default/files/styles/two_thirds_2x/public/2023-06/AdobeStock_310580884.jpeg.jpg?itok=lzZCxj3i
    • og:updated_time
      2025-07-16T13:42:14+0100

  • Twitter Meta Tags

    6
    • twitter:card
      summary_large_image
    • twitter:site
      @SheffieldUni
    • twitter:description
      Research concerns the mathematical foundations of computer science. The topics we are interested in include algorithms, computational complexity and combinatorics, logical methods, program semantics, hardware and software verification and interactive theorem proving.
    • twitter:title
      Foundations of Computation
    • twitter:image
      https://cdn.sheffield.ac.uk/sites/default/files/styles/two_thirds_2x/public/2023-06/AdobeStock_310580884.jpeg.jpg?itok=lzZCxj3i

  • Link Tags

    5
    • canonical
      https://sheffield.ac.uk/cs/research/foundations-computation
    • icon
      /themes/custom/uos_public/favicon.ico
    • icon
      /themes/custom/uos_public/favicon.svg
    • stylesheet
      //cdn.sheffield.ac.uk/sites/default/files/css/css_B2emnM1JT1lEMfi9S37FKSrEYfN5XqxQyrcknMY0Wq4.css?delta=0&language=en&theme=uos_public&include=eJxNj2tuwzAMgy_kxkcSZFtptTmWq0eG7PRLg2HdH4H6SAlg_aTGLgpYq2hjGflPLavKcBot0XD2A2gr1HLF6aebPp5BekAwYLhU2WYnp_x_SR0PCYfGVmU_01kGVelpouJdcT4sN42JfXmTJcaM0tke1JKSTRnGO4Fj6QQrdyfNb367eLLDnLZc0CiFGFwvar53KdjTzvRl-ZrLJi3Og-_QAqvEaPiq85v8AQBhbFs
    • stylesheet
      //cdn.sheffield.ac.uk/sites/default/files/css/css_wzc_Laol6NkUQeIZKa9K-ehewgn00c7R91upOWGvUHw.css?delta=1&language=en&theme=uos_public&include=eJxNj2tuwzAMgy_kxkcSZFtptTmWq0eG7PRLg2HdH4H6SAlg_aTGLgpYq2hjGflPLavKcBot0XD2A2gr1HLF6aebPp5BekAwYLhU2WYnp_x_SR0PCYfGVmU_01kGVelpouJdcT4sN42JfXmTJcaM0tke1JKSTRnGO4Fj6QQrdyfNb367eLLDnLZc0CiFGFwvar53KdjTzvRl-ZrLJi3Og-_QAqvEaPiq85v8AQBhbFs

Links

192