Publication
Video
BioModelAnalyzer
Bio Model Analyzer is a new biological modelling tool that illustrates signalling pathways and determines cellular stabilization. The tool represents a merging of perspectives from systems biology, formal methods, human computer interaction and design. At…
Video
BioModelAnalyzer Trailer
Bio Model Analyzer is a new biological modelling tool that illustrates signalling pathways and determines cellular stabilization. The tool represents a merging of perspectives from systems biology, formal methods, human computer interaction and design. At…
Publication
Stochastic program optimization
Publication
Expert F# 4.0
Publication
Program Synthesis Using Stochastic Techniques
Publication