Department of Computer Science and Engineering, Functional Programming Division
- John Hughes, Professor, Project Leader
- Koen Claessen, Professor
- Mary Sheeran, Professor
- Nicholas Smallbone, Post Doc
Department of Electrical Engineering, Division of Systems and Control
- Martin Fabian, Professor
- Bengt Lennartson, Professor
- Knut Åkesson, Associate Professor
- Zahra Ramezani, PhD Student
International co-application from the control community
Professor Richard M. Murray received the B.S. degree in Electrical Engineering from California Institute of Technology in 1985 and the M.S. and Ph.D. degrees in Electrical Engineering and Computer Sciences from the University of California, Berkeley, in 1988 and 1991, respectively. He is currently the Thomas E. and Doris Everhart Professor of Control and Dynamical Systems and Bioengineering at Caltech. Murray’s research is in the application of feedback and control to networked systems, with applications in autonomy and synthetic biology. Current projects include specification, verification and synthesis of networked control systems; analysis and design of biomolecular feedback circuits; and novel architectures for control using slow computing.
International co-application from the computer science community
Professor Marc Pouzet at the Computer Science department (DIENS) of ENS, Paris, France, is an international expert of design, semantic and implementation of programming languages. Currently, his main research topic is about the semantics and implementation of hybrid systems modelers (e.g., Simulink, Modelica), the design and implementation of Zélus, a synchronous language that mixes discrete and continuous time, and the formal certification of a Lustre compiler with Coq. Marc Pouzet has also been influenced the design of the synchronous features of the Modelica language. Zélus is developed within the PARKAS Team which is a research group supported by the ENS, Inria, and the Université Pierre et Marie Curie.