Skip to content
Open menu Close menu

Research Seminars and Industry Talks for 2016- 17

PG Research Event
Research Seminar
Industry Talk

A Model-Based Engineering Approach on Cyber-Physical Systems Dr Manuela L. Bujorianu, University of Strathclyde, 13 December 2017

Date: 13 December 2017 Time: 12:00
Location: Horton D, Room D0.26
Speaker: Dr Manuela L. Bujorianu, University of Strathclyde

Abstract:

Cyber-physical systems represent an evolving paradigm promoting a holistic view on engineered systems. The holistic view makes the formal verification look like a restrictive or specialised approach. In this way, a research challenge appears: How to leverage formal verification to cope with the holistic character of cyber-physical systems?
The holistic aspects include: emergent behaviours, complex faults (like hybrid discrete continuous), severe uncertainty, rich interactions, interdependence of critical components, potential disasters due to climate change.
In this talk, we will discuss about hyper-verification of cyber-physical systems and sketch the fundamentals of a suitable formal framework to investigate it.

Professional CV:

Manuela L Bujorianu (PhD in computer science, BSc in Mathematics) is a Research Fellow with Maritime Safety Research Centre, Department of Naval Architecture, Ocean and Marine Engineering, University of Strathclyde. Before she was affiliated with several universities: Leicester, Warwick, Manchester, Twente, Cambridge and Stirling.
Manuela’s research is at the border between computer science, applied mathematics, and systems engineering bridged by probability theory and statistics. The major focus is on modelling and analysis of complex systems. The considered application areas are: cyber-physical systems (maritime safety, air traffic management, intelligent transportation systems), complex systems (financial /social systems, swarms, complex networks), probabilistic risk assessment, resilience of critical infrastructures. A unique feature of Manuela publication record is that she published at the top conferences and journals in control engineering, computer science, and mathematics. She has single authored a monograph at Springer Verlag.

Advancing IoT - Bradford Council's promotion of a smarter digital city Sydney Simpson and Yunus Mayat, City of Bradford Metropolitan District Council, 22 November 2017

Date: 22 November 2017 Time: 13:00
Location: Horton D0.26
Speaker: Sydney Simpson and Yunus Mayat, City of Bradford Metropolitan District Council

SUMMARY

The City of Bradford Metropolitan District Council recognises the value of digital technologies both in the provision of public services and for businesses, communities and people across the District.
Pressure on public sector finances however creates challenges in adopting and promoting these technologies.
Through collaboration with multiple stakeholders and utilising a variety of funding opportunities the Council is increasingly investing in a digital infrastructure. Facilitating ‘The Things Network’ gateways and the use of IoT sensors to monitor flood risk is a modest but valuable example of Bradford’s smart city capacity.

A Test Suite Generation Approach based on EFSMs using a Multi-objective Genetic Algorithm Ana Turlea, University of Bucharest, Bucharest, Romania, 09 November 2017

Date: 09 November 2017 Time: 13:00
Location: Horton D0.2
Speaker: Ana Turlea, University of Bucharest, Bucharest, Romania

Abstract:
Using extended finite state machines for test data generation can be a difficult process because we need to generate paths that are feasible and we also need to find input data that traverse a given path. In this talk I will present a test suite generation algorithm for extended finite state machines. The algorithm produces a set of feasible transition paths that cover all transitions using a modified multi-objective genetic algorithm (deleting redundant paths and shortening the solutions). The multi-objective problem aims to optimize the transitions coverage and the path feasibility, based on data flow dependencies. Having a set of paths resulted from this algorithm, we can easily find input parameters for each path.

Bio:
Ana Țurlea is a Teaching Assistant at the Faculty of Mathematics and Computer Science, University of Bucharest, Bucharest, Romania, currently in the third year of PhD study in Software Testing under the supervision of Professor Florentin Ipate at the same university. Her main research area is model based software testing using evolutionary algorithms. She obtained a Bachelor of Science (BSc.) Degree (Computer Science Department) in 2013 and a Masters of Science (MSc.) Degree in Software Engineering in 2015 at the Faculty of Mathematics and Computer Science, University of Bucharest.

Formal Modelling of Cruise Control Using Event-B and Rodin Dr. Sorina-Nicoleta PREDUT, University of Bucharest, Romania, 09 November 2017

Date: 09 November 2017 Time: 13:00
Location: Horton D0.02
Speaker: Dr. Sorina-Nicoleta PREDUT, University of Bucharest, Romania

Abstract:
The present talk outlines design and verification using Event-B and Rodin platform for a cruise control system of an e-Bike case study. Formal modelling is essential for understanding and reasoning when designing complex systems. Our work uses the Event-B method, a formal approach for reliable systems specification and verification, being supported by the Rodin platform, based on theorem proving. We also use the ProB model checker for the verification of the B-Machine and iUML plug-in for Rodin to visualize our model.

Bio:
Sorina-Nicoleta PREDUȚ is a Teaching Assistant in the Department of Computer Science, University of Bucharest, Romania and a postdoc researcher in the Exploratory Research Project “Modelling and Analysis of Cyber-Physical Systems” working under the supervision of Professor Florentin Ipate. She graduated from University of Bucharest and obtained a PhD in Mathematics in 2013 from the Faculty of Mathematics and Computer Science, University of Bucharest. She obtained a Master's degree in Mathematics in 2010 from the Faculty of Mathematics and Computer Science, University of Bucharest, followed by a second Master's degree in Computer Science in 2010 from the same Faculty. Her main research interest is Formal specification methodologies including model based testing.

Smart sustainable cities: panacea or utopia? Dr PB Anand, University of Bradford, Faculty of Social Sciences, 08 November 2017

Date: 08 November 2017 Time: 13:00
Location: D0.26, Horton
Speaker: Dr PB Anand, University of Bradford, Faculty of Social Sciences

ABSTRACT

Smart cities are everywhere, perhaps, even in your hand, in the form of your smart phone (and the data it is leaking). Who wants to live in a city that is not smart anyway? In this talk, I want to share with you some findings from our research into inclusive, smart and sustainable cities under a three-year British Academy research grant supported project and further fieldwork I have recently done in Ghana, India, Indonesia and elsewhere too. I present a critique of the existing approaches and frameworks and offer some examples of how smart cities thinking can be done differently and (hopefully) better with alternative perspectives.

CV

Dr Anand is a specialist in environmental economics and public policy with a focus on the interface of urban economy, environment and sustainability.

Dr Anand has held various leadership positions including as the Head of Centre for International Development at Bradford (2010-2015). Currently he is the PI of a three year British Academy funded project on 'infrastructure governance for inclusive, smart and sustainable cities' (jointly with Prof Rajan of IIT Madras, India). He was the team leader and principal author of the Mongolia National Human Development Report 2011 titled 'From vulnerability to sustainability' for UNDP.

Previously, he had co-organised and led two international workshops at Cambridge (2006 and 2009) and a major international conference at Bradford (2011). He serves as elected member of the Senate (2007-2010 and 2013-15) and elected member of senate on the University Council (2015).

Crime Intelligence Research: My PhD Experience Haruna Isah, 25 October 2017

Date: 25 October 2017 Time: 13:00
Location: Horton D0.26
Speaker: Haruna Isah

Abstract:
With the advancement of the Internet and related technologies, many traditional crimes have made the leap to digital environments. The issue of limited resources is constantly putting pressure on law enforcement agencies in fighting crime, the use of analytics to both respond to and ward off crime is now more critical than ever. Our study over the last four years focused on cyber-enabled crimes (such as fraud, illegal/prescription drugs or firearms trade in online marketplaces or the dark Web) which can be carried out at an unprecedented scale and speed.

The overall goal of our work is to discover/anticipate risk, segment/detect criminal behaviour and intent, measure the effect of poor quality social data in analytics/search, and finally to push towards the development of social data quality filters and standards.

In this talk, the motivation of my recently concluded PhD research will be discussed first, this will be followed by an overview of the methods, results, and contributions of my thesis, and finally, I will share my PhD story in order to inspire and spur current and prospective students.

Biography:

