codesync.global/speaker/thomas-arts

Preview meta tags from the codesync.global website.

Linked Hostnames

8

Search Engine Appearance

Google

https://codesync.global/speaker/thomas-arts

Thomas Arts

Thomas Arts co-founder and CTO of Quviq has an academic background with a PhD in theoretical computer science. Directly after his PhD, Thomas started at Ericsson’s computer Science Lab on verification tools for Erlang. After a short return to academia as professor at Chalmers, he is now fully devoted to amazing testing tools. Quviq is the company that productified QuickCheck, a tool that automatically generates tests. The tool is written in Erlang, but can be used to test systems written in a variety of languages. Among other successes, it is heavily used within the telecom and automotive industry, for example for testing 5G base stations and AUTOSAR standard software. Recently Quviq has put a lot of effort in the development and testing of blockchain implementations.



Bing

Thomas Arts

https://codesync.global/speaker/thomas-arts

Thomas Arts co-founder and CTO of Quviq has an academic background with a PhD in theoretical computer science. Directly after his PhD, Thomas started at Ericsson’s computer Science Lab on verification tools for Erlang. After a short return to academia as professor at Chalmers, he is now fully devoted to amazing testing tools. Quviq is the company that productified QuickCheck, a tool that automatically generates tests. The tool is written in Erlang, but can be used to test systems written in a variety of languages. Among other successes, it is heavily used within the telecom and automotive industry, for example for testing 5G base stations and AUTOSAR standard software. Recently Quviq has put a lot of effort in the development and testing of blockchain implementations.



DuckDuckGo

https://codesync.global/speaker/thomas-arts

Thomas Arts

Thomas Arts co-founder and CTO of Quviq has an academic background with a PhD in theoretical computer science. Directly after his PhD, Thomas started at Ericsson’s computer Science Lab on verification tools for Erlang. After a short return to academia as professor at Chalmers, he is now fully devoted to amazing testing tools. Quviq is the company that productified QuickCheck, a tool that automatically generates tests. The tool is written in Erlang, but can be used to test systems written in a variety of languages. Among other successes, it is heavily used within the telecom and automotive industry, for example for testing 5G base stations and AUTOSAR standard software. Recently Quviq has put a lot of effort in the development and testing of blockchain implementations.

  • General Meta Tags

    11
    • title
      Thomas Arts
    • theme-color
      #ff005f
    • keywords
      Conference
    • description
      Thomas Arts co-founder and CTO of Quviq has an academic background with a PhD in theoretical computer science. Directly after his PhD, Thomas started at Ericsson’s computer Science Lab on verification tools for Erlang. After a short return to academia as professor at Chalmers, he is now fully devoted to amazing testing tools. Quviq is the company that productified QuickCheck, a tool that automatically generates tests. The tool is written in Erlang, but can be used to test systems written in a variety of languages. Among other successes, it is heavily used within the telecom and automotive industry, for example for testing 5G base stations and AUTOSAR standard software. Recently Quviq has put a lot of effort in the development and testing of blockchain implementations.
    • robots
      index, follow

  • Open Graph Meta Tags

    5
    • og:site_name
      Code Sync
    • og:description
      Thomas Arts co-founder and CTO of Quviq has an academic background with a PhD in theoretical computer science. Directly after his PhD, Thomas started at Ericsson’s computer Science Lab on verification tools for Erlang. After a short return to academia as professor at Chalmers, he is now fully devoted to amazing testing tools. Quviq is the company that productified QuickCheck, a tool that automatically generates tests. The tool is written in Erlang, but can be used to test systems written in a variety of languages. Among other successes, it is heavily used within the telecom and automotive industry, for example for testing 5G base stations and AUTOSAR standard software. Recently Quviq has put a lot of effort in the development and testing of blockchain implementations.
    • og:title
      Thomas Arts
    • og:type
      person
    • og:ttl
      777600

  • Link Tags

    4
    • canonical
      http://codesync.global/speaker/thomas-arts/
    • icon
      /assets/img/favicon.93e85b1c.png
    • manifest
      /manifest.json
    • stylesheet
      /assets/global.73570f4b.css

Emails

4
  • ?subject=Fireside chat on bringing more FP to Elixir | Brooklyn Zelenka & Thomas Arts | Code BEAM V EU 21&body=Take a look at this: https://www.youtube.com/watch?v=Iyyvizxl7eM
  • ?subject=Thomas Arts & Tobias Lindahl - How to sleep well after a major code refactoring | Code BEAM STO 19&body=Take a look at this: https://www.youtube.com/watch?v=MwaUdNi34b4
  • ?subject=Thomas Arts - Property-Based Testing in Blockchain and P2P Networks - Code BEAM STO&body=Take a look at this: https://www.youtube.com/watch?v=zklO7xMvZ34
  • [email protected]

Links

43