1982 року отримав ступінь доктора філософії (PhD), написавши дисертацію з питань семантики у Поширеній Стандартній Теорії Ноама Чомскі, Knowledge Semantics. Працю було окреслено революційною за те, що вона поєднала погляди Ноама Чомскі та Гіларі Путнама в одне формулювання. Згодом Тарнавський працював над процесуванням природних та розрібкою штучних мов і в ділянці штучного інтелекту, над експертними системами. За роки роботи на IBM Тарнавський написав низку публікацій на кібернетичні та лінґвістичні теми та був відзначений низкою нагород.