I am an academic researcher in computer science and logic.