CASTOR
  • Home
  • News
    • CASTOR News
    • CASTOR Newsletters & Reports
    • CASTOR on Twitter
    • Job Openings
  • Events
    • CASTOR Events
    • KTH Software Research Meetup
    • CASTOR Software Days
  • Research
    • Focus Areas
    • Projects
    • On-Going Seed Projects
    • Publications
    • Propose a Seed Project
  • Software
    • Software Highlights
    • CASTOR on Github
    • WARA-Software
  • About us
    • Key Objectives
    • Partners
    • The Centre
    • People
    • Work with us
    • Contact
  • In the Press
  • Jobs
  • Stay Tuned!
Select Page

Åsa Svahn

Finance

See Åsa Svahn’s KTH webpage.

 

 

 

 

Skills

Posted on

August 24, 2020

← Real-time Prediction of Traffic Statistics and Patterns Machine checkable verification of P4 programs →

CASTOR Newsletter

Subscribe!

Latest News

  • Online Paper Presentation on Constraint-Based Software Diversification
  • A KTH Short Film On Graph Neural Network Approach to Program Similarity
  • A Short Video About KTH’s Contributions to the TESTOMAT Project
  • Best Paper Award on Constraint Programming
  • USENIX ATC paper presentation

Upcoming Events

Tue 27

Best practices to catalyze EU and industry collaborative research projects

October 27 @ 13:00 - 17:00
Nov 28

CASTOR Workshop on Dependable and Secure Systems

November 28 @ 08:55 - 12:30

View More…

News Archives

  • September 2020 (2)
  • August 2020 (3)
  • June 2020 (1)
  • April 2020 (1)
  • March 2020 (2)
  • February 2020 (3)
  • January 2020 (1)
  • December 2019 (1)
  • November 2019 (4)
  • October 2019 (2)
  • September 2019 (4)
  • July 2019 (2)
  • May 2019 (4)
  • February 2019 (2)
  • January 2019 (1)
  • December 2018 (5)
  • November 2018 (3)
  • October 2018 (4)
  • September 2018 (2)
  • July 2018 (1)
  • June 2018 (2)
  • May 2018 (1)
  • April 2018 (1)
  • March 2018 (1)
  • December 2017 (1)

News Catgories

  • News (41)
  • Results (5)
  • Uncategorized (11)
  • Vacancies (1)
  • Twitter
CASTOR © 2018. All rights reserved.