More Fields

Filters

Profiles which have:

Recent Changes

Profiles with recent changes to:
Sign up to Download

1-3 of 3 results

  • logsem.github.io
  • 19
We also develop tools for machine-supported reasoning in the models and logics. The tools range from full interactive verification in proof assistants to automatic program analysis and model checking...
Relevance: 11.81385
  • concordium.com
  • 2
  • 78
Concordium is a public-layer 1, science-backed blockchain, designed to balance privacy with accountability through its ID layer. The protocol level ID, ensures that every wallet is associated with a real-world identity that has been verified through..
Relevance: 3.7265618
  • cs.au.dk
  • 134
  • 35
  • 149
The first Computer Science course activites started at Aarhus University in 1968 as a part of the Department of Mathematical Sciences. In 1971, Datalogisk Afdeling under Matematisk Institut (DAIMI) was formed and the first master in Computer Science..
Relevance: 2.101706