# Muffy Calder

> Computer Scientist

**Wikidata**: [Q14949107](https://www.wikidata.org/wiki/Q14949107)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Muffy_Calder)  
**Source**: https://4ort.xyz/entity/muffy-calder

## Summary
Muffy Calder is a renowned British computer scientist and professor at the University of Glasgow, recognized for her contributions to formal methods and computing research. A Fellow of the Royal Society of Edinburgh and Dame Commander of the Order of the British Empire, she has held leadership roles in UK computing policy and education.

## Biography
- **Born**: 1958-05-21, Shawinigan  
- **Nationality**: United Kingdom  
- **Education**: PhD, University of St Andrews; University of Stirling  
- **Known for**: Work in formal methods and computing research leadership  
- **Employer(s)**: University of Glasgow (Professor, 1988–present)  
- **Field(s)**: Formal methods, computer science  

## Contributions
Muffy Calder has advanced the field of formal methods, focusing on rigorous mathematical techniques for software and system verification. She has supervised numerous doctoral students, including Colin Burns, Brian Matthews, and Carron Shankland, shaping the next generation of computing researchers. Calder has also held key leadership roles, such as membership in the UK Computing Research Committee, influencing national research agendas. Her work has been recognized through fellowships with the Royal Academy of Engineering, British Computer Society, and Institution of Engineering and Technology. While specific high-impact papers are not detailed in the source material, her academic leadership and policy contributions underscore her lasting influence on computing education and research infrastructure in the UK.

## FAQs
### Q: What is Muffy Calder’s most notable honor?
A: She was appointed Dame Commander of the Order of the British Empire and Fellow of the Royal Society of Edinburgh.

### Q: Where does Muffy Calder work?
A: She is a professor at the University of Glasgow, a position she has held since 1988.

### Q: What field is Muffy Calder known for?
A: She specializes in formal methods, a discipline focused on applying mathematical rigor to software and system design.

## Why They Matter
Muffy Calder’s work in formal methods has improved the reliability of software systems, particularly in safety-critical domains. Her leadership in UK computing research committees and academic institutions has shaped policy, funding, and educational standards, ensuring the UK remains competitive in global computing innovation. As a role model for women in STEM, her honors—including a damehood—highlight her dual impact on technical research and science advocacy. Without her contributions, the integration of formal methods into mainstream computing practice and the strategic direction of UK research might have developed more slowly.

## Notable For
- Dame Commander of the Order of the British Empire  
- Fellow of the Royal Society of Edinburgh (2003)  
- Professor at the University of Glasgow since 1988  
- Member of the UK Computing Research Committee  
- Supervised over 10 doctoral students in computing  

## Body
### Early Life and Education
Muffy Calder was born on 1958-05-21 in Shawinigan. She earned her PhD from the University of St Andrews and studied at the University of Stirling.

### Career
Calder began her professorship at the University of Glasgow in 1988, focusing on formal methods and software verification. She has maintained this role for over 35 years, alongside leadership positions in national computing committees.

### Research and Contributions
Her research emphasizes formal methods, ensuring software systems meet mathematical correctness criteria. Calder’s supervision of doctoral students (e.g., Colin Burns, Brian Matthews) has expanded the talent pipeline in formal methods. She has not been linked to specific patents or products but has influenced research policy through committee work.

### Leadership and Honors
Calder’s honors include:
- Officer of the Order of the British Empire (OBE)  
- Dame Commander of the Order of the British Empire (DBE)  
- Fellowships with the Royal Academy of Engineering, British Computer Society, and Institution of Engineering and Technology  
- Delivered the Karen Spärck Jones Lecture  

Her membership in the UK Computing Research Committee and Royal Society of Edinburgh reflects her authority in shaping computing research directions.

## References

1. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0001-5033-7232/employment/1534295)
2. [Source](http://www.sciencescotland.org/feature.php?id=120)
3. Mathematics Genealogy Project
4. [Source](https://www.theiet.org/impact-society/thought-leadership/expert-panels/uk-computing-research-committee-ukcrc/members-of-ukcrc/ukcrc-members/)
5. [SciGraph](https://scigraph.springernature.com/person.01035770173.59)