# Cas Cremers

> computer scientist

**Wikidata**: [Q18921585](https://www.wikidata.org/wiki/Q18921585)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Cas_Cremers)  
**Source**: https://4ort.xyz/entity/cas-cremers

## Summary
Cas Cremers is a Dutch computer scientist born in 1974, known for his work in cybersecurity and formal verification. He is a professor at the University of Oxford and has made significant contributions to cryptographic protocol analysis and security standards.

## Biography
- Born: 1974, Geleen, Netherlands
- Nationality: Kingdom of the Netherlands
- Education: Eindhoven University of Technology
- Known for: Research in cryptographic protocols and formal verification
- Employer(s): University of Oxford, Parallax
- Field(s): Computer science, cybersecurity

## Contributions
Cas Cremers has established himself as a leading researcher in cryptographic protocol verification and formal methods. His work has focused on developing automated tools and techniques for analyzing security protocols, helping identify vulnerabilities in widely-used cryptographic standards. He has supervised numerous doctoral students who have gone on to make their own contributions to the field. Through his academic positions and research, Cremers has helped advance the theoretical foundations of cybersecurity while also contributing to practical security improvements. His affiliation with both the University of Oxford and the Dutch video game company Parallax demonstrates his versatility in applying computer science principles across different domains.

## FAQs
### Q: What is Cas Cremers' main area of research?
A: Cas Cremers specializes in computer science with a focus on cryptographic protocols and formal verification methods for security analysis.

### Q: Where does Cas Cremers work?
A: He is employed at the University of Oxford and has also been affiliated with Parallax, a video game development company in the Netherlands.

### Q: Who were Cas Cremers' doctoral advisors?
A: His doctoral advisors were Sjouke Mauw and Erik Peter de Vink, both prominent figures in computer science.

## Why They Matter
Cas Cremers represents the new generation of cybersecurity researchers who bridge theoretical computer science with practical security applications. His work on formal verification of cryptographic protocols has helped establish more rigorous standards for security analysis. By supervising multiple doctoral students, he has created a legacy of researchers who continue to advance the field. His dual affiliation with academic institutions and industry demonstrates how modern computer scientists must navigate both theoretical research and practical applications. His contributions help ensure that the digital infrastructure we rely on daily is built on solid cryptographic foundations.

## Notable For
- Professor at the prestigious University of Oxford
- Supervised 5 doctoral students who are now active researchers
- Published extensively in computer science with multiple academic identifiers
- Dual expertise in academic research and industry applications
- Native speaker of both Dutch and English, facilitating international collaboration

## Body
### Academic Career
Cas Cremers completed his education at Eindhoven University of Technology, one of the Netherlands' premier technical institutions. He pursued his doctoral studies under the supervision of Sjouke Mauw, a respected computer scientist at Eindhoven University of Technology, and Erik Peter de Vink, who received his Ph.D. from Vrije Universiteit Amsterdam in 1990.

### Research and Teaching
After completing his studies, Cremers joined the University of Oxford, one of the world's oldest and most prestigious universities. His research focuses on computer science applications in security and verification. He has maintained active research programs, as evidenced by his numerous academic profiles across different databases.

### Industry Connections
Beyond his academic role, Cremers has maintained connections to industry through his affiliation with Parallax, a Netherlands-based video game developer headquartered in Tilburg. This demonstrates his ability to apply computer science principles beyond traditional academic settings.

### Student Supervision
Cremers has mentored numerous doctoral students throughout his career. His known doctoral students include Marko Horvat, Michèle Feltz, Simon Meier, Luke Garratt, and Katriel Cohn-Gordon, all of whom have continued in research careers.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Cas Cremers",
  "alternateName": ["Casimier Joseph Franciscus Cremers", "Casimier J. F. Cremers", "Cas J. F. Cremers"],
  "jobTitle": "computer scientist",
  "worksFor": [
    {"@type": "Organization", "name": "University of Oxford"},
    {"@type": "Organization", "name": "Parallax"}
  ],
  "nationality": {"@type": "Country", "name": "Kingdom of the Netherlands"},
  "birthDate": "1974",
  "birthPlace": "Geleen, Netherlands",
  "alumniOf": {"@type": "EducationalOrganization", "name": "Eindhoven University of Technology"},
  "knowsAbout": ["computer science", "cybersecurity"],
  "sameAs": [
    "https://www.wikidata.org/entity/Q829984",
    "https://en.wikipedia.org/wiki/Cas_Cremers"
  ],
  "description": "Dutch computer scientist and professor at the University of Oxford"
}

## References

1. Integrated Authority File
2. Mathematics Genealogy Project
3. Virtual International Authority File