Talks

All talks listed here are in reverse-chronological order.

 

Invited speaker for conferences

 

1.      Exact Real Calculator for Everyone.  18th Asian Technology Conference in Mathematics (ATCM), Mumbai, India, 9Dec 2013.

 

2.      Topology and its applications.  Plenary Speaker for CAME 2012, UIN Sunan Kalijaga, Fakultas Sains dan Teknolgi, Yogyakarta, 6 Oct 2012.

 

3.      Popularizing Mathematics in Secondary Schools and Beyond.  MERGA 35, Special Teachers Day (Secondary), National Institute of Education, Nanyang Technological University, 5 Jul 2012.

 

4.      Mathematical modelling – from abstract to practical.  Singapore International Mathematics Challenge 2012, NUS High School of Math & Science, 23 May 2012.

 

5.      D-completions on net convergence structures.  The 2nd International Conference on Quantitative Logic and Soft Computing (QLSC2010), Jimei University, Xiamen, China, 22 Oct 2010.  

 

6.      What is the problem?  An short excursion into problem posing and solving in mathematics.  Gifted Education Conference 2009, Singapore, 25 Nov 2009.

 

International meetings and conferences

 

1.      Characterising E-projectives via Co-Monads. 6th International Symposium on Domain Theory and its Applications, Hunan University, China, Aug 2013.

 

2.      When exactly is Scott sober?  Domains X Workshop, University of Swansea, UK, 5 Sep 2011.

 

3.      Operational domain theory and its applications, FOST workshop 2010.  Software Engineering Institute, Institute of Theoretical Computer Science, East China Normal University, Shanghai, China, 20 Jan 2010.

 

4.      An operational domain-theoretic treatment of recursive types.  Dagstuhl Seminar on Computational Structures for Modelling Space, Time and Causality, Dagstuhl Germany, Aug 2006.

 

5.      An operational domain-theoretic treatment of recursive types.  22nd Annual Conference on Mathematical Foundations of Programming Semantics, DISI, University of Genova, Italy, 25 May 2006.

 

6.      Operational domain theory and topology for a sequential programming language, 20th Annual IEEE Symposium on Logic in Computer Science, Chicago Illinois, 26 Jun 2005.

 

 

Departmental seminars

 

  1. Curriculum Workshop: M.Sc. (Mathematics for Educators) --  A Case Study, University of Gadjah Mada, Department of Mathematics, Senior Management, 30 May 2012.

 

  1. Rank commutators, Departmental Seminar, Department of Mathematics, University of Gadjah Mada, Yogyakarta, Indonesia, 29 May 2012.

 

  1. Mathematics Education in Singapore: Current trends and future directions, QITEP, Yogyakarta, Indonesia, 28 May 2012.

 

  1. History of Mathematics as a Teaching Strategy, QITEP, Yogyakarta, Indonesia, 24 Jun 2011.

 

  1. Scott co-topology and sober Scott spaces, Departmental Seminar, Department of Mathematics, University of Gadjah Mada, Yogyakarta, Indonesia, 24 Jun 2011.

 

  1. When exactly is Scott sober?, Theory Seminar, School of Computer Science, The University of Birmingham, UK, 18 Jun 2010.

 

  1. Synthetic real analysis – real analysis, really?, MME Theory Seminar, National Institute of Education, Singapore, 29 Jan 2010.

 

  1. Towards a quantitative domain theory in verification of program correctness, FOST 2010 (concurrent tutorial), Institute of Theoretical Computer Science, East China Normal University, Shanghai, China, 22 Jan 2010.

 

  1. Bourdaud’s characterization of epitopological spaces.  Domains and Logic Seminar.  Mathematics and Mathematics Education & School of Mathematical and Physical Sciences, Nanyang Technological University, Singapore, 5 Feb 2009.

 

  1. Denotational semantics: A practical justification for domain theory (I, II & III).  Domains and Logic Seminar.  Mathematics and Mathematics Education & School of Mathematical and Physical Sciences, Nanyang Technological University, Singapore, Mar-Apr 2008.

 

  1. An operational domain-theoretic treatment of recursive types.  Mathematics and Mathematics Education, National Institute of Education, Nanyang Technological University, Singapore, Apr 2007.

 

  1. An operational domain-theoretic treatment of recursive types.  Computer Laboratory, University of Cambridge, UK, Oct 2006.

 

  1. Operational domain theory and topology of a sequential programming language.  Mathematics and Mathematics Education, National Institute of Education, Nanyang Technological University, Singapore, Aug 2005.

 

  1. Operational domain theory and topology of a sequential programming language.  Department of Computer Science, University of Leicester, UK, May 2005.

 

School talks

1.      Mathematics in Real Life.  Junyuan Secondary School, Singapore, 28 May 2014.

 

2.      From Mathematical Misconceptions to Mathematical Conceptions. Junior College Mathematics Teachers Conference, Nanyang Junior College, Singapore, 26 Mar 2014.

 

3.      Teaching for Student Learning. Teaching and Learning Seminar 2014, Nanyang Junior College, Singapore, Jan 2014. 

 

4.      Seminar on Mathematical Modelling. NUS High School of Math and Science, Singapore, May 2013.

 

5.      Research: The Way Towards Excellence. Gifted Education Symposium, Gifted Education Branch, Singapore, Nov 2012.

 

6.      Pea-value versus p-value:  An overview of teaching and learning of H2 Statistics.  Serangoon Junior College, Mathematics Departmental Retreat, 18 Oct 2012.

 

7.      Does that ring a bell?  Hwa Chong Institution, Singapore, 24 Aug 2012.

 

8.      Are you getting the right signal?  Hwa Chong Institution, Singapore, 27 Jul 2012.

 

9.      Tips on Crafting Examination/Test Questions for H2 Mathematics.  Victoria Junior College, Singapore, 17 Jul 2012.

 

10.  The Basel Problem, Raffles Institution (Secondary & Junior College), Singapore, 16 Apr 2012.

 

11.  Poset reconstruction problem, Raffles Academy Talk Series, Raffles Institution (Junior College), Singapore, 20 May 2010.

 

12.  How to set good examination questions, Hwa Chong Institution, Singapore, 22 Apr 2010.