Skip to content
Computer Systems Synthesis

Computer Systems Synthesis

Machine Learning + Formal Methods = Computer Systems?

Scroll down to content

Posts

Posted on April 4, 2018April 4, 2018

Pilot Workshop – 1

The workshop took place on 1st November 2017. Programme follows.

  1. Introduction: Vijay Nagarajan
  2. High-level Synthesis: An EDA perspective: Nigel Topham
  3. Synthesis for explainable systems: Ram Ramamoorthy
  4. Synthesis using formal methods: Paul Jackson
  5. Synthesis by combining logic and probability: Vaishak Belle

Recent Posts

  • Pilot Workshop – 1

Archives

  • April 2018

About

This is a School of Informatics Research Programme. 

Can a combination of machine learning and formal methods help automate computer system design?

Please sign up to the mailing list if interested:

 

Proudly powered by WordPress