Associate Professor (Reader)
Department of Computer Science
University of Warwick, Coventry CV4 7AL
Tel: +44 24 7652 3179
Sara dot Kalvala at warwick dot ac dot uk
Mathematical Sciences Building, room MSB 5.29
My research in Computational Biology focuses on:
- Development of simulation techniques to model interaction between micro-organisms, in particular the use of cellular automata and multi-agent modelling;
- Development of logic-based domain-specific languages to model bio-networks, such as metabolic pathways and signalling networks, and synthetic analogues of biosystems.
- Application of compiling techniques in the design of synthetic biology circuits.
I am one of the Co-Investigators in the Warwick Integrative Synthetic Biology Centre (WISB).
In the area of Formal Methods, I am particularly interested in:
- Development of verified optimizing compilers; I have been working towards an approach to specifying optimisations based on Temporal Logics, which allows for many interesting optimisations to be written out formally and proved;
- Race conditions and their implications in the correct execution of concurrent programs and distributed applications.
Administration and Contact
My duties include being Director of Student Experience for DCS and I am very happy to hear from students, colleagues and others about how we can improve the social, technical and educational experience of our students.
In the summer of 2020 I have joined the University's Covid19 Test and Trace work-stream as a UCU representative. If you would like to comment on any aspect of this, please get in touch.
Also in the summer of 2020 I have become a member of the ACM-Women Scholarship committee which provides funding for female students from anywhere in the world to attend CS conferences. Please encourage anyone who could benefit from such an opportunity to apply.
For many years I have been writing book reviews for Computing Reviews. I'd be happy to be directed to interesting books and articles to review.
Eleanor Davies and Sara Kalvala, Postcondition-preserving fusion of postorder tree transformations. CC 2020
Anthony Nash and Sara Kalvala, A P system model of swarming and aggregation in a Myxobacterial colony. J. Membr. Comput. 1(2) (2019)
Faiz Sayyid and Sara Kalvala, On the importance of modelling the internal spatial dynamics of biological cells, in Biosystems (Elsevier), July 2016
Christophe Ladroue and Sara Kalvala, Constraint-based genetic compilation, in Algorithms for Computational Biology (AlCoB) 2015, Springer LNB, 2015
Jane Sinclair, Matthew Butler, Michael Morgan, Sara Kalvala, Measures of student engagement in Computer Science, in Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, Pages 242-247, ACM, 2015
Daven Sanassy et al, Modelling and stochastic simulation of synthetic biological boolean gates, in Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications pp. 404-408, 2014
Savas Konur et al, Modeling and Analysis of Genetic Boolean Gates using Infobiotics Workbench, in Proceedings of Workshop on Verification of Engineered Molecular Devices and Programs 2014, Vienna, Austria (CAV 2014), pp. 26-37, 2014.
Antony B. Holmes, Sara Kalvala, David E. Whitworth, Spatial Simulations of Myxobacterial Development. PLoS Computational Biology 6(2), 2010
- CS908: Research Methods
- CS349: Principles of Programming Languages
- CS118: Programming for Computer Scientists (2012, 2018)
- CS352: Project Management for Computer Scientists (2017)
- CS325: Compiler Design (until 2016)
- CS241: Operating Systems (2011-2014)
- CS310: Computer Science Project Coordinator (2015-2016)
- Synthetic Biology Centre for Doctoral Training