This site is supported by donations to The OEIS Foundation.
User:Colm Bhandal
From OeisWiki
PhD student currently working in the area of theoretical computer science. The specific area is the application of formal methods to systems of real time autonomous agents in order to prove protocols safe.