Research Seminars and Industry Talks
The School has a variety of research seminars throughout the year. In many cases, these will be presented by visiting experts in a particular field. There are also opportunities for our research students to present their own seminars relating to their particular field of study. If you would like more information on any of the seminars, please contact Professor Daniel Neagu or Dr Atilla Csenki.
Please select the year for the seminar series you are interested in on the left. Please see our seminars archive for details of previous seminars.
Seminars and Industry Talks for 2019
Transformational Effects Of Digital Technologies For Situation Awareness - A Longitudinal Study Dr. Flávio Eduardo Aoki Horita, Assistant Professor, Center of Mathematics, Computation and Cognition (CMCC), Federal University of ABC (UFABC), Brazil, 04 December 2019
Date: 04 December 2019 Time: 14:00
Location: Horton D0.24
Speaker: Dr. Flávio Eduardo Aoki Horita, Assistant Professor, Center of Mathematics, Computation and Cognition (CMCC), Federal University of ABC (UFABC), Brazil
Digital technologies have been re-shaping and re-structuring the business models and processes of organizations. This is the case of situational awareness (SA) in disaster management, which is enhanced by sensors monitoring vulnerable areas. But, at the same time this digital transformation opens new opportunities, it causes transformational effects (e.g., social or technological issues) in the organization settings. Through a series of interviews on a longitudinal study carried out in Brazil, we aim to scrutinize these effects when building awareness within a monitoring control room. Our findings first show that digital technologies could improve the awareness of information, both internal and external of the control room. The results also reveal that, interestingly, technologies empower multi-skilling professionals as they can embody intelligent algorithms. They also indicated that as the technology is still passive of failures, operators should be aware on how to adjust their diagnostic by embracing other sources of data. We then contribute to practice and research by presenting empirical effects of digital transformation on an organizational structure. Furthermore, we also advance the common understanding of how SA is been affected by digital technologies in disaster risk monitoring.
Flávio Horita is an Assistant Professor at the Center of Mathematics, Computation, and Cognition (CMCC) of Federal University of ABC (UFABC), Brazil. He also helds a position as Visiting Research Fellow in
the Information Sytem & Management (ISM) Group at Warwick Business School (WBS), UK. Previously, he did a Ph.D. in Computer Science and Mathematical Computing at the University of São Paulo (ICMC/USP), Brazil. From 2014-2015, he was a Visiting Scholar at the Department of Information
Systems of the University of Münster (WWU), Germany. His current research interests include decision support systems, software architecture, system-of-systems, digital transformation, business process modeling, and disaster management.
Smart Cities — Opportunities, challenges & experiences from the UK & Europe Dr Dhaval Thakker (Dept of Computer Science), Adrian Walker, T-Services Manager and Sydney Simpson, Flood Risk and Mapping Surveyor, City of Bradford Metropolitan District Council, 30 October 2019
Date: 30 October 2019 Time: 17:45
Location: Norcroft Centre
Speaker: Dr Dhaval Thakker (Dept of Computer Science), Adrian Walker, T-Services Manager and Sydney Simpson, Flood Risk and Mapping Surveyor, City of Bradford Metropolitan District Council
A Smart City is a city that uses technological solutions to improve the management and efficiency of the urban environment.
A panel of experts from public services, academia and private organisations taking part in the Smart Cities roll out will discuss opportunities offered by the use of smart technologies in public services delivery and the current and future challenges.
Smart Cities play an important role in finding innovative solutions for some of the most current challenges, for instance; better management of sustainable mobility, air quality, flooding and crowd management.
Many people will have heard the term ‘smart cities’ but will be unsure what it means or how it impacts on their everyday life. This talk will highlight the work already taking place in smart cities across the UK and Europe and the challenge and opportunities these cities create.
In particular, the panel will present experiences from taking part in the European Commission funded projects such as ’Smart Cities and Open Data REuse (SCORE)’ project (https://northsearegion.eu/score/).
On the panel will be Dr Dhaval Thakker, Senior Lecturer at the University of Bradford, Adrian Walker, T-Services Manager and Sydney Simpson, Flood risk and mapping Surveyor both from the City of Bradford Metropolitan District Council. There will also be an industry representative who will be confirmed nearer the time.
For full details and to book a place please go to the Eventbrite page: https://www.eventbrite.co.uk/e/smart-cities-opportunities-challenges-experiences-from-the-uk-europe-tickets-75287770749
From traditional Safety Analysis to Dependability Assurance of Open Adaptive Cyber Physical Systems Dr Sohag Kabir , Dependable Intelligent Systems Research Group, University of Hull, 28 August 2019
Date: 28 August 2019 Time: 13:00
Location: Horton D0.26
Speaker: Dr Sohag Kabir , Dependable Intelligent Systems Research Group, University of Hull
Open Cyber-Physical-Systems (CPS) such as smart grids and intelligent traffic systems continuously learn from their operations and adapt their behaviour accordingly. As a result, their emergent behaviours are difficult to predict from the simple superposition of the behaviour of the individual system elements. Breakdowns in critical infrastructures reliant on CPS can arise from local degradations of individual components that cascade to large-scale consequences propagating from one system to another through interdependencies. Since state-of-the-art dependability analysis techniques require a full priori knowledge of systems and their environment they cannot predict and analyse emergent behaviour. Therefore, there is a need to be able to assure the dependability of future systems, to develop and deploy intelligent solutions in a framework that is both easy to understand and capable of dealing with the challenges of assuring the dependability of open CPS. In this regard, the speaker will talk about what is being done so far and what can be done in the future to advance this work. He will discuss the potential for developing executable computational models that can complement more conventional safety analysis models in the study of open adaptive systems.
Sohag Kabir is a Research Associate working in the Dependable Intelligent Systems (DEIS) Research Group at the University of Hull. His work focuses on safety, reliability, and security assurance and certification of the cyber physical autonomous systems. He also has interests in model-based safety analysis, probabilistic risk assessment, dynamic reliability analysis, and stochastic modelling and analysis. He has published over 25 papers in these areas. He has contributed to EU projects on safety, including MAENAD and DEIS, working with Siemens, General Motors, Volvo, Continental, and DNV-GL, among others. In 2018, he received the research excellence award from the University of Hull. He has also received the Associate Fellowship in Teaching from HEA, UK.
He holds a PhD in Computer Science and an MSc in Embedded Systems, both awarded by the University of Hull, in 2016 and 2012, respectively. He received his BSc degree in Computer Science and Engineering from Bangladesh University of Professionals. Dr Sohag has previously worked as a Lecturer in the Department of Computer Science and Engineering at the Asian University of Bangladesh.
A novel data-driven stochastic distribution control framework for non-Gaussian stochastic non-linear systems Dr Qichun 'Kit' Zhang, Faculty of Computing, Engineering and Media De Montfort University, 09 May 2019
Date: 09 May 2019 Time: 15:00
Location: Horton D0.24
Speaker: Dr Qichun 'Kit' Zhang, Faculty of Computing, Engineering and Media De Montfort University
Motivated by practical industrial processes, the presented work investigates the stochastic distribution tracking problem while the probability density function (PDF) of the stochastic non-linear system output can be controlled to desired distribution. To achieve the control objective, a data-driven approach is proposed in which no information of the system model is required. The output PDF can be estimated by kernel density estimation (KDE) based on the collected system output data. Using the estimated PDF, the probability states can be obtained by sampling operation which can be used to re-characterise the PDF of the system output. Thus, the tracking performance can be achieved by any exiting control algorithms and the convergence of the systems with the designed controllers have been analysed using the identified PDF dynamic model. As an extension, the presented method can be considered as a research framework where the new perspective has been discussed in terms of data-driven PDF control.
Keywords: non-Gaussian systems, stochastic distribution control, PID, data-driven approach
Qichun ‘Kit’ Zhang is Senior Lecturer in Dynamics and Control, programme leader for EEE degree apprenticeship, director for bio-inspired intelligent systems laboratory at De Montfort University in Leicester, UK, where he is supported by Vice-Chancellor 2020 research scheme. Dr Zhang was awarded PhD degree in Electrical and Electronic Engineering from University of Manchester, UK, in 2016. He also received MSc in Control Theory and Control Engineering in 2010 and BEng in Automation in 2008, respectively, from Northeastern University, China. For teaching, Dr Zhang holds PGCertTLHE from De Montfort University. Before joining De Montfort University, Leicester, Dr Zhang was a Senior Research Officer at University of Essex, UK, where he developed novel modelling and control methods for biological neural interaction (EPSRC-funded Project SenseBack). From 2011-2013, Dr Zhang was an academic visitor at Control Systems Centre, University of Manchester. He worked in State Key Laboratory of Synthetical Automation for Process Industries, Northeastern University in China before moving to UK in 2011. He serves over 20 international journals as editor and active reviewer while he is the industry chair for smart world congress 2019 (SWC’19) and TPC member for ICAC’18&19. He originates the concept of probabilistic decoupling for multivariable non-Gaussian systems in 2015 and his current research interests include stochastic dynamic systems, probabilistic coupling analysis, decoupling design, stochastic distribution control, data-driven design, performance optimisation, brain-computer interface and computational modelling for peripheral nervous systems.
Cyber Security in the 21st Century and Future of Cyber Training Dr. V. Ceronmani Sharmila, Head of the Centre for Networking and Cyber Defence (CNCD), Hindustan Institute of Technology and Science, 04 April 2019
Date: 04 April 2019 Time: 12:00
Location: Horton D0.23
Speaker: Dr. V. Ceronmani Sharmila, Head of the Centre for Networking and Cyber Defence (CNCD), Hindustan Institute of Technology and Science
Identification of various components in Cyber Security and Attack Surfaces of the 21st Century. Identify the skill gap and teach the future of Cyber through training of tools and technologies with a real-time scenario by creating a Red Team and Blue Team.
Dr. V. Ceronmani Sharmila is an associate professor and head of the Information technology department at the Hindustan Institute of Technology and Science (University of Bradford's Word Technology University Network partner university). She is also the head of the centre for Networking and Cyber Defence (CNCD) at the university. Her research interests are in Cyber Security, Computer Networks (Mobile Ad Hoc and Sensor Networks), Applications of Graph Theory, Image Processing, Cloud Computing, Internet of Things (IoT) and Very Large Scale Integration (VLSI). Dr. Sharmila is hosted by Dr. Dhaval Thakker and Prof. Fun Hu during her WTUN exchange research visit.
Computational Intelligence Activities at the University of Genoa Professor Francesco Masulli, DIBRIS - Dept of Informatics, Bioingengering, Robotics and Systems Engineering, University of Genoa (Italy), 03 April 2019
Date: 03 April 2019 Time: 13:00
Location: Horton D0.26
Speaker: Professor Francesco Masulli, DIBRIS - Dept of Informatics, Bioingengering, Robotics and Systems Engineering, University of Genoa (Italy)
Starting from the sixties, the University of Genoa has been characterized as one of the most important Italian and European centers for research and training in artificial intelligence. The research group on Computational Intelligence operates at the DIBRIS - Department of Computer Science, Bioengineering, Robotics and Systems Engineering of the University of Genoa, and is involved in the development and application of computational processes inspired by those existing in the natural and social systems as evolutionary algorithms, neural networks and fuzzy logic. In this seminar I’ll give a quick overview of the recent results obtained by this research group, including methods for possibilistic data clustering and for data stream modeling and their applications in the industrial field, and in medical imaging, bioinformatics, and well-being.
Francesco Masulli is the Chair of IEEE Italy Section Computational Intelligence Society Chapter, a Full Professor of Computer Science with the University of Genoa (Italy), and an Adjunct Professor at the Temple University in Philadelphia (PA, USA). He held other positions at Ansaldo Automazione-Genoa, the University of Pisa, the Radboud University of Nijmegen (Netherlands), the International has held other positions at Ansaldo Automazione-Genova at the University of Pisa, the Radboud University of Nijmegen (Netherlands), the International Computer Science Institute of Berkeley (CA, USA) and the Université Nice Sophia Antipolis (France). He received the 2008 Pattern Recognition Society Award, was chair of several international conferences and schools, and authored of more than 250 scientific papers in Clustering, Machine Learning, Neural Networks, Fuzzy Systems and Bioinformatics.
Date: 28 March 2019 Time: 09:00
Location: Norcroft Lounge, Norcroft Building
Speaker: Julian Wells (Whitecap Consulting & FinTech North), Stefan Haase (Director, Whitecap Consulting), Barry James (Founder, British Blockchain & Frontier Technologies Association), Kieron Greeff (Operations Manager, InvestUP), FinTech North
A Fintech North seminar with speakers from the industry in collaboration with University of Bradford will be held on 28th March, 9:00am-11:30 am, Norcroft Lounge.
For registration, please follow the web link below:
9.00 - Arrival / networking
9.30 - Welcome - University of Bradford
9.35 - FinTech North - Julian Wells, Whitecap Consulting & FinTech North
9.45 - Introduction to Blockchain - Stefan Haase, Whitecap Consulting
9.55 - Blockchain opportunities in the future - Barry James, Founder, British Blockchain & Frontier Technologies Association
10.25 - Cryptoassets update - Kieron Greeff, Operations Manager, InvestUP
10.45 - Q&A panel
11.30 - Close
Formal Verification of a Cruise Control System Dr Sorina-Nicoleta Predut, Faculty of Mathematics and Computer Science, University of Bucharest, 27 March 2019
Date: 27 March 2019 Time: 13:00
Location: Horton D01.28
Speaker: Dr Sorina-Nicoleta Predut, Faculty of Mathematics and Computer Science, University of Bucharest
Formal modelling is essential for precisely defining, understanding and reasoning when designing complex systems, such as cyber-physical systems. The present talk outlines a formal approach for specification and verification using Event-B and Rodin platform for a cruise control system of an e-Bike case study.
We will also discuss about the formal verification of the probabilistic behaviour of the same system using Prism model checker. The Prism modelling language gives us additional possibilities to specify relevant properties.
Sorina-Nicoleta PREDUȚ is an Assistant Professor in the Department of Computer Science, University of Bucharest, Romania and a postdoc reasercher in the Exploratory Research Project “Modelling and Analysis of Cyber-Physical Systems” working under the supervision of Professor Florentin Ipate.
She received the B.Sc. and M.Sc. degrees in Mathematics and Computer Science and the Ph.D. degree in Mathematics from the Faculty of Mathematics and Computer Science, University of Bucharest.
Her main research interest is Formal specification methodologies including model based testing.
Search-based Testing for Model-in-the-loop Ana Turlea, Faculty of Mathematics and Computer Science, University of Bucharest, 27 March 2019
Date: 27 March 2019 Time: 13:45
Location: Horton D01.28
Speaker: Ana Turlea, Faculty of Mathematics and Computer Science, University of Bucharest
Nowadays, there is of high interest to use automated testing, not only because it optimizes the manual testing by reducing the needed time and cost, but also because manual testing is more likely to produce errors. Increasing the safety of software controlled complex systems, that use many distributed electronic controlled units, requires extensive testing.
In this talk I will present a test suite generation method at the model-in-the-loop level, using a Multi-objective Genetic Algorithm. We identify a set of requirements for the desired behavior and search for test cases that break the requirements. Our search algorithm relies on an objective function created by formalizing the controller requirements. Preliminary results: We illustrate our approach on a cruise control system for a hybrid propulsion bicycle model and generate test cases that can be further used to test at the software in the loop and hardware in the loop levels.
Ana Țurlea is Teaching Assistant at the Faculty of Mathematics and Computer Science, University of Bucharest, Bucharest, Romania, currently in the fourth 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.