Manuel I. Capel-Tuñón is Full Professor in the Department of Software Engineering at the University of Granada (Spain). Dr. Capel leads the research group “Concurrent Systems”, and his research work includes the study of Formal Methods (Temporal Logics and Process Algebras) applied to the systematic development of embedded real-time systems. Recent results in this field include a formal specification method for real-time systems through transformation of UML-RT models, an “on-the-fly” model-checking algorithm for Future Interval Logic formulae and, most recently, a compositional formal verification method of critical systems. Currently, his research interest is focused on modeling biological systems using Software Engineering methods, soundly based in Computer Science, for embedded real-time systems.
Theresa Casey is a Research Assistant Professor in the Department of Animal Science at Michigan State University (MSU). She works with Karen Plaut in the Mammary Gland Biology Laboratory (MGBL) at MSU, and the overall objective of their research is to understand how cells, growth factors, hormones, organ systems and the environment interact to regulate mammary development and lactation. A primary focus of the MGBL is to determine how metabolic changes are coordinated as an integrated organismal system during the transition from pregnancy to lactation to support milk synthesis using a systems biology approach.
Profile Here
Laura K. Dillon is a Professor in the Department of Computer Science and Engineering at Michigan State University (MSU). Her research interests are in formal methods and programming languages. Before joining MSU, she headed the team at University of California, Santa Barbara, that developed Real-Time Graphical Interval Logic, a dense-time temporal logic for specifying and reasoning about real-time properties of concurrent software systems. At MSU, she co-founded the Concurrent Software Design Group with Professor Kurt Stirewalt. Their tool-supported "design for verification" (D4V) methodology leverages high-level, declarative synchronization contracts to simplify construction of system models that are verifiable and traceable to code and that support automated code generation.
Anthony Finkelstein is Professor of Software Systems Engineering and Head of Computer Science at University College London (UCL), Visiting Professor at Imperial College and at the National Institute for Informatics, Tokyo, Japan. He has broad interests in the area of systems modelling and the management of very large and complex models. He has recently been working on systems biology as part of a large project to provide a multi-scale computational model of the liver. He also has active work on biomedical software and data grid infrastructures applied in cancer research. Details of his profile and research can be found at
http://www.cs.ucl.ac.uk/staff/A.Finkelstein/
Karen Plaut is Professor and Chair of the Department of Animal Science at Michigan State Univeristy (MSU). Dr Plaut works with Dr. Casey in the Mammary Gland Biology Laboratory (MGBL) at MSU, and the overall objective of their research is to understand how cells, growth factors, hormones, organ systems and the environment interact to regulate mammary development and lactation. A primary focus of the MGBL is to determine how metabolic changes are coordinated as an integrated organismal system during the transition from pregnancy to lactation to support milk synthesis using a systems biology approach. She works primarily with cows and model systems in the lab. She also conducts research on human breast cancer.
Rob Seymour is a Professor of Applied Mathematics at UCL and joint Program Director for the MRes/PhD program of UCL’s interdisciplinary centre CoMPLEX (
http://www.ucl.ac.uk/complex/). He collaborates widely in interdisciplinary research, with interests in systems biology, cell signaling, epidemiology, evolutionary theory, ecology, economics and evolutionary game theory. He is a member of an interdisciplinary systems biology project to build in silico models of liver physiology. He is also a member of an international project that aims to build in-silico models of the interaction of coral reef ecosystems with human socio-economic systems to aid decision making for sustainable management and development. Details of his profile and research can be found at
http://www.ucl.ac.uk/math/staff/RMS.html
