# Frank de Boer

> university teacher at Leiden University

**Wikidata**: [Q77085962](https://www.wikidata.org/wiki/Q77085962)  
**Source**: https://4ort.xyz/entity/frank-de-boer-q77085962

## Summary
Frank de Boer is a Dutch computer scientist and university teacher at Leiden University, specializing in formal methods. He earned his education at Vrije Universiteit Amsterdam and has made significant contributions to theoretical computer science through his research and mentorship of doctoral students.

## Biography
- Born: 1956
- Nationality: Netherlands
- Education: Vrije Universiteit Amsterdam
- Known for: Research in formal methods and computer science education
- Employer(s): Leiden University (since February 15, 2008), Vrije Universiteit Amsterdam (educated there)
- Field(s): Formal methods, computer science

## Contributions
Frank de Boer has made substantial contributions to the field of formal methods in computer science through both his research and academic leadership. As a professor at Leiden University since 2008, he has mentored numerous doctoral students who have gone on to make their own contributions to computer science, including Juan Visente Guillen Scholten (Ph.D. 2007), Mohammad Mahdi Jaghoori (Ph.D. 2010), and several others. His work builds upon the foundation established by his doctoral advisor, Jaco de Bakker, a prominent Dutch computer scientist. De Boer's focus on formal methods has helped advance the theoretical underpinnings of software verification and system correctness. His research has been recognized through various academic identifiers including DBLP author ID, Google Scholar profile, and Mathematics Genealogy Project listing. Through his teaching and supervision of graduate students, he has influenced the next generation of computer scientists working in formal verification and theoretical computer science.

## FAQs
### Q: What is Frank de Boer's area of expertise?
A: Frank de Boer specializes in formal methods within computer science, focusing on theoretical approaches to software verification and system correctness.

### Q: Where does Frank de Boer work?
A: Frank de Boer is a university teacher at Leiden University, where he has been employed since February 15, 2008.

### Q: Who was Frank de Boer's doctoral advisor?
A: Frank de Boer's doctoral advisor was Jaco de Bakker, a prominent Dutch computer scientist.

## Why They Matter
Frank de Boer represents a crucial link in the Dutch computer science academic tradition, connecting the pioneering work of Jaco de Bakker with the current generation of researchers in formal methods. His position at Leiden University has allowed him to shape the education and research direction of numerous doctoral students who now contribute to computer science globally. The formal methods field, which de Boer has significantly contributed to, is essential for ensuring software reliability and safety in critical systems. His work impacts areas ranging from programming language theory to system verification, providing mathematical foundations that help prevent software errors in applications where failure could have serious consequences. Through his academic genealogy—being advised by de Bakker and mentoring multiple successful researchers—de Boer has helped maintain and expand the Netherlands' strong reputation in theoretical computer science and formal verification research.

## Notable For
• Mentoring 9 doctoral students including Juan Visente Guillen Scholten (2007) and Mohammad Mahdi Jaghoori (2010)
• Specialization in formal methods, a critical area for software verification and system correctness
• Academic lineage connecting to Jaco de Bakker, a foundational figure in Dutch computer science
• Long-term faculty position at prestigious Leiden University since 2008
• Recognition through multiple academic identifiers including Mathematics Genealogy Project ID 102987

## Body
### Academic Career
Frank de Boer has been affiliated with Leiden University as a university teacher since February 15, 2008. His employment at this prestigious institution has positioned him as a key figure in Dutch computer science education and research. Prior to his position at Leiden, he received his education at Vrije Universiteit Amsterdam, creating institutional connections between two major Dutch universities.

### Educational Background
De Boer pursued his higher education at Vrije Universiteit Amsterdam, one of the Netherlands' prominent institutions for computer science. This educational foundation prepared him for advanced research in formal methods and theoretical computer science.

### Doctoral Supervision
As a doctoral supervisor, de Boer has guided nine students to completion of their Ph.D. degrees. His doctoral students include Juan Visente Guillen Scholten (completed 2007), Joost Ferdinand Jacob, Mohammad Mahdi Jaghoori (completed 2010), Lăcrămioara Aştefănoaei, Stephanie Kemper, M. van Hulst, Cornelis Pierik, M.B. van Riemsdijk, and Nick Tinnemeier.

### Academic Lineage
Frank de Boer's doctoral advisor was Jaco de Bakker, a distinguished Dutch computer scientist born in 1939 and deceased in 2012. This academic relationship connects de Boer to the foundational period of Dutch computer science development.

### Research Focus
His field of work centers on formal methods, which involves mathematical approaches to specifying, developing, and verifying software and hardware systems. This area is crucial for ensuring system reliability and correctness in critical applications.

### Professional Identity
De Boer holds dual professional identities as both a computer scientist and university teacher, combining research contributions with educational responsibilities at the university level.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Frank de Boer",
  "alternateName": ["Frank Sipke de Boer", "Frank S. de Boer"],
  "jobTitle": "University Teacher",
  "worksFor": {"@type": "Organization", "name": "Leiden University"},
  "nationality": {"@type": "Country", "name": "Netherlands"},
  "birthDate": "1956",
  "gender": "Male",
  "alumniOf": {"@type": "EducationalOrganization", "name": "Vrije Universiteit Amsterdam"},
  "knowsAbout": ["Formal Methods", "Computer Science"],
  "description": "University teacher at Leiden University"
}

## References

1. Leidse Hoogleraren
2. Mathematics Genealogy Project
3. Dutch National Thesaurus for Author Names
4. National Library of Israel Names and Subjects Authority File