Haruna Isah has just rounded up his PhD in the Artificial Intelligence Research Group of the University of Bradford under the supervision of Professor Daniel Neagu and Dr Paul Trundle. He obtained a Masters of Science (MSc.) Degree in Software Engineering from the then School of Computing Informatics and Media (SCIM) University of Bradford in 2012 and a Bachelor of Engineering (B. Eng.) Degree from the Department of Electrical and Electronics Engineering, University of Maiduguri in 2008. Haruna is also a recipient of NITDEF MSc. Scholarship Award, Commonwealth PhD Scholarship Award, and WAW2015 School on Complex Networks and Graph Models travel award. He has made several research presentations and also attended several major research trainings including International Winter School on Big Data in Tarragona Spain, Machine Learning: A Computational Intelligence Approach (MLCI-2015) in Genova Italy, WAW2015 School on Complex Networks and Graph Models in Eindhoven in The Netherlands, and Development Module Road Map for Commonwealth PhD Scholars at Cumberland Lodge, Windsor. Haruna has already secured a post-doctoral research fellow position with Big Data Analytics and Management (BAM) Laboratory in the School of Computing, Queen's University.

PGR Publication Prize Faculty PGR Event, 17 July 2017

Date: 17 July 2017 Time: 10:00
Location: Faculty of Engineering and Informatics
Speaker: Faculty PGR Event

In order to improve the research culture and support REF 2021 in our faculty, the PGR committee has been approved to set up a PGR publication prize in 2017 to encourage our PGR students in writing high quality academic papers.

The total budget is £1000. The top 10 papers can win a prize of £100.

The director of RKT in schools will provide a list of journals for REF2021.

Further details are available in this PDF document.

Microservice plumbing Glynn Bird, Developer Advocate @ IBM Cloudant, IBM UK, 01 June 2017

Date: 01 June 2017 Time: 17:30
Location: DHEZ Ltd, The Digital Exchange, Bradford, BD1 5BD
Speaker: Glynn Bird, Developer Advocate @ IBM Cloudant, IBM UK

This event is sponsored by BCS West Yorkshire, Bradford BCS Student Chapter, the University of Bradford Computer Science and DHEZ.org (refreshments from 17:30, and the talk and discussions from 18:00). Please use this booking link below to confirm your attendance: https://events.bcs.org/book/2587/

Abstract:

"Microservices" is a word that means lots of things to lots of people. Building systems as a collection of microservices instead of large monolith can can make your IT systems more maintainable and scalable. We'll explore ways in which microservices can communicate and how work and configuration can flow through the system. We'll also look at the latest microservice buzzword: "serverless" computing.

Technologies addressed: RabbitMQ, Cloudant, Apache Kafka, Redis, OpenWhisk

Bio:

Glynn started in research and development, creating sensors and control systems for the steel industry. He became a web developer for a business directory service, creating search technology, CRM systems and automated telephony. He is now a Developer Advocate for IBM's Watson Data Platform.

Twitter: @glynn_bird
Web: www.glynnbird.com and http://developer.ibm.com/clouddataservices

CODIO: demonstrating improvements for programming and Computer Science courses. Freddy May, Founder and CPO of Codio, 24 May 2017

Date: 24 May 2017 Time: 13:30
Location: Horton D0.26 (TBC)
Speaker: Freddy May, Founder and CPO of Codio

Subtitle:
An online solution to authoring student code tests of any complexity and IDE based tutorial content. Case studies from The University of Sheffield and Columbia University

Abstract:
The presentation will speak to recent case studies by Wright State University, Sheffield University, and Columbia University and demonstrate their improvements to current teaching methods for programming and computer science courses for both CS and non-CS majors. It will show how CS lecturers can author and publish a rich library of tutorial content (including re-purposing existing lecture materials) as well as both simple and highly complex auto-graded code tests. Everything is done with just a browser and without the need for any in-house infrastructure.

You will see how students are able to write everything from simple functions right up to highly complex projects using databases and any other components that might be required. This code can be tested and displayed to lecturers and assistants who can monitor their progress. We will be demonstrating seamless integration with all major LMS platforms, and how course leaders can significantly reduce wasted administration time and system administration overheads, as well as enhance the overall student experience.

Bio:
As Codio's founder, Freddy believes it's possible to create a teaching and learning experience for students that reflects both a professional grade IDE and an experience that inspires learning and creativity.

The 1st Annual Innovative Engineering Research Conference (AIERC) Faculty PGR Event, 15 May 2017

Date: 15 May 2017 Time: 12:00
Location: Faculty of Engineering and Informatics
Speaker: Faculty PGR Event

The Faculty of Engineering and Informatics invites all the Postgraduate Research Students to participate to its 1st annual Innovative Postgraduate Research Conference at Bradford University on 17th July 2017.

The conference will draw together research students and their academic supervisors from different disciplines in the presence of the industry across all fields of Engineering and Informatics. The conference also accepts student's abstracts from other Faculties jointly supervised by academic staff from Faculty of Engineering and Informatics.

The postgraduate students at all levels of their research work are initially encouraged to submit their work in terms of abstracts for review and assessment by a Technical Committee members appointed across the schools.

The expected final technical programme includes papers presentations and poster sessions, will be addressed by the committee decision. All accepted papers will be published on the conference proceeding for internally use and the summarized abstracts will only be published on the Faculty web page.

  • Paper submission: 15/05/2017
  • Decision Notification: 15/06/2017
  • Final Submission: 1/7/2017
  • Conference: 17/07/2017

