Simon Youssef

Latest

• Abstractions for DNA circuit design
• Visual DSD: a design and analysis tool for DNA strand displacement systems
• A generic abstract machine for stochastic process calculi