# Robert France

> Jamaica-born American computer scientist

**Wikidata**: [Q85204638](https://www.wikidata.org/wiki/Q85204638)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Robert_France)  
**Source**: https://4ort.xyz/entity/robert-france

## Summary
Robert France was a Jamaica-born American computer scientist and university teacher known for his contributions to formal methods in software engineering. Born on October 8, 1960, he held a PhD from Massey University and taught at institutions including Colorado State University and Florida Atlantic University until his death on February 15, 2015.

## Biography
- **Born**: October 8, 1960, in Jamaica  
- **Nationality**: American  
- **Education**: Doctor of Philosophy (Massey University, 1989); studied at the University of the West Indies St. Augustine Campus  
- **Known for**: Developing formal frameworks for data flow diagrams and contributions to software engineering  
- **Employer(s)**: Colorado State University, Florida Atlantic University  
- **Field(s)**: Computer science, software engineering  

## Contributions
Robert France’s work focused on formalizing software development processes. His 1989 doctoral thesis, *A formal framework for data flow diagrams with control extensions*, established foundational concepts for modeling and analyzing software systems. He supervised doctoral students such as Eunjee Song and Mustafa Al-Lail, contributing to academic mentorship in computer science. As a university teacher, he advanced education in software engineering at institutions like Colorado State University and Florida Atlantic University. His research provided structured approaches to software design, influencing methodologies in the field.

## FAQs
### Q: Where was Robert France born and educated?
A: Born in Jamaica, he earned his PhD at Massey University in New Zealand (1989) and studied at the University of the West Indies.

### Q: What was Robert France’s most notable academic work?
A: His 1989 thesis, *A formal framework for data flow diagrams with control extensions*, systematized software modeling techniques.

### Q: Where did Robert France work as a professor?
A: He was employed at Colorado State University and Florida Atlantic University, among other institutions.

## Why They Matter
Robert France’s formal frameworks improved the rigor of software engineering practices, enabling more reliable system design. His academic leadership and mentorship helped shape the careers of computer science professionals. Without his contributions, software development methodologies might lack critical structural tools for modeling and verification. His work remains relevant in technical education and industry standards for software architecture.

## Notable For
- **1989 PhD Thesis**: *A formal framework for data flow diagrams with control extensions*  
- **Employment**: Tenure at Colorado State University and Florida Atlantic University  
- **Mentorship**: Supervised doctoral students in computer science  
- **Dual Background**: Jamaica-born American academic bridging international scholarly communities  

## Body
### Early Life and Education
- Born in Jamaica on October 8, 1960.  
- Earned a Doctor of Philosophy from Massey University (1989) with a thesis on formal frameworks for data flow diagrams.  
- Studied at the University of the West Indies St. Augustine Campus.  

### Career
- Taught at **Colorado State University** and **Florida Atlantic University**.  
- Conducted research in software engineering, emphasizing formal methods for system design.  

### Academic Work
- **Key Publication**: *A formal framework for data flow diagrams with control extensions* (1989 doctoral thesis).  
- **Supervision**: Guided doctoral students including Eunjee Song and Mustafa Al-Lail.  
- **Fields**: Software engineering, formal methods, data flow modeling.  

### Legacy
- Contributed to rigorous methodologies in software development.  
- Recognized for bridging academic and practical applications of computer science.  
- Died in Colorado on February 15, 2015, leaving a legacy in technical education and software engineering standards.

## References

1. A formal framework for data flow diagrams with control extensions
2. Mathematics Genealogy Project
3. Virtual International Authority File
4. [Source](http://hdl.handle.net/10179/12810)
5. [Source](http://uli.nli.org.il/F/?func=find-b&local_base=NLX10&find_code=UID&request=987007442441205171)