Vasily Tarasov, IBM Research