Monthly Archives: February 2012

Friday 23rd Mar 2012 – Dr Vladimir Komendantsky

Dr Vladimir Komendantsky – University of St Andrews Project preview: Environment for Construction of Parallel Skeletons, Higher-Order Theorem Proving and Complexity Analysis Parallel skeletons are higher-order programming specifications for parallel or distributed computations introduced by M. Cole in the 90’s. … Continue reading

Posted in Research Seminar | Leave a comment