Dr Paulo OlivaReader in Mathematical LogicEmail: p.oliva@qmul.ac.ukTelephone: +44 20 7882 5255Room Number: Peter Landin, CS 421AWebsite: http://www.eecs.qmul.ac.uk/~pboOffice Hours: Friday 11:00-13:00ProfileTeachingResearchProfileI am a computer scientist with a PhD in Theoretical Computer Science. I am currently a Reader in Mathematical Logic, with expertise in System Verification, Game Theory, Formal Logic, and Constructive Mathematics.TeachingFunctional Programming (Postgraduate) Practical introduction to functional programming for students with good programming ability but no prior knowledge of FP Functional Programming (Undergraduate) Recent approaches to systems programming frequently involve functional programming either overtly in the sense that they use modern functional programming languages for rapid prototyping, or more covertly in that they use techniques developed in the functional setting as a way of lending greater structure and clarity to code. This module gives a structured introduction to programming in modern industrial functional languages such as Haskell and F# and to techniques such as map-reduce and monadic programming. Web Programming (Undergraduate) Many computer systems are now accessed through a web interface. This module provides an in-depth and practical study of techniques for programming the web. Students will become proficient in a modern web development framework using PHP for sever programming and Javascript for client programming. The strengths and weaknesses of the framework are evaluated considering issues including authentication, security, session management, cross languages (PHP, SQL, Javascript) consistency and abstraction of the server-client interface. Different architecture styles are compared, including REST and AJAX and the use of JSON. Techniques for testing and for engineering web systems that behave robustly under high load are also covered.ResearchResearch Interests:See Paulo Oliva’s research profile pages including details of research interests, publications, and live grants.