Home Vitae Current Positions Research Teaching Publications Photos
 

Research

  • Constructive foundations of analysis and topology.

  • Recursive functions theory, computability and complexity.

University of Canterbury. Best viewed at 800x600 resolution or higher.