You are viewing a single comment's thread from:
RE: The SMT Oracles whitepaper.. [call for academics, modelers and deep thinkers]
Hello Ned, i attempted to find you on chat but was not able to connect - perhaps you can message me there on this user name? I would like to be considered as an Oracle. I am based in Australia, so on a different time period and this maybe useful -and i think with guidelines or training i could easily identify if people are using just one account for posting or other Oracle duties. I don't mind even working in support of an Oracle if that better suits my limited technical level. All the best, David