All the papers must be submitted through the easychair system (https://easychair.org/conferences/?conf=aierc2017). To help ensure formatting, please use the IEEE conference paper template

More information is available in this PDF document.

Publishing with IEEE Faculty PGR Event, 09 May 2017

Date: 09 May 2017 Time: 10:00
Location: B1.31, Chesham Building
Speaker: Faculty PGR Event

Are you thinking of publishing your research? New/relatively new to publishing your work? Not sure where best to submit your manuscript?

The IEEE, in partnership with the University of Bradford's Faculty of Engineering and Informatics, is hosting a 'Publishing with IEEE' Workshop at the University on Tuesday 9th May 2017.

IEEE is the world's largest professional association for the advancement of technology and publishes a third of the world's technical literature in electrical engineering, electronics and computer science.

This practical workshop, aimed at new and early career researchers and postgrads in engineering, computing, medical and technology related areas, will provide an overview of publishing with the IEEE.

Both the IEEE and the University of Bradford would be delighted if you could join us for this practical workshop.

Please register your attendance at the following page, (the tickets are limited).

https://bradfordieee.eventbrite.co.uk

The BCS 2017 Lovelace Lecture: Machines that learn to see Professor Andrew Blake, BCS - The Chartered Institute for IT, 08 May 2017

Date: 08 May 2017 Time: 17:45
Location: DHEZ Ltd, The Digital Exchange, Bradford, BD1 5BD
Speaker: Professor Andrew Blake, BCS - The Chartered Institute for IT

Event details:
The 2017 Lovelace Lecture-‘Machines that learn to see’ is being delivered in London by Professor Andrew Blake. BCS West Yorkshire and the University of Bradford are pleased to show this live streamed event and you are invited to join us.

Machine vision works nowadays. Machines can: navigate using vision; separate object from background; recognise a wide variety of objects, and track their motion. One general question about intelligent systems is whether they will be dominated by “generative” models which explain data as a sequence of transformations, or by black-box machines that are trained on data at ever greater scale?

It is also fascinating to speculate what other new paradigms in learning might transform the speed at which artificial perception can develop.

Bio:
Professor Andrew Blake is an engineer whose innovative work on image analysis has helped make it possible for computers to react to the world around them, based on the visual data they receive. His research has focused particularly on the accurate tracking of motion and the reconstruction of visible surfaces.

Agenda:
5:45pm - Arrive, Registration, Refreshments
6:20pm - Introduction
6:30pm - 8:30pm - Lecture (streamed live from London)

Booking Link: https://events.bcs.org/book/2553/ with more information

Cost: Free to both BCS and Non-BCS Members

A Heuristic Feature Based Quantification Framework for Efficient Malware Detection -- Measuring the Malicious intent of a file using anomaly probabilistic scoring and evidence combinational theory wit Anitta Patience Namanya, 29 March 2017

Date: 29 March 2017 Time: 13:00
Location: Horton D0.26
Speaker: Anitta Patience Namanya

Abstract

Malware is still one of the most prominent vectors through which computer networks and systems are compromised. A compromised computer system or network provides data and or processing resources to the world of cyber-crime. With cyber-crime projected to cost the world $6 trillion by 2021, malware is expected to continue being a growing challenge. Statistics around malware growth over the last decade support this theory as malware numbers enjoy almost an exponential increase over the period. This work proposes advancing automation of the malware static analysis and detection to improve the decision making confidence levels of a standard computer user in regards to a file’s malicious status. We introduce a framework that relies on two novel approaches to score the malicious intent of a file. The designed approaches are validated using a dataset of “clean” and “malicious” files. The results obtained show that the framework achieves true positive – false positive detection rate “trade-offs” for efficient malware detection.

Health and Social Care — Challenges and Opportunities Andy McGelligot (Bradford District Care NHS Foundation Trust), Ian Sharp (Digital Health Enterprise Zone), Professor Rami Qahwaji, Professor Daniel Neagu (University of Bradford), Bernard Lanigan & Yunus Mayat (Bradford Council), 23 March 2017

Date: 23 March 2017 Time: 18:00
Location: Bradford Digital Exchange Enterprise Zone
Speaker: Andy McGelligot (Bradford District Care NHS Foundation Trust), Ian Sharp (Digital Health Enterprise Zone), Professor Rami Qahwaji, Professor Daniel Neagu (University of Bradford), Bernard Lanigan & Yunus Mayat (Bradford Council)

This event will introduce the social challenges faced by the care system and the academic research areas that could help to change the way that social care is delivered in the UK. With a backdrop of shrinking budgets, increased demand due to an ageing population and a shortage of skilled carers it is estimated that the UK will need an additional 1million carers by 2025. Find out how service modernisation, redesign and technology assistance could help to improve the lives of those needing care. This event will provide practical information about the experimental networks in Bradford and how we are working together in partnership to make Bradford one of the leading Health and Social Care cities in the world.

Who should attend? Professionals, researchers/students, businesses & general public interested in medical/social care issues. There will be an opportunity to discuss ideas, projects and areas of interest with the speakers after the event.

Programme:
18:00 - Refreshments
18:30 - Lecture

Continuing Professional Development: this event can contribute towards your Continuing Professional Development (CPD) as part of the IET's CPD monitoring scheme.

This is a research event organised jointly by the UK - Yorkshire IET local network and the University of Bradford.

Medical Imaging for Eye Disease Diagnostic Rania Alzubaidi, 15 March 2017

Date: 15 March 2017 Time: 13:00
Location: Horton D0.26
Speaker: Rania Alzubaidi

Abstract

The presentation aims to demonstrate our recent work on the development of medical imaging technologies identifying the visual signature of Acanthamoeba disease in a sequence of confocal corneal microscopy images and extracting the main biomarkers for the disease. This system is a diagnostic system which aims to help ophthalmologists clinically and assess the patient's response to treatment. Data and clinical expertise for this work are provided by the NHS Manchester Eye Hospital.

Biography

Rania AlZubaidi, is a PhD student at University of Bradford, and she belongs to the medical imaging research group at the university of Bradford. She earned her MSc in 2007 and BSc in 2004, and both of them in computer science from Jordan University of Science and Technology (JUST). She has worked as full-time lecturer at Philadelphia University in Jordan for four years teaching computer science modules (for example, algorithms and data structures in C++, introduction to Web Programming using PHP, and computer Skills in using Microsoft Office and Internet). Before that, she has worked as a computer teacher at high school in Jordan for three years. Rania also worked as a technical assistant and Arabic teacher for foreign at Middlebury College in USA in summer of 2006, 2007, 2008, and 2011. She became Zend certified engineer in PHP 5.3 in 2012. She has passed learning and teaching in Higher Education (GTAs & P/T Tutors) module. She has attended many conferences, workshops, and seminars related to her work. Her research interests include data mining, information retrieval, text classification and clustering, and recently her focus on medical image processing.
Rania has published a review study summarising the diagnosis of most common corneal diseases by presenting their biomarkers (visual signatures). She started her research with the infectious keratitis and she developed an automatic diagnostic system for Acanthamoeba and Fusarium diseases at the request of corneal consultant of Manchester Eye Hospital. Her ultimate goal is to develop an automatic corneal diagnostic system that can handle most common corneal diseases.
She can be contacted at: r.alzubaidi@student.bradford.ac.uk

Publications

Alzubaidi, R., M. S. Sharif, R. Qahwaji, S. Ipson & A. Brahma (2015) In vivo confocal microscopic corneal images in health and disease with an emphasis on extracting features and visual signatures for corneal diseases: a review study. British Journal of Ophthalmology.
Sharif, M. S., R. Qahwaji, E. Shahamatnia, R. Alzubaidi, S. Ipson & A. Brahma (2015) An efficient intelligent analysis system for confocal corneal endothelium images. Computer methods and programs in biomedicine, 122, 421-436.
Sharif, M. S., R. Qahwaji, S. Hayajneh, S. Ipson, R. Alzubaidi & A. Brahma. 2014. An efficient system for preprocessing confocal corneal images for subsequent analysis. In Computational Intelligence (UKCI), 2014 14th UK Workshop on, 1-8.
Duwairi, R. M. & R. Al-Zubaidi (2011) A hierarchical K-NN classifier for textual data. Int. Arab J. Inf. Technol., 8, 251-259.

A Refinement Method to Improve Ontology Quality based on a Comparison of Concept Hierarchies Takeshi Masuda, Osaka University, Electrical, Electronic and Information Engineering, 08 March 2017

Date: 08 March 2017 Time: 13:00
Location: Horton D0.02
Speaker: Takeshi Masuda, Osaka University, Electrical, Electronic and Information Engineering

Abstract:

Ontologies are currently constructed in various fields, such as life sciences, medical information, and sustainability science. These ontologies are used as knowledge bases and knowledge models for application systems. However, it is difficult to build high quality ontologies due to the necessity of having both knowledge of ontology and expertise in the target domain. Therefore, ontology construction and maintenance costs considerable time and effort. To reduce such costs, we developed an ontology refinement support method. To test and confirm this refinement method, we focused on the guideline for building well-organized ontologies that“ Each subclass of a super class is distinguished by the values of exactly one attribute of the super class. ”Then, we discovered that there is a similarity
between is-a hierarchies when an ontology is built following this guideline and made the hypothesis that, if subclasses are not classified by one attribute, there are consistency errors in the ontology that can be automatically fixed by a comparison method of is-a hierarchies.

Bio

Takeshi Masuda is a PhD student in the Graduate School of Engineering Osaka University. Division of Electrical, Electronic and Information Engineering. He has researched ontology refinement from 2009. He focuses on consistency of ontologies and develop the system that can find inconsistent part and propose refinement methods to system users.

5G / IoT - Enabling Smarter Cities Prof Raed Abd-Alhameed and team (University of Bradford), Caroline Gorski (IoT UK), Prof Rami Qahwaji (University of Bradford), Dr Dhaval Thakker (University of Bradford), Mark Harop (BT), Yunus Mayat (Bradford Council), 23 February 2017

Date: 23 February 2017 Time: 18:00
Location: Bradford - Digital Exchange Enterprise Zone
Speaker: Prof Raed Abd-Alhameed and team (University of Bradford), Caroline Gorski (IoT UK), Prof Rami Qahwaji (University of Bradford), Dr Dhaval Thakker (University of Bradford), Mark Harop (BT), Yunus Mayat (Bradford Council)

The 5G systems is the key for the development of future mobile and wireless networks, and thus different innovative research areas towards the next generation wireless systems are emerging. This event will talk about creating the networks for IoT, understanding 5G and applications that could run on 5G and how having devices feeding us real time data will change the way we use data and how it might affect our daily lives. Interesting recent national and regional developments will be presented at this event. This talk will also cover practical information about the experimental networks in Bradford and how we are working together in partnership to make Bradford one of the leading connected and smart cities in the world.
Who should attend? Businesses and professionals wanting to learn more about IoT and its potential and researchers/students who wish to find out more about IoT & 5G as research areas.
There will be an opportunity to discuss ideas, projects and areas of interest with the speakers after the event.
Programme
18:00 - Refreshments
18:30 - Lecture

This is a research event organised jointly by the UK - Yorkshire IET local network and the University of Bradford.

Mutually Unbiased bases and their application in quantum computing Tominiyi Olupitan, 22 February 2017

Date: 22 February 2017 Time: 13:00
Location: Horton D0.26
Speaker: Tominiyi Olupitan

Abstract

Mutually unbiased bases have diverse applications in, cryptography, quantum key entanglement and numerous areas of quantum information science. It is a set of bases, for which the absolute value of the overlap of any two vectors in two different bases is 1/√d. The only known results are for quantum systems in prime dimensions ’d’, in which the number of complete sets is‘d+1’.

Mutually unbiased bases in higher dimensional systems (when‘d’ is no longer prime) has numerous applications in quantum information sciences. These applications include enhancing cryptographic securities, it corresponds to the optimal choice of measurements to be performed in order to obtain a full reconstruction of density. Systems in higher dimensional Hilbert space can store more information per carrier. Protocols using higher MUBs also result in higher generation rate of secure keys bit.

This motivates the research for a complete set of mutually in higher (non-prime dimensions.

Our work combines quantum physics and discrete mathematics. In our research we derive an alternate approach to mutually unbiased bases by studying a weaker concept which we call weak mutually unbiased bases. We then compare three different structures, (1) weak mutually unbiased bases; (2) their analytic representation in the complex plane based on Theta functions, and their zeros; (3) finite geometries in the Z(d) x Z(d) phase space and we establish a correspondence which is a triality.

In this talk, I will present an overview of research in quantum computing and the application of mutually unbiased bases. I will then proceed to present our contributions and results in this research area.

Biography

Tominiyi is a postgraduate researcher in the applied mathematics and quantum computing group in the electrical engineering and computer science group at the University of Bradford. She is also a recipient of the 2013 PhD studentship grant offered by the University. She is also a junior member of the Isaac Newton mathematical institute. She has attended several conferences which includes the White rose meeting in quantum information technology. Her research interest lies in theoretical research in quantum information science and its applications especially areas of finite quantum systems and analytic functions in quantum systems.

Operation and Planning of Distribution Networks with Integration of Renewable Distributed Generators Rana Zubo, 08 February 2017

Date: 08 February 2017 Time: 13:00
Location: Horton D0.26
Speaker: Rana Zubo

ABSTRACT

Distributed generators (DGs) have been proposed as a possible solution to supply economic and reliable electricity to customers. It has been adopted to overcome the challenges that are characterized by centralized generation such as transmission and distribution losses, high cost of fossil fuels, and environmental damage. It is necessary to allocate DGs optimally (size, placement and the type) to obtain commercial, technical, environmental and regulatory advantages of power systems. Firstly, this work presents the basic principles of integrating renewable DGs in low voltage distribution networks and particularly focuses on the planning of DG installations and the impact that DGs may have on active and reactive power. A detailed review of the important aspects of previous researches on DGs, the general information of the methods which are used in uncertainty modelling and the optimal methods that are used to solve the DGs planning problem are presented.
Secondly, a stochastic method is proposed to assess the amount of active and reactive power that can be injected/absorbed into/from the grid by wind turbines. The impact of wind power penetration on the social welfare and on active and reactive distribution-locational marginal prices within a distribution market environment is studied considering uncertainties associated with load demand and wind speed.

ACADEMIC CV

Rana Zubo was born in Iraq and received the B.Sc and M.Sc degrees in Electrical Engineering from The University of Technology, Baghdad, Iraq in 1998 and 2006, respectively. She has worked in Kirkuk Technical College, Iraq as a Lecturer from 1999 to 2015 and received a scholarship from the Iraqi government to do her PhD.
Currently, She is working towards her Ph.D in the School of Electrical Engineering and Computer Science under supervision of Dr. Geev Mokryani. Her current research includes operation and planning of distribution networks, electricity markets, uncertainty theory, and smart grids.

She has published two papers in the Elsevier journal of Renewable and Sustainable Energy Reviews, and IEEE International Conference on Control, Decision and Information Technologies (CoDIT'17).

Computational Intelligence Techniques for Design Optimisation of Microwave Devices Dr Bo Liu, Wrexham University, 01 February 2017

Date: 01 February 2017 Time: 13:00
Location: Horton D0.26
Speaker: Dr Bo Liu, Wrexham University

ABSTRACT

Design parameter optimisation is essential in many microwave design problems. The commonly used solution methods are: (1) using the “trial and error” method based on design experience, (2) using a local optimiser from a starting point derived by analytical models/equivalent circuits. Due to the discrepancy between designer’s intuition/simplified models and full wave electromagnetic (EM) simulations, these methods are facing significant challenges in design quality.

Evolutionary computation, which performs global optimisation, has been introduced to EM device design automation/optimisation since the last decade. While high quality designs without using any starting point have been obtained, its weakness is becoming clear: the intractable optimisation time when using computationally expensive full wave EM simulations. For example, a single EM simulation of an antenna may cost dozens of minutes to more than one hour, and standard evolutionary algorithms usually need several thousands of such simulations to obtain the optimum. An impractical optimisation time is therefore induced, although high quality designs can at last be obtained.

This presentation will introduce state-of-the-art efficient global optimisation-based microwave design automation/optimisation methods, with the advantages on optimisation quality, efficiency, generality and robustness. The following topics will be included: (1) simulation-driven design automation and a brief review of optimisation methods for microwave design; (2) evolutionary computation, machine learning and surrogate modelling; (3) surrogate model assisted evolutionary algorithm (SAEA): frameworks and model management methods; (4) efficient antenna, filter and mm-wave IC design automation methods based on novel SAEAs; (5) novel SAEA-based efficient antenna design optimisation methods using multi-fidelity simulation models. The targeted audiences are researchers focusing on microwave design and other electronic/semiconductor design using computationally expensive simulations as well as researchers focusing on computationally expensive optimisation.

CV

Bo Liu received the B.S. degree from Tsinghua University, P. R. China, in 2008. He received his Ph.D. degree at the MICAS laboratories of the University of Leuven (KU Leuven), Belgium, in 2012. He was a Humboldt research fellow, working with the Technical University of Dortmund, Germany, till 2013, he took up a post as a lecturer at Glyndwr University, Wales, UK. He is currently a Reader in Computer-aided Design at the same university. His research interests lie in evolutionary computation, machine learning and design automation methodologies of electronic devices, circuits and systems. His book “Automated Design of Analog and High-frequency Circuits: A Computational Intelligence Approach” (Springer) is the first book which systematically introduces novel electronic design automation methods based on computational intelligence techniques. He was an invited speaker of IMEC, University of Southampton, Newcastle University, The University of Birmingham, etc on similar topics. URL: https://scholar.google.com/citations?user=G-K3GC0AAAAJ&hl=en

Advances in MulSeMedia = Multiple Sensorial Media Dr. George Ghinea, Department of Computer Science, Brunel University, London, 20 January 2017

Date: 20 January 2017 Time: 13:00
Location: Horton D0.26
Speaker: Dr. George Ghinea, Department of Computer Science, Brunel University, London

Abstract

Traditionally, multimedia applications have primarily engaged two of the human senses the audio and the visual out of the five possible. With recent advances in computational technology, it is now possible to talk of applications that engage the other three senses, as well: tactile, olfaction, and gustatory. This integration leads to a paradigm shift away from the old multimedia towards the new mulsemedia : multiple sensorial media. In his talk, Dr. Ghinea is going to focus on the issue of the perceptual experience of multimedia and how research in the area has opened new and sometimes challenging opportunities for mulsemedia applications.

Biography

Dr George Ghinea is a Reader in Computer Science at the School of Information Systems, Computing and Mathematics at Brunel University in the United Kingdom. His research activities lie at the confluence of Computer Science, Media and Psychology. In particular, his work focuses on the area of perceptual multimedia quality and the end-to-end communication systems incorporating user perceptual requirements. His area of expertise involves eye-tracking, telemedicine, multi-modal interaction, ubiquitous and mobile computing. He has authored over 250 publications and co-edited two books on Digital Multimedia Perception and Design, and Multiple Sensorial Media Advance and Applications. He consults regularly for both public and private institutions within his research area and is currently the lead Brunel investigator of NEWTON - Networked Labs for Training in Sciences and Technologies for Information and Communication, an H2020 project.

An Industry View of the Agile Mindset Jonathan Kessel-Fell, Agile Coach and Scrum Master, Capgemini UK, 09 December 2016

Date: 09 December 2016 Time: 13:30
Location: Horton D01.27 (The Barn) Lecture Theatre
Speaker: Jonathan Kessel-Fell, Agile Coach and Scrum Master, Capgemini UK

Abstract: The Agile Mindset; an industry view and worldwide perspective.
A key component for any Agile Transformation or Agile Delivery is that the team has the right Agile Mindset and the right Management support to put it into action. This sessions looks at what an Agile Mindset is, why is it so important and what are the main blockers to bringing it into an organisation.

Biography:
Jon has worked in the IT Development sector for over 25 years, 13 of which have been in the world of Agile. This experience spans Investment, Retail and Online Banking, Business Intelligence and Government projects. He is a Certified Agile Coach, Scrum Master and Product Owner, as well as being a facilitator for Capgemini University, guest lecturer at UK Academic Universities and keynote speaker.
Jon has extensive hands-on experience of implementing and maintaining Agile Transformations at a CIO / Portfolio level within large scale organisations. He also has hands-on delivery experience for complex projects with co-located and distributed teams. Jon’s coaching covers Agile, Agile@Scale, Scrum, Kanban, XP practices and Lean, and training through 1-2-1 sessions, classroom based sessions and large scale virtual sessions, all across international locations.

Verification Tool DIY Professor Georg Struth, University of Sheffield, 07 December 2016

Date: 07 December 2016 Time: 13:00
Location: Horton D0.26
Speaker: Professor Georg Struth, University of Sheffield

Abstract:

I present a principled modular approach to the design of program verification and correctness tools that yields a clean separation between the control flow and the data flow of programs. The aim is to find simple algebraic semantics for the control flow and combine them with detailed set-theoretic models for data and memory domains. The approach is implemented in the Isabelle/HOL theorem prover, and its principles will be illustrated through two example tools, both of which are correct by construction. The first one is a program verification and refinement tool for simple while-programs, which uses modal Kleene algebras for the control flow and a standard predicate transformer semantics for the data flow. The second tool implements separation logic using a novel algebraic semantics for the control flow and an extended relational model for the data flow on store and heap. Time permitting I will show these tools at work on a number of algorithmic verification and refinement examples.

Biography:

Professor Struth works mainly on logical and algebraic methods in computer science, formalised mathematics with interactive theorem provers and program verification and correctness. His interests range from foundational work on the axiomatisation and semantics of sequential and concurrent computing systems to applications in the design and implementation of program verification software.

Social Media Mining for Crime Intelligence Haruna Isah, PhD Commonwealth Scholar, 16 November 2016

Date: 16 November 2016 Time: 13:00
Location: Horton D0.26
Speaker: Haruna Isah, PhD Commonwealth Scholar

Abstract

The use of the Internet for exploitative or malicious purposes has become a serious global issue. Over the years, the Internet is seen to be attracting disruptive entities who engage in cyber-crime and antisocial behaviours. The growing incidents of counterfeit/illegal product sale and other crimes over the Internet necessitate the development of automated surveillance systems for the effective governance of the content layer of the Internet.

Our research goal is to develop innovative data mining techniques to improve the understanding, intervention, and policy-making on cyber crime. We employ a variety of machine learning and graph mining methods on social data to characterise and combat cyber-crime on the Web. We are specifically interested in learning from data to identify, measure, and detect deceptive and low quality entities (such as brands, accounts, ads, social updates, reviews) on the Web.

In this talk, we will first present a review of the state of the art methods for sentiment analysis and graph mining, we will then highlight some of the contributions and results of our published work and ongoing projects, and finally, we will give an overview of our propose future work.

Biography

Haruna Isah is a Commonwealth Scholar and the outgoing chair of the University of Bradford ACM Student Chapter. He is currently rounding up his 3rd year PhD study in the Artificial Intelligence Research Group of the University of Bradford under the supervision of Professor Daniel Neagu and Dr. Paul Trundle. He obtained a Bachelor of Engineering (B. Eng.) Degree from the department of Electrical and Electronics Engineering, University of Maiduguri in 2008; Masters of Science (MSc.), Software Engineering in 2012 from the then School of Computing Informatics and Media (SCIM) University of Bradford.

Haruna is a recipient of NITDEF MSc. Scholarship Award, Commonwealth PhD Scholarship Award, and WAW2015 School on Complex Networks and Graph Models travel award. He has made several research presentations and also attended several major research training's including International Winter School on Big Data in Tarragona Spain, Machine Learning: A Computational Intelligence Approach (MLCI-2015) in Genova Italy, WAW2015 School on Complex Networks and Graph Models in Eindhoven in The Netherlands, and Development Module Road Map for Commonwealth PhD Scholars at Cumberland Lodge, Windsor.

Translate: Realising medical technologies innovation in the Leeds City Region (joint event with DHEZ) Drs Sean Clarkson & Danielle Miles, Technology Innovation Managers, Translate, University of Leeds, Translate, 02 November 2016

Date: 02 November 2016 Time: 13:00
Location: D0.26 Horton Building
Speaker: Drs Sean Clarkson & Danielle Miles, Technology Innovation Managers, Translate, University of Leeds, Translate

Abstract

Translate is a project funded by HEFCE, establishing a new partnership of five universities in the Leeds City Region with world-class expertise in the development of new medical technologies. Translate provides sector-specific expertise to complement University Business Development teams, supporting academics by accelerating the translation of their research into effective commercial opportunities and real-life clinical applications. We work closely with clinicians and companies to identify the current needs of the sector, forming sector-inspired collaborative research to address key clinical challenges or areas of potential development. Translate also develops cutting-edge innovation skills development programmes, seeking to enhance and embed academic capability in successfully translating medical technology research. The seminar will give an overview of the Translate programme, the range of support available to academics for project progression and personal skills development, and case studies of previous support and activities. There will be time for group questions, and confidential one-one discussions regarding specific projects.

Bios

Dr Sean Clarkson is a Technology Innovation Manager within the Medical Technologies Innovation team at the University of Leeds. He mainly works on the HEFCE funded Translate programme, providing sector-specific expertise to support the development and translation of early stage medical technology research in five partner universities across the Leeds City Region. His role involves the development and identification of new technology opportunities through technology scouting activities and running unmet clinical need innovation workshops. He also provides sector-specific expertise, support, and management for projects to accelerate their progression towards commercialisation and investment readiness- assisting with areas such as proof of market/concept, business case development, regularity issues, external funding, and access to partners. Sean has a PhD in Sports Engineering, and a background in Electronics and IT. He has previously worked as a researcher at Sheffield Hallam Universities’ world leading Centre for Sports Engineering Research, developing new technology innovations for use in the UK elite sport programme, private health clinics, and the national healthcare system. Sean has experience in research translation, development of commercialisation strategies, and establishing collaborations with governing bodies, clinicians, and companies, having successfully translated a number of projects and IP assets which are now licensed to international companies and actively used within the NHS.

Dr Danielle Miles is a Technology Innovation Manager working in the Medical Technologies Innovation team on the Translate Programme. Her role involves supporting medical technology research translation and embedding innovation capability in the Leeds City Region. She complements the activities of knowledge and technology transfer staff at partner institutes by providing sector specific expertise to support the generation, evaluation and development of potential project opportunities. She builds consortiums to address un-met clinical needs through running innovation workshops, brokering relationships and carrying out technology scouting activities. Finally she provides support with external funding, market and regulatory requirements, risks and barriers to commercialisation, and IP strategy. Danielle comes from a research background, gaining a PhD in chemistry on self-assembling peptides. This led to her becoming a Research Fellow specialising in hydrogels for biomedical applications, where she was actively involved in shaping and implementing project IP and commercialisation strategies, as well as creating clinical collaborations. Danielle also brings industrial experience, having spent time in both the pharmaceutical and the medical devices industries, where she gained experience in evaluating early stage technologies and regulatory pathways, in particularly for advanced therapeutic medicinal products.

Non-additive probabilities and Choquet integrals in Computing and Engineering Professor A. Vourdas, 12 October 2016

Date: 12 October 2016 Time: 13:00
Location: Horton D0.26
Speaker: Professor A. Vourdas

SUMMARY

An introduction to non-additive probabilities and Choquet integrals, will be discussed. These ideas have been used in Artificial Intelligence, Game theory, Mathematical Economics, decision theory, etc, and the intention is to extend their applications into the general area of Science and Engineering. The presentation will be general aiming to motivate researchers to use these ideas in their own field.

BIO

A.Vourdas is a Professor in Computing at the School of Electrical Engineering and Computer Science. His area of Research is Quantum Computing.

IoT Laboratory MSc Student Project presentations Drs Dhaval Thakker and Prashant Pillai & the IoT Laboratory MSc Students, 14 September 2016

Date: 14 September 2016 Time: 13:00
Location: D0.26 Horton Building
Speaker: Drs Dhaval Thakker and Prashant Pillai & the IoT Laboratory MSc Students

The weekly/fortnightly research seminar series is used to present MSc projects completed by our IoT lab students. Several speakers will present their findings, each for 10 minutes, each followed by a short Q&A session.

Discovering "Unknown Known" Security Requirement Professor Awais Rashid, lead of head the Academic Centre of Excellence in Cyber Security Research , Lancaster University, 08 September 2016

Date: 08 September 2016 Time: 09:30
Location: Horton D0.24
Speaker: Professor Awais Rashid, lead of head the Academic Centre of Excellence in Cyber Security Research , Lancaster University

Abstract:
Donald Rumsfeld’s three permutations of knowns and unknowns are often quoted in the context of cyber security. We have the Known Knowns: the well-understood attacks such as SQL injection; the Known Unknowns, e.g., the theoretical and practical limitations of certain protocols; and the Unknown Unknowns, i.e. zero days. In this talk, I will talk about a fourth variation, that of Unknown Knowns. These represent the tacit knowledge often implicit within or across a variety of security incidents. This knowledge is “Unknown” in that it is not immediately captured in widely recommended models such as the Top 20 Critical Security Controls. Yet it is “Known” in that it is tacit in existing security breaches. I will discuss how an inter-disciplinary methodology enables discovery of such Unknown Knowns in order to identify gaps in existing security models and plug such gaps.

Bio: Professor Awais Rashid

Tracking Time-Evolving Data Streams and an Application to Short-Term Urban Traffic Flow Forecasting Professor Francesco Masulli, University of Genova (Italy), 26 August 2016

Date: 26 August 2016 Time: 13:00
Location: Horton D0.23
Speaker: Professor Francesco Masulli, University of Genova (Italy)

CV

Associate Professor of Computer Science with the Dept of Informatics, Bioingengering, Robotics and Systems Engineering (DIBRIS) of the University of Genova (Italy) and Adjunct Associate Professor at Center for Biotechnology of Temple University-Philadelphia (PA, USA). Lecturer of the courses on Fundamentals of Computer Science, Well-Being Technologies, and Machine Learning at the University of Genoa. Recipient of the 2008 Pattern Recognition Society Award for the paper "A survey of kernel and spectral methods for clustering". Author of more than 200 scientific papers in Clustering, Machine Learning, Neural Networks, Fuzzy Systems and Bioinformatics. Vice-Chair of the Italian Chapter of the IEEE Computational Intelligence Society, Co-Chair of the Special Interest Group on Bioinformatics of the International Neural Network Society.

ABSTRACT

Data streams have arisen as a relevant topic during the last decade. In this work we consider non-stationary data stream clustering using a possibilistic approach. The Graded Possibilistic Clustering model offers a way to evaluate “outlierness” through a natural measure, which is computed directly from the model. Both online and batch training scheme are considered, to provide two different trade-offs between stability and speed of response to change. The proposed approach is evaluated on a synthetic data set, for which the ground truth is available. Moreover, a real-time short-term urban traffic flow forecasting application is proposed, taking into consideration both spatial (road links) and temporal (lag or past traffic flow values) information. To this aim, we introduce a Layered Ensemble Model (LEM) which combines Artificial Neural Networks and Graded Possibilistic Clustering models obtaining an accurate forecast of the traffic flow rates with outlier detection. Experimentation has been carried out on two different data sets. The former was obtained from real UK motorway and the later was obtained from simulated traffic flow on a street network in Genoa (Italy). The proposed LEM model for short-term traffic forecasting provides promising results and given the its characteristics of outlier detection, accuracy, and robustness, it can be fruitful integrated in traffic flow management systems

Kernel P systems modelling, verification and testing - Sorting case study Professor Marian Gheorghe, 29 June 2016

Date: 29 June 2016 Time: 13:00
Location: Horton D0.24
Speaker: Professor Marian Gheorghe

ABSTRACT

This talk has two parts: an introduction to P systems & a presentation of some research topics prepared for CMC Conference. The first part is meant to give a short overview of the field, called P systems, the subject of the main presentation. The main talk will focus on a specific P systems model, called kernel P systems. In this talk it will be illustrated its capacity to model various sorting problems as well as its relationships with formal verification based on model checking and testing. This talk will be given to the main conference dedicated to P systems topics, CMC, in July 2016.

BIO

Professor Marian Gheorghe got a BSc and a PhD in Mathematics and Computer Science from the University of Bucharest, Romania. After some years in industry he moved to academia, initially as a lecturer with the University of Bucharest and then, after a short spell with the University of Pitesti, Romania, he moved to the University of Sheffield, in 2000, as a lecturer. He was promoted up to a readership position and became head of the Verification and Testing Group. He recently joined the University of Bradford as a Professor of computational models and software engineering. He has taught a large variety of topics, including formal methods, discrete mathematics, formal grammars and automata, software engineering group projects, systems analysis and design, programming languages (Haskel and Java) etc. He was working in Sheffield, together with other colleagues, in building one of the most popular modules, called Genesys, highly praised by students and acknowledged by employers as a unique real-life experience provided by the University to their Computer Science graduates. His research is rooted in core computer science, more precisely, he is studying various classes of computational models - automata, formal grammars, multiset rewriting systems, Petri nets, process algebra -, their formal properties and connections with other computational models. His research includes also significant applications of these modelling approaches in software engineering, formal verification and testing, simulations, systems and synthetic biology and others. Professor Gheorghe is equally interested in developing the core part of his research in theoretical computer science as well as in collaborating broadly across the whole spectrum of applications of computational models.

Modelling and Computational Analysis of Synthetic Biology Systems Dr Savas Konur, Department of Computer Science, University of Bradford, 22 June 2016

Date: 22 June 2016 Time: 13:00
Location: Horton D0.26
Speaker: Dr Savas Konur, Department of Computer Science, University of Bradford

Abstract:
Synthetic biology, allowing scientists to engineer unconventional biological systems that do not naturally exist in nature, is a rapidly growing field with promising potential in building new synthetically constructed devices and systems. In this talk, we will discuss a software platform developed to model and analyse synthetic biology systems using various computational techniques, such as simulation, verification and biocompilation.

Bio:
Dr Savas Konur is a Lecturer in the School of Electrical Engineering and Computer Science, University of Bradford. His research interests involve Formal Methods (mainly modeling, verification and analysis of complex, concurrent and stochastic systems) and design/development of software systems/tools/methods facilitating Formal Methods in various application areas, including Systems and Synthetic Biology, Ubiquitous Systems, Real-time Systems, Safety-critical Systems, Autonomous Systems and Multi-agent & Systems.
More about Savas' research and published work is here: http://computing.brad.ac.uk/staff/skonur

Identifying Knowledge Anchors in Big Data Graphs Marwan Al-Tawil, Leeds University, 01 June 2016

Date: 01 June 2016 Time: 13:00
Location: Horton D0.26
Speaker: Marwan Al-Tawil, Leeds University

Abstract: The recent growth of the Web of Data has brought to the fore the need to develop intelligent means to support user exploration through big data graphs. It has been acknowledged that, to be effective, approaches for data graph exploration should take into account the knowledge utility of exploration paths – how useful the trajectories in a data graph are for expanding users’ knowledge. Motivated by an earlier controlled user study investigating nudging strategies for exploration, which has suggested that paths which start with familiar and highly inclusive entities and bring something new are likely to have good knowledge utility, we propose here an approach to identify knowledge anchors in a data graph. We call such anchors basic level entities in a data graph, following an analogy with basic level objects in domain taxonomies that underpin our approach. Several metrics for extracting basic level entities in a data graph, and the corresponding algorithms, have been developed. The performance of the metrics is examined using benchmarking sets obtained from an experimental study involving free naming tasks by humans. Based on quantitative and qualitative analysis of the individual metrics, a hybridization approach is proposed.

Bio: Marwan Al-Tawil is a third year postgraduate researcher in the Artificial Intelligence Group in the Computing Department at the University of Leeds. His research interests lie in the field of graph databases, particularly in developing computational methods and algorithms to support users exploration over big data graphs.

Big Data — The View From Space Prof Rami Qahwaji, EECS, University of Bradford, 25 May 2016

Date: 25 May 2016 Time: 13:00
Location: Horton D0.26
Speaker: Prof Rami Qahwaji, EECS, University of Bradford

ABSTRACT

Space data are big, complex, multi-dimensional, multi-wave length and could be challenging in terms of noise, consistency, etc. This makes them fascinating for data and computer scientists. The potential for efficient space data exploration is huge for space, satellites, medicine and variety of other sectors. These issues and more will be discussed at this talk.

PROFESSIONAL CV
Rami Qahwaji is Professor of Visual Computing and is the Academic Director for the Digital Catapult Centre Yorkshire (DigiCatYorks). His research interests include: visualisation, big data analytics, machine learning, and the design of machine vision systems with proven track record in the fields of medical imaging, space/satellite imaging, data visualisation and applied data mining working with medical and industrial collaborators such as NASA, European Space Agency, National Health Service (England), etc. His research was funded by EPSRC, EU FP7, NHS National Innovation Centre, ERDF, European Space Agency (ESA), NASA, TSB, Yorkshire Forward, and more. He has over 130 refereed publications, tens of invited talks at different UK and International meetings and has supervised 20 completed PhD projects. Rami is Fellow of the Institution of Engineering and Technology (FIET), Charted Engineer (CEng - Engineering Council, UK), IET Technical Assessor and Fellow of the Higher Education Academy (FHEA).
More about Rami's research and published work is here: http://www.brad.ac.uk/ei/s/?u=rsrqahwa

Knowledge Engineering with Semantic Technologies: From domains of Culture to Internet of Things (IoT) Dr Dhaval Thakker, Department of Computer Science, University of Bradford, 11 May 2016

Date: 11 May 2016 Time: 12:00
Location: Horton D0.26
Speaker: Dr Dhaval Thakker, Department of Computer Science, University of Bradford

Abstract:
For the last 15 years or so, semantic technologies have provided a successful and pragmatic way of carrying out knowledge engineering (KE) tasks in a bigger scale, and many will argue, in a more successful manner. In this talk, I will highlight my research in this area that includes methodologies and techniques for knowledge capture, enrichment, and building knowledge-enriched systems for exploration and decision support. I will conclude by highlighting the role of semantics in building an Internet of Things (IoT) middleware for event monitoring.

Short Bio:
Dr Dhaval Thakker is a Lecturer in the School of Electrical Engineering and Computer Science, University of Bradford. He has over ten years of experience in the European Union(EU) and industrial projects delivering innovative solutions. Prior to joining Bradford, Dr Dhaval Thakker worked as a Research Fellow at the University of Leeds from 2011 to 2015 and was leading semantic web related research in several EU projects like the EU FP7 NeTTUN, ImREAL and DICODE. Before Leeds, Dhaval worked in the industry with UK's national news agency (Press Association) as a Research & Development Consultant to provide strategic and technical leadership in implementing Semantic Web and Linked data related projects to improve access to their media repositories.

Principles of Agile Software Development Methodology Anthony Shaughnessy, Software Architect at RentalCars.com, 04 May 2016

Date: 04 May 2016 Time: 13:00
Location: Horton D0.26
Speaker: Anthony Shaughnessy, Software Architect at RentalCars.com

Abstract:
Agile development methods are now accepted and commonplace in the
mainstream of commercial software development. Many organisations have
switched to agile methods successfully but a frustrating number are still
reluctant or make a half-hearted switch with limited or no success. This
lecture will introduce the basic framework of agile software development,
contrasted with the older style of waterfall development, but also discuss
common failure modes and how these can be addressed. In particular we will
look at the organisational challenges as well as how to adapt the project
delivery process to different types and scales of project. We'll briefly
touch on tool support and the move towards dev-ops and continuous
delivery.

Bio:
Anthony Shaughnessy has specialised in agile development methods for the
last 14 years of his 27 year career as developer, architect, project
manager, head of development and consultant. He has led projects to
deliver new systems for Vodafone Group, Allianz Insurance, William Hill,
RentalCars.com, and Arcadia Group among many others. He was one of the
co-authors of his consulting employer's agile development framework and
advises on the adoption of agile methods for clients such as Yorkshire
Building Society and Capital One Bank.

Designing and Performance Evaluating Satellite Network Layer Protocols Dr Xuzhe Feng, National University of Defense and Technology, Changsha City, China, 27 April 2016

Date: 27 April 2016 Time: 13:00
Location: D0.26 Horton Building
Speaker: Dr Xuzhe Feng, National University of Defense and Technology, Changsha City, China

ABSTRACT

A satellite network refers to the data communication network across satellites or between satellites and ground stations, which is different from a terrestrial network. A satellite network works in an unfavourable and changeable space environment, showing the characteristics of being topologically complex and dynamic, therefore it is difficult to maintain a stable connection between different network nodes. The method of how to design efficient and reliable data transmission protocols based on a satellite network has become the bottleneck problem of satellite network data transmission. In this talk, we will focus on the satellite network based on Inter-Satellite Links.

BIO

Feng Xuzhe is an Associate Professor at National University of Defense Technology, China. He received the Ph.D. degree in Measuring and Testing Technologies and Instruments from National University of Defense Technology in 2008. He has been an academic visitor in University of Bradford since October,2015. His research focuses on space instruments, designing and performance evaluating satellite network layer protocols.

Large Deviation Theory and Applications in Communication Outages and Resource Allocation Dr Taufiq Asyhari, Department of Computer Science, University of Bradford, 20 April 2016

Date: 20 April 2016 Time: 13:00
Location: Horton D0.26
Speaker: Dr Taufiq Asyhari, Department of Computer Science, University of Bradford

Abstract:
Analytical performance evaluation is often challenging for systems experiencing random fluctuations where the probability distribution cannot be precisely obtained. In this talk, we will review Large Deviation Principle (LDP) as a generic tool to characterize the (asymptotic) limiting behavior of certain probability distribution in terms of a rate function. The LDP is then applied to characterize the asymptotic behavior of communication outages where both the channel and channel state information are randomly varying with time. We will demonstrate how the LDP allows analytical characterization of asymptotic performance metrics, which reveals a number of new design criteria for communication systems.

Bio:
Dr Taufiq Asyhari has been a Lecturer in Computing at the University of Bradford since February 2014. He is a Member of IEEE and holds a PhD in Engineering (Information Engineering) from the University of Cambridge, UK. His research interests are in the areas of information theory, communication theory, coding theory, queueing theory and signal processing techniques with applications in wireless and nano-molecular networks.

Autonomous Self Drive Vehicles — The Opportunities for Engineering and Informatics at Bradford Dr. John Baruch, 13 April 2016

Date: 13 April 2016 Time: 13:00
Location: Horton D0.26
Speaker: Dr. John Baruch

SUMMARY

At the seminar the case will be made for self-driving vehicles as the next big technology breakthrough that will change the world even more than smart phones. The reasons why the big sponsors Google, Apple and Microsoft are pushing them will be discussed and the question asked whether it is just the value of the time of people with money that is driving the project. Google, Apple, Microsoft and others see car drivers as an immense untapped market. George Osborne in his recent budget said that he wanted the UK to be a world leader in self driving vehicles.
The basic software systems are well known, there are issues of responsibility under the law and software validation which are the last hurdles. The University of Bradford is very well placed to house a centre for self –driving vehicles. We already have the Automotive Research Centre and 20 years of experience of operating the first autonomous robot working 3000km from its base. We organised the first public discussion on Driverless vehicles at the British Science Festival in 2015 and worked with the initiatives at Heathrow, Milton Keynes, Bristol and Greenwich to use self-driving vehicles in urban environments. The law department has a section specialising in autonomous systems and we have an active psychology department.
Dr Baruch will discuss the problems and opportunities for those who might wish to join an autonomous vehicles software validation research centre focussed initially on how such software can be validated, what systems are required to ensure it can work effectively and what would be required to set up an international test centre for such software and their systems.

PROFESSIONAL CV

John Baruch received the BSc, and PhD degrees from the University of London in 1965 and 1973 respectively. He worked as a research fellow in the Department of Physics at the University of Leeds from 1965 to 1990 and then at the University of Bradford until 1997 in the Departments of Electrical and Electronic Engineering and Industrial Technology. He was then made Head of the new Department of Cybernetics a post which he held until 2006. He is now a Senior Lecturer in the School of Informatics. His areas of interest have been based in astrophysics and astronomy instrumentation including robotics, artificial intelligence and data mining. His interests extended to Knowledge Transfer and he has worked over many years with local companies in knowledge transfer programmes. He generated the first of the UK research councils’ knowledge transfer programmes in astronomy and has run over 20 such programmes. His interests have extended to education and e-learning and he runs the only freely available autonomous robot on the web dedicated to e-learning. He has argued that Astronomy has a unique place in the new world of the Knowledge Economy since it is the only practical science that can be delivered over the web to educate both teachers and learners in the philosophy and methods of practical science regarded as the key to developing the skills of innovation and creativity at the heart of the Knowledge Economy. He will be delivering a keynote address to the All China Conference on Education for the Knowledge Economy in Nanjing May 2016. He has published over 100 research papers in these and associated fields.

Data Mining BBC News Dr Ian Knopke, Data Scientist, BBC News Audience and Engagement / News Labs / BBC Monitoring, 08 April 2016

Date: 08 April 2016 Time: 14:00
Location: Richmond JS Bell Lecture Theatre
Speaker: Dr Ian Knopke, Data Scientist, BBC News Audience and Engagement / News Labs / BBC Monitoring

Abstract:
The nature of journalism is changing. As with many aspects of media, the traditional print models that were earlier moved on to the web are proving insufficient, and new modes of audience interaction are becoming prevalent. I'll be discussing some recent work towards understanding the relationships between the BBC and the News audience, as well as some work we have towards developing newer models. Most of this work is based on data mining work on a year's worth of News story and audience data, as well as previous work on News recommendation systems.

Bio:
Dr. Ian Knopke is a data scientist with BBC. He has worked extensively on software engineering, metadata, personalisation, audience measurement and machine learning problems across most areas of the BBC, and has written recommendation systems for iPlayer, Radio and BBC News. He is currently part of the audience engagement team in BBC News, and is also working with BBC Monitoring on content analysis, topic assignment and named entity extraction problems. Ian holds a Ph.D. in Media and Computing Science from McGill University (Montreal) and has worked in research labs in Canada, the United States, and the United Kingdom.

Connected Health: A revolution in healthcare? Dr John Ainsworth, Senior Lecturer & Deputy Director, Centre for Health Informatics & Health eResearch Centre (HeRC), University of Manchester, 06 April 2016

Date: 06 April 2016 Time: 13:00
Location: Horton D0.26
Speaker: Dr John Ainsworth, Senior Lecturer & Deputy Director, Centre for Health Informatics & Health eResearch Centre (HeRC), University of Manchester

Abstract: The advent of pervasive connectivity and ubiquitous computing in modern telecommunications networks and devices introduces a new source of data to healthcare. This data is generated by the individual, is about the individual and their interaction with their environment. This is potentially revolutionary for healthcare, as it will provide for the first time high-resolution longitudinal data about an individual and their health. This truly will be a new age of high resolution healthcare. However, despite the promise, the revolution is yet to arrive. This talk will examine where we are now, where we could potentially be, the technology that will drive this development and the barriers that stand in the way.

Bio:
Dr John Ainsworth is a Senior Lecturer at the University of Manchester where he is also Deputy Director of the Centre for Health Informatics. He is the Deputy Director of the Farr Institute @ HeRC, and chairs the Farr Institute eInfrastructure working group. He is involved in numerous research projects, but with one common aim – how can we use computing and information technology to improve the health of the population. His current research focuses on the mobile health technologies and the use of routinely captured healthcare data for research.
MRC Health eResearch Centre
http://The Farr Institute of Health Informatics Research

Models in Engineering Design Professor Claudia Eckert, Faculty of Mathematics, Computing and Technology, The Open University, 09 March 2016

Date: 09 March 2016 Time: 13:00
Location: Horton D0.26
Speaker: Professor Claudia Eckert, Faculty of Mathematics, Computing and Technology, The Open University

Abstract:
Engineers interact with their products and processes largely through models, however rarely reflect about the nature of these models and how technical possibilities and actions are affected by the properties and characteristics of the models. Models in engineering describe the product and process, but also at the same time shape and create them. This talk reflects on what we can learn from the research in the philosophy of science community on modelling, but also analyses the differences between scientific models and engineering models.

Short Bio:

Professor Claudia Eckert is a Professor of Design at the Open University. Her research interests lie in process modelling. She is interested in design as a professional practise in different domains. She has studied design processes of complex incremental products in industry through interviews and observations to identify problems to address them through tools, methods and the development of design theory. This brought her in touch with a broad range of topics from process management, processes planning, collaboration, sustainability and energy. The main focus of research has been engineering design, fashion design and in recent years also construction, which has led to a long standing interest in comparisons between design domains.

Professor Eckert is a co-chair of the Design Society’s "Modelling and Managing Engineering Processes" Special Interest Group and a member of the Advisory Board of the Design Society. She is an area editor of the Springer Research in Engineering Design.

See for more details http://www9.open.ac.uk/mct-ei/people/claudia.eckert

Big Data Science and Technology to enable Smart Businesses Prof Rami Qahwaji, Dr Yonghong Peng, Prof Daniel Neagu, IET and SEECS, University of Bradford, 08 March 2016

Date: 08 March 2016 Time: 18:00
Location: Horton D0.26
Speaker: Prof Rami Qahwaji, Dr Yonghong Peng, Prof Daniel Neagu, IET and SEECS, University of Bradford

We are currently living in the era of big data. Extracting meaningful information and knowledge from the large amount of increasingly available data to gain insight and guide strategic planning is becoming critical to ensure the success of businesses.
This event is intended for SME representatives, academics, young professionals, students, and all parties interested in using big data to improve current business practices, create new ideas and business opportunities. The activities of this event include:
(1) introduction to Big Data Science and Technology and recent research and trends
(2) interactive session discussing big data for smart businesses
(3) networking.

Speakers:
Professor Rami Qahwaji
Dr Yonghong Peng
Professor Daniel Neagu

This is a research event organised jointly by the UK - Yorkshire IET local network and the University of Bradford

IEEE Student/Researcher Event - University of Bradford Kristen MacCartney and Paul Henriques, Institute of Electrical and Electronics Engineers, 23 February 2016

Date: 23 February 2016 Time: 09:00
Location: Chesham Building Room B1.31
Speaker: Kristen MacCartney and Paul Henriques, Institute of Electrical and Electronics Engineers

Join the IEEE and the University of Bradford as they host a unique event for Engineering, Computing and Technology Students, PostGrads and Researchers at the University.

IEEE's University Partnership Program Manager - Kristen MacCartney and IEEE's Client Services Manager - Paul Henriques will provide attendees an insight into how IEEE can help students whilst in education and beyond into their professional career.

The event will provide an insight into how attendees make the transition from student to young professional. It will discuss how attendees can use IEEE information and opportunities to understand market trends, employment demands, build powerful networks and distinguish yourself in an academic, industry or government career.

The event will also cover IEEE support for students including awards, scholarships, opportunities, networking opportunities, jobs, skills development, how to get the most from IEEE and much more.

Find out how you could win prizes of between $2,500 and $10,000 from the IEEE!!!

PLUS: Tea/coffee and breakfast will also be provided.

Both the IEEE and the University of Bradford would be delighted if you could join us for this practical session.

Register now - seats are limited!

Event Details:
Date: Tuesday, 23rd February 2016
Time: 9am to 11am
Room: Room B1.31 (note the room has been changed)
Building: Chesham Building, Faculty of Engineering & Informatics

Book a place here

From Research to Standardisation of ICT Dr Hermann Brand, Vice-President New Initiatives and Market Development, European Telecommunications Standards Institute, Sophia Antipolis, 08 February 2016

Date: 08 February 2016 Time: 15:00
Location: Richmond E59
Speaker: Dr Hermann Brand, Vice-President New Initiatives and Market Development, European Telecommunications Standards Institute, Sophia Antipolis

European Telecommunications Standards Institute (ETSI) produces globally-applicable standards for Information and Communications Technologies (ICT), including fixed, mobile, radio, converged, aeronautical, broadcast and internet technologies and is officially recognized by the European Union as a European Standards Organization. ETSI is an independent, not-for-profit association whose more than 700 member companies and organizations, drawn from 63 countries across 5 continents worldwide, determine its work programme and participate directly in its work.

Upcoming events

View all events »