# Marek Sergot

> Ph.D. Imperial College London 1980

**Wikidata**: [Q102342670](https://www.wikidata.org/wiki/Q102342670)  
**Source**: https://4ort.xyz/entity/marek-sergot

## Summary
Marek Sergot is a computer scientist and university teacher specializing in the field of computational logic. He is a long-standing academic at Imperial College London, where he earned his Ph.D. in 1980 and has since mentored numerous researchers in the field of computer science.

## Biography
- **Born:** 1952
- **Education:** Ph.D., Imperial College London (1980)
- **Known for:** Contributions to computational logic and academic mentorship
- **Employer(s):** Imperial College London
- **Field(s):** Computational logic, computer science

## Contributions
Marek Sergot has contributed to the advancement of computational logic through his research and teaching at Imperial College London. After completing his doctoral studies in 1980 under the supervision of Robert Kowalski, Sergot became an integral part of the academic faculty at Imperial. His work is characterized by a focus on the formal structures of logic as applied to computing.

Beyond his individual research, Sergot has made a significant impact through the supervision of doctoral students. He has guided several researchers through their Ph.D. programs, including Irene Papatheodorou, Aspassia Kaliopi Daskalopulu, Georgios Sakellariou, Wilson Wen Bin Goh, and Kostas Stathis. His scholarly output is tracked by major academic databases, including DBLP and zbMATH, and his professional identity is maintained through international authority files such as VIAF and the Library of Congress.

## FAQs
### Q: What is Marek Sergot's primary area of expertise?
A: Marek Sergot is a specialist in computational logic, a branch of computer science that uses logic to model and solve complex problems.

### Q: Where did Marek Sergot receive his doctoral degree?
A: He received his Ph.D. from Imperial College London in 1980.

### Q: Who was Marek Sergot's doctoral advisor?
A: His doctoral advisor was Robert Kowalski, a prominent British computer scientist and mathematician.

## Why They Matter
Marek Sergot is a significant figure in the academic lineage of computational logic. By working at Imperial College London—a major hub for logic programming and computer science—he has helped sustain and grow the field's theoretical foundations. His importance is reflected not only in his own academic records but also in his role as an educator. By supervising multiple doctoral students who have gone on to contribute to various scientific domains, Sergot has ensured the continued development of logical methods in computer science. His work is recognized by the Mathematics Genealogy Project and major library authorities, marking him as a key contributor to the formal academic history of his discipline.

## Notable For
*   **Academic Lineage:** Completed his Ph.D. under Robert Kowalski, a pioneer in logic programming.
*   **Mentorship:** Supervised at least five doctoral students who have contributed to the field of computer science.
*   **Institutional Tenure:** Long-term affiliation with the Department of Computing at Imperial College London.
*   **Formal Recognition:** Indexed in the Mathematics Genealogy Project (ID 127984) and the zbMATH database.

## Body
### Academic Background and Education
Marek Jozef Sergot was born in 1952. He attended Imperial College London for his graduate studies, where he focused on the intersection of logic and computing. In 1980, he was awarded his Ph.D. His doctoral research was conducted under the guidance of Robert Kowalski, a central figure in the development of logic programming.

### Research and Field of Work
Sergot’s career has been defined by his work in computational logic. This field involves the use of formal logic to represent knowledge and perform automated reasoning. His contributions to this area are documented in several major bibliographic databases:
*   **DBLP:** Listed under the author ID s/MarekJSergot.
*   **zbMATH:** Identified by the ID sergot.marek-j.
*   **Mathematical Reviews:** Assigned the author ID 231261.

### Teaching and Supervision
As a university teacher at Imperial College London, Sergot has been responsible for training the next generation of computer scientists. His doctoral students have explored various applications of computational logic and computer science. Notable students supervised by Sergot include:
*   Irene Papatheodorou
*   Aspassia Kaliopi Daskalopulu
*   Georgios Sakellariou
*   Wilson Wen Bin Goh
*   Kostas Stathis

### Professional Identifiers
Sergot is recognized by several international authority records, which facilitate the tracking of his academic contributions:
*   **VIAF ID:** 9264149108427568780005
*   **GND ID:** 1089585632
*   **Library of Congress Authority ID:** no2013084712
*   **WorldCat Entities ID:** E39PCjCtpCJK6RgHcrcGPV8kCP

## References

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