February 18 – 23 , 2018, Dagstuhl Seminar 18082
Last update: March 19 2019

Formal Methods for the Synthesis of Biomolecular Circuits

Participants

  • Aaron Adler (BBN Technologies – Cambridge, US) [dblp]
  • Ben Barak (Tel Aviv, IL)
  • Chris Barnes (University College London, GB) [dblp]
  • Jacob Beal (BBN Technologies – Cambridge, US) [dblp]
  • Yaakov Benenson (ETH Zürich – Basel, CH) [dblp]
  • Milan Ceska (Brno University of Technology, CZ) [dblp]
  • Neil Dalchau (Microsoft Research UK – Cambridge, GB) [dblp]
  • Sara-Jane Dunn (Microsoft Research UK – Cambridge, GB) [dblp]
  • François Fages (INRIA Saclay – Île-de-France, FR) [dblp]
  • Eric Fanchon (TINC-IMAG Lab – La Tronche, FR) [dblp]
  • Thomas Gorochowski (University of Bristol, GB) [dblp]
  • Maleen Hanst (TU Darmstadt, DE) [dblp]
  • Nathan Hillson (jibei – Emeryville, US)
  • Johannes Kabisch (TU Darmstadt, DE)
  • Heinz Koeppl (TU Darmstadt, DE) [dblp]
  • Jan Madsen (Technical University of Denmark – Lyngby, DK) [dblp]
  • Oded Maler (VERIMAG – Grenoble, FR) [dblp]
  • Gareth Molyneux (University of Oxford, GB)
  • Radu Muschevici (TU Darmstadt, DE) [dblp]
  • Chris J. Myers (University of Utah, US) [dblp]
  • Irene Otero-Muras (CSIC – Vigo, ES) [dblp]
  • James Scott-Brown (University of Oxford, GB) [dblp]
  • Boyan Yordanov (Microsoft Research UK – Cambridge, GB) [dblp]
  • Paolo Zuliani (University of Newcastle, GB) [dblp]


In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner