COQ lecture slides by Prof Vladimir Voevodsky. Click HERE to read.
Posted on 27 Aug, 2014

List of Courses and Lecturers, Semester 1, AY 2014-2015
Posted on 10 Jul, 2014

Jurong Health Services is looking for our fresh graduates to apply for the post of Senior / Executive, Medical Affairs (Clinical Analytics). The expected start date is Jul or Aug 2014.
Please apply it by clicking HERE.

posted on 5 June,2014
   

The Wall Street Journal reports that "Mathematician" has just been ranked the best job of 2014.

Read the full article HERE
Posted on 17 April, 2014
   
   

Course announcement for AY 2013/2014 Semester 2: Quantum Probability.

This course will be offered to graduate students as the course MAS 723 Topics in Probability and Statistics I, and to advanced undergraduates as the course MAS463/MTH473/MH4932 Special Topics in Statistics. Download registration form here.

Posted on Nov 21, 2013
   
 

Course announcement for AY 2013/2014 Semester 2: Discrete and Computational Geometry.

This course will be offered to undergraduate students as the course MAS462/MTH472/MH4931 Special Topics in Applied Maths and graduate students as the course MAS725 Topics in Discrete Mathematics II. Download registration form here.

Posted on Nov 21, 2013
   
 
PBL Award Ceremony for Singapore Polytechnic
Posted on 4 Sep, 2013
 
The MOE’s 2012 Graduate Employment Survey, jointly conducted by NTU, NUS and SMU, has discovered that 94.4% of job-seeking graduates of the MAS degree in Mathematical Sciences found employment within 6 months of their final exams!
Posted on Mar 25, 2013
 
Interview with Professor Vladimir Voevodsky, Institute for Advanced Study, Princeton at SPMS on Jan 22, 2013
Posted on Jan 16, 2013
 
The 7th International Conference on Information Theoretic Security
Posted on Dec 26, 2012
 
New: Business Analytics track for Mathematical Sciences Students
Posted on Mar 7, 2012
 
MH4900 Final Year Project
Posted on Jan 31, 2012
 
 

Seminar Talk by Professor Charles J. Colbourn

Title: Linear Extensions and Sequence Covering Arrays

15 August, 2014
  [ View ]

Seminar Talk by Dr Taoyang Wu

Title: Subtree Patterns in phylogenetic trees

12 August, 2014
  [ View ]
Univalent Formalization of Mathematics with Proof Assistant Coq
8, 15, 22 August 2014
  [ View ]

 
 
Codes over Matrix Rings for Space-Time Coded Modulations
IEEE Transactions on Information Theory, 58(2), 734-746, 2012
F. Oggier, P. Sole, J.-C. Belfiore
 
Improved Lower Bounds for the 2-page Crossing Number of Km, n and Kn via Semidefinite Programming
SIAM Journal on Optimization, 22(2), 581-595, 2012
E. de Klerk, D.V. Pasechnik.