# Linard Arquint

> Swiss computer scientist and doctoral student at ETH Zurich

**Wikidata**: [Q115671898](https://www.wikidata.org/wiki/Q115671898)  
**Source**: https://4ort.xyz/entity/linard-arquint

## Summary
Linard Arquint is a Swiss computer scientist and doctoral student at ETH Zurich, known for his work on **Gobra**, a program verifier for the Go programming language. His research focuses on modular verification of security protocol implementations, contributing to advancements in formal methods and software security.

## Biography
- **Nationality**: Switzerland
- **Education**:
  - Bachelor of Science in Computer Science, ETH Zurich
  - Master of Science in Computer Science, ETH Zurich
  - Doctor of Sciences (PhD) in Computer Science, ETH Zurich (advisor: Peter Müller)
  - Attended Disentis Abbey School (2006–2012)
- **Known for**: Developing **Gobra**, a program verifier for Go
- **Employer(s)**: National University of Singapore (as of 2026)
- **Field(s)**: Computer science, formal verification, software security

## Contributions
Linard Arquint is best known for his work on **Gobra**, a program verifier for the Go programming language, which enables formal verification of Go programs to ensure correctness and security. His doctoral research, supervised by Peter Müller, focuses on **modular verification of security protocol implementations**, addressing challenges in proving the correctness of cryptographic protocols.

Arquint has contributed to academic literature in formal methods, with publications indexed under his **dblp author ID (195/8358)** and **Google Scholar profile (V99JpsoAAAAJ)**. His work bridges theoretical computer science and practical software engineering, particularly in the domain of secure programming languages.

## FAQs
### Q: What is Linard Arquint known for?
A: Linard Arquint is known for developing **Gobra**, a program verifier for the Go programming language, and his research on modular verification of security protocols.

### Q: Where did Linard Arquint study?
A: He earned his Bachelor’s, Master’s, and PhD in Computer Science from **ETH Zurich**, with his doctoral research advised by Peter Müller.

### Q: What is Gobra?
A: Gobra is a **program verifier for Go**, designed to formally verify the correctness and security of Go programs, particularly in the context of cryptographic protocols.

### Q: Where does Linard Arquint work?
A: As of 2026, he is affiliated with the **National University of Singapore**.

### Q: What is Linard Arquint’s research focus?
A: His research focuses on **formal verification, software security, and modular verification of security protocol implementations**.

## Why They Matter
Linard Arquint’s work on **Gobra** and modular verification advances the field of formal methods by making verification tools more accessible to developers using mainstream languages like Go. His research helps bridge the gap between theoretical verification techniques and practical software engineering, improving the security and reliability of real-world systems. By contributing to tools that automate correctness proofs, Arquint’s work reduces human error in critical software, such as cryptographic protocols, where bugs can have severe consequences.

## Notable For
- Developing **Gobra**, a program verifier for the Go programming language.
- PhD research on **modular verification of security protocol implementations** under Peter Müller at ETH Zurich.
- Contributions to **formal methods** and **software security** in academic literature.
- Affiliation with **ETH Zurich** and the **National University of Singapore**.

## Body
### Education and Early Career
- Attended **Disentis Abbey School** (2006–2012).
- Earned a **Bachelor of Science in Computer Science** from ETH Zurich.
- Completed a **Master of Science in Computer Science** at ETH Zurich.
- Pursued a **Doctor of Sciences (PhD)** at ETH Zurich, advised by **Peter Müller**, with a dissertation titled *"Modular Verification of Security Protocol Implementations"*.

### Research and Contributions
- **Gobra**: A program verifier for Go, enabling formal verification of Go programs. Gobra is designed to ensure correctness and security, particularly for cryptographic protocols.
- **Formal Verification**: His work focuses on modular verification techniques, allowing developers to prove the correctness of individual components in large systems.
- **Publications**: Indexed under **dblp (195/8358)** and **Google Scholar (V99JpsoAAAAJ)**, with research contributions in formal methods and software security.

### Professional Affiliations
- **ETH Zurich**: Conducted doctoral research under Peter Müller.
- **National University of Singapore**: Employed as of 2026.

### Online Presence
- **Website**: [linardarquint.com](https://linardarquint.com)
- **Twitter**: [@LinardArquint](https://twitter.com/LinardArquint) (active since 2014)
- **GitHub**: [@ArquintL](https://github.com/ArquintL)
- **LinkedIn**: [linkedin.com/in/arquint](https://linkedin.com/in/arquint)

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Linard Arquint",
  "jobTitle": "Computer Scientist",
  "worksFor": {
    "@type": "Organization",
    "name": "National University of Singapore"
  },
  "nationality": {
    "@type": "Country",
    "name": "Switzerland"
  },
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "ETH Zurich"
    },
    {
      "@type": "EducationalOrganization",
      "name": "Disentis Abbey School"
    }
  ],
  "knowsAbout": [
    "Formal Verification",
    "Software Security",
    "Program Verification",
    "Go Programming Language"
  ],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q[WIKIDATA_ID]",
    "https://linardarquint.com",
    "https://github.com/ArquintL",
    "https://twitter.com/LinardArquint"
  ],
  "description": "Swiss computer scientist known for developing Gobra, a program verifier for the Go programming language."
}

## References

1. [Source](https://linardarquint.com)
2. [Source](https://verse-lab.org)
3. [Source](https://www.pm.inf.ethz.ch/people.html)
4. [Source](https://www.pm.inf.ethz.ch/people/alumni.html)
5. [Source](https://www.pm.inf.ethz.ch/research/gobra.html)