# Einar Broch Johnsen

> researcher

**Wikidata**: [Q106730212](https://www.wikidata.org/wiki/Q106730212)  
**Source**: https://4ort.xyz/entity/einar-broch-johnsen

## Summary
Einar Broch Johnsen is a male Norwegian computer scientist who has worked as a professor at the University of Oslo since 2008. He is known for his doctoral research on "Formal Viewpoint Specification of Open Distributed Systems" completed in 2002.

## Biography
- Born: 1970
- Nationality: Norwegian (inferred from professional affiliation)
- Education: Doctoral thesis "Formal Viewpoint Specification of Open Distributed Systems" (2002)
- Known for: Research in formal specification of distributed systems
- Employer(s): University of Oslo (2008-present) as professor
- Field(s): Computer science

## Contributions
Einar Broch Johnsen has contributed to the field of computer science through research in formal specification of distributed systems. His doctoral thesis, completed in 2002, established his foundational work in this specialized area. He maintains an active academic presence with identifiers in multiple scholarly databases, including MR (735412), zbMath (johnsen.einar-broch), ACM Digital Library (81100065363), and Google Scholar (MWLmvGkAAAAJ). His professional role as a professor at the University of Oslo since 2008 indicates a continuing commitment to both research and education in computer science.

## FAQs
### Q: What is Einar Broch Johnsen's academic background?
A: Einar Broch Johnsen completed his doctoral thesis titled "Formal Viewpoint Specification of Open Distributed Systems" in 2002. He has since established a career as a computer science researcher and educator.

### Q: Where does Einar Broch Johnsen work?
A: Einar Broch Johnsen has been working as a professor at the University of Oslo since January 2008.

### Q: What research areas does Einar Broch Johnsen specialize in?
A: Based on his doctoral thesis, Einar Broch Johnsen specializes in formal specification of distributed systems within computer science.

### Q: How is Einar Broch Johnsen identified in academic databases?
A: Einar Broch Johnsen has multiple identifiers in academic databases including ISNI (0000000418581624), GND (142303089), and specialized mathematical and computer science databases.

## Why They Matter
Einar Broch Johnsen's work in formal specification of distributed systems contributes to the theoretical foundations of computer science. His research advances methods for formally describing and verifying complex distributed systems, which are fundamental to modern computing infrastructure. Through his professorship at the University of Oslo, he has likely influenced a new generation of computer scientists, while his consistent academic identifiers across multiple databases demonstrate a sustained contribution to the scholarly discourse in his field.

## Notable For
- Doctoral thesis on "Formal Viewpoint Specification of Open Distributed Systems" (2002)
- Long-term professorship at University of Oslo (since 2008)
- Academic contributions in formal specification of distributed systems
- Multiple academic identifiers across various scholarly databases
- Affiliation with WikiProject Mathematics

## Body
### Academic Identity
- Full name: Einar Broch Johnsen
- Occupation: Computer scientist
- Birth year: 1970
- Gender: Male

### Academic Credentials
- Doctoral thesis: "Formal Viewpoint Specification of Open Distributed Systems" (2002)
- Current position: Professor at University of Oslo (since January 1, 2008)

### Academic Identifiers
- ISNI: 0000000418581624
- GND ID: 142303089
- VIAF ID: 208145969961732250406
- dblp_author_id: j/EinarBrochJohnsen
- MR author ID: 735412
- zbMath author ID: johnsen.einar-broch
- Dimensions author ID: 015526363744.92
- ACM Digital Library author ID: 81100065363
- Google Scholar author ID: MWLmvGkAAAAJ
- IDRef ID: 197719813
- BibSys ID: 90812108
- Norwegian National Library ID: stk2007415553
- NVA person ID: 21099
- Cyprus University of Technology ID: 45253
- Yale LUX ID: person/442ad1d7-487d-4920-845a-58adeb404b97

### Professional Affiliations
- University of Oslo (2008-present), Professor

### Research Focus
- Formal specification of distributed systems
- Based on doctoral thesis topic and academic field classification

## References

1. IdRef
2. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0001-5382-3949/employment/5370827)
3. Virtual International Authority File
4. [Source](https://data.dnb.de/opendata/authorities-gnd-person_lds.rdf.gz)
5. [Source](https://authority.bibsys.no/authority/rest/authorities/html/90812108)