# Lincoln Wallen

> British-American computer scientist and CTO

**Wikidata**: [Q21463773](https://www.wikidata.org/wiki/Q21463773)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Lincoln_Wallen)  
**Source**: https://4ort.xyz/entity/lincoln-wallen

## Summary
Lincoln Wallen is a British-American computer scientist and Chief Technology Officer (CTO). He is recognized for his academic research in automated proof search, specifically developing efficient matrix proof methods for modal and intuitionistic logics. Wallen contributed to the field of artificial intelligence through his doctoral work under Alan Bundy at the University of Edinburgh.

## Biography
- **Nationality:** British-American
- **Education:** University of Edinburgh
- **Known for:** Automated proof search in non-classical logics; efficient matrix proof methods
- **Employer(s):** [Source notes role as CTO, but does not specify the employer]
- **Field(s):** Computer Science, Artificial Intelligence, Mathematics

## Contributions
Lincoln Wallen has made contributions to the field of computer science through both academic research and technical leadership.

**Academic Research**
Wallen's primary academic contribution is his doctoral thesis, *Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics*. This work focused on the development of efficient matrix proof methods, advancing the capability of computers to automate logical proofs in modal and intuitionistic systems.

**Mentorship and Academic Lineage**
He has played a significant role in the academic lineage of computer science. As a doctoral candidate, he was advised by Alan Bundy, a prominent British artificial intelligence researcher. Wallen later supervised several doctoral students at the University of Edinburgh, including:
*   Katherine Eastaughffe
*   Alexis Richardson
*   Ralph Loader

## FAQs
### Q: What is Lincoln Wallen's educational background?
A: Lincoln Wallen was educated at the University of Edinburgh, where he completed a thesis titled *Automated proof search in non-classical logics*.

### Q: Who was Lincoln Wallen's doctoral advisor?
A: His doctoral advisor was Alan Bundy, a noted British artificial intelligence researcher.

### Q: What is Lincoln Wallen's professional role?
A: He is a computer scientist and holds the position of Chief Technology Officer (CTO). He is identified as British-American.

## Why They Matter
Lincoln Wallen represents a bridge between theoretical computer science and practical technology leadership. His work in non-classical logics addresses complex computational problems regarding how machines verify truth and reasoning in systems beyond standard binary logic. This remains a foundational aspect of automated reasoning and artificial intelligence. Furthermore, his role as a doctoral supervisor helped shape the careers of subsequent technologists and researchers, such as Alexis Richardson and Ralph Loader. His transition from academic research to high-level executive roles (CTO) highlights the applicability of deep theoretical computer science knowledge to industrial and service sectors.

## Notable For
- **Holding the role of Chief Technology Officer (CTO)** in the technology sector.
- **Authoring the thesis:** *Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics*.
- **Academic Mentorship:** Supervising doctoral candidates including Katherine Eastaughffe, Alexis Richardson, and Ralph Loader.
- **Collaboration with AI Pioneers:** Working under the supervision of Alan Bundy, a significant figure in artificial intelligence research.

## Body
### Educational Background
Lincoln Wallen pursued his higher education at the University of Edinburgh. His academic record includes the completion of a doctoral thesis focused on advanced computational logic.

**Thesis Details:**
*   **Title:** *Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics*
*   **Institution:** University of Edinburgh

### Academic Relationships
Wallen is a node in a significant academic network within the computer science community.

**Advisor:**
*   **Alan Bundy:** A British artificial intelligence researcher and university teacher born in 1947. Bundy guided Wallen's doctoral research.

**Doctoral Students:**
Wallen supervised the following students during his academic career:
*   **Katherine Eastaughffe**
*   **Alexis Richardson**
*   **Ralph Loader**

### Professional Identity
Wallen is described as a British-American computer scientist. He operates within the industrial and service sectors as a Chief Technology Officer (CTO). His professional presence is tracked across various academic and library identifiers, including the Library of Congress (n88179199), ISNI (0000000116235873), and zbMATH (wallen.lincoln-a).

## References

1. Mathematics Genealogy Project
2. Virtual International Authority File
3. [E-Theses Online Service](http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.379339)