Felix Winterstein

Felix Winterstein I am a researcher in the Circuits and Systems Group at Imperial College London, working with George Constantinides.
Most of my research addresses digital computation using FPGAs and high-level synthesis.

My CV

Publications

Please note that the official versions of the preprints listed here are copyright IEEE, ACM, or Springer.

2017

2016

2015

2014

2013

2012

2011

Talks

PhD Thesis

"Separation Logic for High-Level Synthesis", April 2016 thesis
Book version: Springer Theses

Space

OPS-SAT: How will commercial FPGAs cope in space? Our OPS-SAT experiment. Here is our OPS-SAT blog

Open source

Consultancy

Contact me.

News

Tweets by @fewinterstein

Getting in touch

Please contact me on my College email address f.winterstein12_at_imperial.ac.uk (replace _at_ with @).
My office address is:
Felix Winterstein
Department of Electrical and Electronic Engineering
Imperial College London
South Kensington Campus, London SW7 2BT
United Kingdom
View Felix Winterstein's profile on LinkedIn