Comment by puredanger

He also created the Datomic database https://www.datomic.com/