Seminars


The BSEL seminar was held at WLFB 207/208 (2nd floor of Wilfred Brown) at 2:00PM.

A talk from Dr Rumyana Neykova titled ‘A Brief History of Types’ (slides can be found here).

Types are one of computing’s most successful concepts, they exist from the oldest to the newest programming languages. Types act as the fundamental unit of compositionality, and play important role in all aspects of software, from design to optimisation. Unfortunately, types are probably the last thing that comes to your mind when you think about distributed systems. In this talk, I will change this misconception. I will (hopefully) convince you that types can be used to understand, test, specify and verify distributed systems. In particular, I will give you a crash course on session types, which were born as types for distributed processes. We will discuss the history of session type, the fundamental meaning of communication, and how to develop distributed systems that we can trust.

The BSEL seminar was held at WLFB 207/208 (2nd floor of Wilfred Brown) at 2:00PM.

A talk from Dr Giuseppe Destefanis titled ‘Software Engineering? Are you kidding me?’ (slides can be found here).

Software development is a complex human process which has, as a final goal, the creation of a complete working application. Software Engineering encompasses all the activities related to software development from conceiving to maintaining the product. Calling software a product, however, highlights all the difficulties of the subject, with “immateriality” being the first one. Engineering is defined as “the branch of science and technology concerned with the design, building, and use of engines, machines, and structures.” (Oxford Dictionary). Is the combination of the two words “Software” and “Engineering” an oxymoron?