# Georg Sander

> Ph.D. Universität des Saarlandes 1996

**Wikidata**: [Q102165115](https://www.wikidata.org/wiki/Q102165115)  
**Source**: https://4ort.xyz/entity/georg-sander

## Summary  
Georg Sander is a German computer scientist who earned his Ph.D. from Saarland University in 1996. He is best known for developing the VCG verification tool and for his work with several leading software companies, including Tom Sawyer Software, AbsInt, and ILOG.

## Biography  
- **Born:** 13 July 1965, Püttlingen (Germany)  
- **Nationality:** German  
- **Education:**  
  - Saarland University – Diploma (1985 – 1990)  
  - Ph.D., Saarland University – 1996 (doctoral advisor: Reinhard Wilhelm)  
- **Known for:** Development of the VCG verification tool  
- **Employer(s):**  
  - Tom Sawyer Software (1996 – 1999)  
  - AbsInt (dates not specified)  
  - ILOG (dates not specified)  
- **Field(s):** Computer science, software verification, tool development  

## Contributions  
Georg Sander’s most concrete contribution is the creation of the **VCG tool**, a software verification system used to analyze program correctness. The tool was released while he was active in academia and later supported by his industry positions. During his tenure at **Tom Sawyer Software** (1996‑1999), Sander contributed to the development of commercial software products, applying his expertise in program analysis. After leaving Tom Sawyer, he worked for **AbsInt**, a company specializing in static analysis and verification, and for **ILOG**, known for constraint‑programming and optimization tools. Across these roles, Sander helped bridge academic research on verification with practical, industry‑scale implementations, influencing both the research community and commercial software engineering practices.

## FAQs  
### Q: What is the VCG tool that Georg Sander created?  
A: The VCG tool is a software verification system designed to check program correctness; it is one of Sander’s primary technical contributions.  

### Q: Where did Georg Sander obtain his doctorate?  
A: He earned his Ph.D. from Saarland University in 1996 under the supervision of computer scientist Reinhard Wilhelm.  

### Q: Which companies has Georg Sander worked for?  
A: He has held positions at Tom Sawyer Software (1996‑1999), AbsInt, and ILOG, contributing to software development and verification projects.  

## Why They Matter  
Georg Sander’s work links rigorous academic research on program verification with real‑world software engineering. By creating the VCG tool, he provided a concrete platform for detecting bugs and proving program properties, which has been adopted in both research and industry settings. His subsequent roles at Tom Sawyer Software, AbsInt, and ILOG helped disseminate verification techniques into commercial products, improving software reliability for a broad range of applications. Sander’s career exemplifies how foundational computer‑science research can be translated into tools that directly enhance the quality and safety of software systems worldwide.

## Notable For  
- Ph.D. from Saarland University (1996) under advisor Reinhard Wilhelm.  
- Development of the **VCG verification tool**.  
- Early‑career software engineering at **Tom Sawyer Software** (1996‑1999).  
- Contributions to static analysis and verification at **AbsInt**.  
- Work on constraint‑programming and optimization tools at **ILOG**.  

## Body  

### Early Life and Education  
- Born 13 July 1965 in Püttlingen, Germany.  
- Studied computer science at Saarland University (1985‑1990), completing a diploma.  
- Pursued doctoral research under Reinhard Wilhelm, receiving a Ph.D. in 1996.  

### Academic Contributions  
- Focused on program verification and static analysis.  
- Produced the **VCG tool**, a verification framework that supports correctness proofs for software.  

### Industry Career  

#### Tom Sawyer Software (1996‑1999)  
- Joined shortly after completing his doctorate.  
- Applied verification expertise to commercial software development.  

#### AbsInt  
- Continued work on static analysis and verification technologies.  
- Contributed to the company’s portfolio of safety‑critical analysis tools.  

#### ILOG  
- Engaged in development of constraint‑programming and optimization solutions.  

### Tools and Projects  
- **VCG tool** – released during his academic tenure; used for program correctness checking.  
- Participation in software projects at Tom Sawyer, AbsInt, and ILOG, integrating verification methods into product pipelines.  

### Professional Identifiers  
- MR Author ID: 609324  
- Scopus Author ID: 8720448800  
- zbMATH Author ID: sander.georg  
- Mathematics Genealogy Project ID: 13826  

### External Links  
- Personal homepage: <https://www.rw.cdl.uni-saarland.de/people/sander/private/html/gshome.html> (English)  

---  

*All information presented is drawn exclusively from the supplied source material.*

## References

1. [Source](https://www.rw.cdl.uni-saarland.de/people/sander/private/html/gsresume.html)
2. Mathematics Genealogy Project