# Nikolaj Bjorner

> computer scientist

**Wikidata**: [Q102250356](https://www.wikidata.org/wiki/Q102250356)  
**Source**: https://4ort.xyz/entity/nikolaj-bjorner


## References

1. Mathematics Genealogy Project
2. [Source](https://www.acm.org/media-center/2022/january/fellows-2021)