Event

Abstract: 2016 was a weird year for Carron. On the plus side she was one of twelve women in Computing and Mathematics to receive a Suffrage Science Award, recognising both scientific achievement and ability to inspire others. She’s involved in lots of work to promote careers in science for women, having initiated and led the … Carron Shankland (Stirling): How did I get here? Being and becoming a professor (School Seminar)

Abstract: This talk will concentrate on some successful applications of search-based and neural network algorithms in two distinctly different areas of real-time embedded systems development: scheduling and timing analysis, and Internet of Things. However it will then motivate some significant challenges for the artificial intelligence community that surprised a user from another research community. The … Iain Bate (York): Applications of Artificial Intelligence in Embedded Systems and Future Challenges (School Seminar)

Abstract: A job candidate has been pre-selected for shortlist by a neural net; an autonomous car has suddenly changed lanes almost causing an accident; the intelligent fridge has ordered an extra pint of milk. From the life changing or life threatening to day-to-day living, decisions are made by computer systems on our behalf. If something … Alan Dix (Swansea): Sufficient Reason (School Seminar)

Full Title Visualization and the Universe: How and why astronomers, doctors, and you need to work together to understand the world around us. Abstract: Astronomy has long been a field reliant on visualization. First, it was literal visualization—looking at the Sky. Today, though, astronomers are faced with the daunting task of understanding gigantic digital images … Alyssa Goodman (Harvard): Visualization and the Universe (School Seminar)

Abstract: The goals of building software in a professional environment are vastly different from those of a course assignment. In this talk, we’ll cover the differences between the environments, best practices during development and tips from years of experience with troubleshooting production issues. Speaker Bio: Becky Plummer is the software engineering team leader responsible for … Becky Plummer (Bloomberg): Engineering Software to Last (School Seminar)

Abstract: Moore’s Law has been the main driver behind the extraordinary success of computer systems. However, with the technology roadmap showing a decline in transistor scaling and hence the demise of Moore’s law, computer systems will be increasingly specialised and diverse. The consistent ISA contract is beginning to break down. As it stands, software will … Michael O’Boyle (Edinburgh): Heteregeneous Thinking (School Seminar)

Abstract: Lurch is an open-source word processor that can check the steps in students’ mathematical proofs. Users write in a natural language, but mark portions of a document as meaningful, so the software can distinguish content for human readers from content it should analyze. This talk begins with an overview of the most recent release … Nathan Carter (Bentley University): Lurch: software for immediate feedback for students in a first proof course (School Seminar)