Tau is a logic-based AI project developed by IDNI AG, a company incorporated in Liechtenstein. 
It researches and develops AI that is able to logically reason over information and software, while also enabling the development of AI and software with guaranteed accuracy, safety and security for the public.

The project was founded in 2015 by Ohad Asor, where he cultivated the idea of Tau Net and Agoras, and the underlying logical AI technology that enables their various features. Up until 2019 Ohad was the sole researcher and developer. In 2019, Fola Adejumo joined as business advisor, and later became CEO in 2021 in partnership with Ohad.