Location: CLT 7.01 Date/Time: 12th July 2016, 14:00 - 15:00
Speaker(s): Augusto Sampaio.
Brief Description:I will present some results on developing formal testing strategies and tools for mobile applications, in the context of a partnership with Motorola. The input to the process are text documents written in natural language. There are two major scenarios. In the first one, the text documents specify requirements written in a (controlled) natural language, with well-defined syntax and semantics. A formal model is automatically derived from these requirements, from which test cases are automatically generated.
Location: CLT 701 Date/Time: 19th July 2016, 14:00 - 15:00
The importance of cryptography, as the core technology of cyber security, has been recognised, not only by the cryptographic research community but also by industry and governments. In this seminar I will talk about my experience as a cryptographer working in industry for almost 20 years. I will present some examples from industry and from my other collaborations outside. I will also share my views on developing cryptographic mechanisms which balance security, privacy and trust.
Location: Newcastle upon Tyne, UK Date/Time: 16th August 2016 - 18th August 2016, 09:00 - 18:00
The Eighth International Workshop on Bio-Design Automation (IWBDA) at Newcastle upon Tyne in the UK will bring together researchers from the synthetic biology, systems biology, and design automation communities to discuss concepts, methodologies and software tools for the computational analysis and synthesis of biological systems. IWBDA offers a forum for cross-disciplinary discussion, with the aim of seeding and fostering collaboration between the biological and the design automation research communities. This year's IWBDA will be hosted by the Interdisciplinary Computing and Complex BioSystems (ICOS) research group, Newcastle University.