معرفی
Christopher Brown is a Lecturer in the School of Computer Science at the University of St Andrews, where he conducts research in programming languages, refactoring, parallel programming, and energy-efficient computing. He is a member of the Programming Languages research group and leads the EPSRC-funded Energise project, focused on energy-aware refactorings for embedded systems. Previously, he led the EU Horizon 2020 TeamPlay project, addressing time, energy, and security in parallel software.
Research Interests:
- Programming Languages: semantics, compilers, static analysis
- Refactoring: sequential to parallel transformation, correctness verification
- Parallel and Concurrent Programming: tools, skeletons, GPUs, multi-core systems
- Energy Optimization: compiler and refactoring techniques for low-energy software
- Verification: dependent types, formal soundness, non-functional properties
The recent publications reflect a strong focus on dependently-typed parallel languages, algorithmic skeletons, and specification-guided refactoring, with applications in energy efficiency and safety. His work bridges theoretical foundations with practical tool development, including open-source systems like Skel and ParaFormance.
Scientific Awards:
- No scientific awards explicitly mentioned in the provided text.
Advising and Grants:
- Supervision: Accepting postgraduate research students; no named students listed.
- Grants: Principal Investigator on two major projects:
- Energise (EPSRC): Refactorings and skeletons for energy-aware embedded systems (2021–2024)
- TeamPlay (EU Horizon 2020): Time, energy, and security analysis for heterogeneous platforms (2018–2021)
Labs and Teams: Member of the Programming Languages group at the University of St Andrews. Actively involved in developing open-source tools such as Skel (Erlang parallel library) and ParaFormance (C/C++ refactoring suite), and contributes to collaborative research in parallelism and verification.
