Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Home Topics Titles Quotes Blog Featured Help
Sara Kalvala
University of Warwick
Coventry, United Kingdom

Sara Kalvala specializes in formal methods and computational biology. After obtaining a BSc in Biology from the Universidade Federal de São Paulo, Brazil, she did a conversion master’s degree at the University of Hyderabad, India, and then received a PhD in computer science from the University of California, Davis, where she studied theorem-proving methodologies for hardware verification.

She then came to the University of Cambridge, UK to continue looking at theorem proving and diverse logic-based formal methods. She explored variant logics such as linear logic and temporal logic and their role in formal verification, and was also involved in the development and documentation of the HOL and Isabelle proof systems. From hardware, she moved on to look at software verification, particularly the issue of compiler verification and the correctness of optimizations that are embedded in most modern compilers.

After moving to the University of Warwick, UK as a faculty member, and reflecting on the increasing role of computer modeling in biology, she began working in computational biology. She is especially interested in understanding how individual cells or microorganisms communicate and coordinate with each other to give rise to emergent behavior and complex structures such as tissues and biofilms. Bringing together her two main interests, she is currently applying compilation techniques in biology under the exciting new umbrella of synthetic biology, where a computational view is applied in making genetic engineering methodologies more robust and effective. She is now involved in several British interdisciplinary consortia working on synthetic biology.

As a faculty member, Sara has also been very interested in how to make computer science education more exciting and accessible. How to teach programming to beginners is an important concern, and the increasing societal relevance of computer games and interactive gadgets may play an important role in teaching, as well as the public understanding of, computing as a scientific discipline.


Clean Python: elegant coding in Python
Kapil S., Apress, New York, NY, 2019. 284 pp.  Type: Book (978-1-484248-77-5)

Every beginning programmer needs a friend to look over their shoulder at their screen and give advice on how to code better. This book attempts to be such a friend. The book is full of advice of the kind, “do this, don...


 Don Knuth: The analysis of algorithms
Don Knuth. YouTube, 01:02:33, published on Jan 30, 2017, stanfordonline, Type: Video

Don Knuth needs no introduction. Computer science labs around the world are decorated with posters of Professor Knuth, and many academics have on their bookshelves at least the first volume of The art of computer programming [1]...


Programming language explorations
Toal R., Rivera R., Schneider A., Choe E., CRC Press, Inc., Boca Raton, FL, 2017.  Type: Book (9781498738460), Reviews: (1 of 2)

As a computer scientist, one is often subjected to some colleague or student launching into an animated description of the latest programming language that has caught their fancy. A recent visitor gave a seminar where her eventual choi...


Object-orientation, abstraction, and data structures using Scala (2nd ed.)
Lewis M., Lacher L., Chapman & Hall/CRC, Boca Raton, FL, 2017. 660 pp.  Type: Book (978-1-498732-16-1)

The topic of language choice for teaching programming often results in enthusiastic (sometimes irate) discussion. While Java, Python, and JavaScript are the most often championed choices, others such as Eiffel, Haskell, and, for our pu...


 Simulation algorithms for computational systems biology
Marchetti L., Priami C., Thanh V., Springer International Publishing, New York, NY, 2017. 238 pp.  Type: Book (978-3-319631-11-0)

Simulation lies at the heart of systems biology and is arguably one of the most useful computational tools for understanding, modifying, and even designing complex biological systems. Simulation techniques have already shown themselves...


Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy