I attended the annual Computer Lab Supporters Club Recruitment Fair this morning, and was (almost literally) bowled over by the size of the crowd and level of interest in projects related to and disseminating from the Lab. This is the largest fair to date - so large in fact it had to be spread over two days: Thursday 17th and Friday 18th November. The Lab welcomed 84 different companies showcasing their work and current vacancies, eager to talk to the current students and staff. Present members included huge companies such as Amazon, Apple, Citi, ARM; and smaller local companies Geospock, Bromium, Cydar, Telensa and Argon Design.
Financial and trading companies often utilise software and hardware researched and developed at the Computer Lab, and this time OCaml was well represented by Jane Street and Aesthetic Integration.
Jane Street use OCaml and regularly release patches and features upstream. Their Tech Blog details many of the OCaml features they use and develop in-house, and many of these are collaborative projects within the OCaml Labs. We work closely with their development team on compiler and runtime improvements, language features and teaching resources for interns and students.
Aesthetic Integration developed the Imandra Modelling Language (IML) which combines a programming language with mathematical verification logic to reason about a large scale system. IML is based on a subset of OCaml and introduces a powerful automated theorem proving engine which can be applied to a huge range of industry areas - currently financial markets.
I was excited to see such a huge range of innovative projects and opportunities for our students, and also excited by the future of possibilities the fair promised.