# Anna Ingólfsdóttir

> Ph.D. from University of Sussex in 1995 on "Semantic Models for Communicating Processes with Value-Passing." supervised by Matthew C. B. Hennessy

**Wikidata**: [Q99933554](https://www.wikidata.org/wiki/Q99933554)  
**Source**: https://4ort.xyz/entity/anna-ingolfsdottir

## Summary
Anna Ingólfsdóttir is an Icelandic computer scientist specializing in the formal semantics of concurrent systems. She is best known for her research on semantic models for communicating processes with value-passing, a field she advanced through her doctoral work at the University of Sussex.

## Biography
- **Born:** 1952
- **Nationality:** Icelandic
- **Education:** Ph.D., University of Sussex (1995)
- **Known for:** Research on semantic models for communicating processes with value-passing
- **Field(s):** Computer Science, Theoretical Computer Science

## Contributions
Anna Ingólfsdóttir has made significant contributions to the theoretical foundations of computer science, particularly in the area of process algebra and formal semantics. In 1995, she published her doctoral thesis, "Semantic Models for Communicating Processes with Value-Passing," at the University of Sussex. This work, supervised by the prominent Irish computer scientist Matthew C. B. Hennessy, focused on creating mathematical frameworks to describe how computational processes interact and exchange data.

Her academic work is widely indexed in major scientific databases, including the ACM Digital Library, zbMATH, and the Mathematics Genealogy Project. Beyond her individual research, she has contributed to the field through the mentorship of doctoral students. Notably, she served as an advisor for Georgiana Caltais, who later completed her own Ph.D. at Radboud Universiteit Nijmegen in 2013. Ingólfsdóttir's work is recognized internationally, as evidenced by her inclusion in multiple authority files such as VIAF, GND, and the National Library of Israel.

## FAQs
### Q: What is Anna Ingólfsdóttir's primary area of research?
A: She specializes in computer science, specifically focusing on the development of semantic models for communicating processes that involve value-passing.

### Q: Where did Anna Ingólfsdóttir receive her Ph.D.?
A: She earned her Ph.D. from the University of Sussex in 1995 under the supervision of Matthew C. B. Hennessy.

### Q: What languages does Anna Ingólfsdóttir speak?
A: According to academic records, she is proficient in both Icelandic and English.

## Why They Matter
Anna Ingólfsdóttir’s work is foundational to the mathematical understanding of how concurrent software systems communicate. By developing semantic models for value-passing processes, she provided tools necessary for the formal verification of complex systems where data exchange is a critical component. Her research helps ensure that interactions between different computational processes can be rigorously analyzed for correctness and reliability. Furthermore, her role as an educator and doctoral advisor has helped shape the next generation of researchers in theoretical computer science, extending her influence on the field's development.

## Notable For
*   **Doctoral Thesis (1995):** Author of "Semantic Models for Communicating Processes with Value-Passing," a key work in process semantics.
*   **Academic Lineage:** Doctoral student of Matthew C. B. Hennessy and advisor to Georgiana Caltais.
*   **International Recognition:** Indexed in major global authority files including the German National Library (GND) and the International Standard Name Identifier (ISNI).
*   **Mathematical Contributions:** Recognized contributor to the zbMATH and Mathematics Genealogy Project databases.

## Body
### Academic Background and Education
Anna Ingólfsdóttir was born in 1952. She conducted her doctoral research at the University of Sussex in the United Kingdom. In 1995, she completed her Ph.D. with a thesis titled "Semantic Models for Communicating Processes with Value-Passing." Her research was supervised by Matthew C. B. Hennessy, a notable figure in the study of process calculi.

### Research Focus
Ingólfsdóttir’s work primarily resides within the domain of theoretical computer science. Her research addresses:
*   **Communicating Processes:** The study of how independent computational units interact.
*   **Value-Passing:** The mechanisms by which data is transferred between these processes.
*   **Formal Semantics:** The use of mathematical logic to define the behavior of programming languages and concurrent systems.

### Mentorship and Legacy
As an established academic, Ingólfsdóttir has contributed to the growth of the computer science community through doctoral supervision. Her student, Georgiana Caltais, successfully defended a Ph.D. at Radboud Universiteit Nijmegen in 2013, continuing the research traditions established by Ingólfsdóttir and Hennessy.

### Authority Records and Identifiers
Ingólfsdóttir is documented across several international bibliographic and academic systems:
*   **VIAF ID:** 119897005
*   **GND ID:** 1128677598
*   **ISNI:** 0000 0001 1463 4918
*   **ACM Digital Library:** 81100639482
*   **zbMATH Author ID:** ingolfsdottir.anna

```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Anna Ingólfsdóttir",
  "jobTitle": "Computer Scientist",
  "nationality": {
    "@type": "Country",
    "name": "Iceland"
  },
  "birthDate": "1952",
  "gender": "Female",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "University of Sussex"
    }
  ],
  "knowsAbout": [
    "Computer Science",
    "Semantic Models",
    "Communicating Processes",
    "Value-Passing"
  ],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q102351740",
    "https://viaf.org/viaf/119897005",
    "https://zbmath.org/authors/?q=ai:ingolfsdottir.anna"
  ],
  "description": "Icelandic computer scientist known for her work on semantic models for communicating processes with value-passing."
}

## References

1. IdRef
2. Mathematics Genealogy Project
3. [Source](https://viaf.org/viaf/data/viaf-20230206-links.txt.gz)
4. Virtual International Authority File
5. [Source](https://www.genealogy.math.ndsu.nodak.edu/id.php?id=177255)
6. [Source](https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=xx0046436&CON_LNG=ENG)
7. [Source](https://opac.si.cobiss.net/opac7/conor/135979619)
8. CONOR.SI
9. [Source](https://zbmath.org/authors/?q=ai:ingolfsdottir.anna)
10. National Library of Israel Names and Subjects Authority File