Barry S. Cooper
Computer algorithms analog computation complexity evolutionary computation formal language logic mathematical logic mathematics and computer science membrane computing proof theory quantum computation randomness reverse mathematic semantics