MANET (Dr Phil Trwoga)

The advances in low-power microprocessors, wireless networks and embedded systems have improved the utility and performance of mobile devices like smartphones, tablets, laptops, wearables, and sensors. In parallel, the advancement in wireless mobile technology has created a new communication paradigm via which a wireless network can be created without any prior infrastructure; this is called a mobile ad hoc network (MANET).

While progress is being made towards improving the performance and reliability of mobile devices and wireless networks, mobile technology continues to face challenges of unpredictable disconnections, mobility issues and heterogeneity of routing protocols in MANETs. To address these issues, the research community has developed routing protocols for MANET, but there is still no single generic routing protocol available that can address all the basic challenges of heterogeneous MANETs. This diverse, ever-growing range of routing protocols is a barrier to intercommunication by mobile nodes of different MANET taxonomies, and as a result valuable resources are wasted.

To overcome the challenges of heterogeneous MANETs, this paper provides an interoperable framework for heterogeneous MANETs, called IF-MANET. The framework hides the complexities of heterogeneous routing protocols and provides a homogeneous layer for seamless communication between these routing protocols. The framework has created a unique ontology for MANET routing protocols and a Message Translator (MTL) to semantically transform the source routing protocol into the destination. The IF-MANET framework is a reusable artefact of software architecture, design and implementation for the development of middleware for MANETs. Different middleware applications can be developed using IF-MANET; for example, grids using a huge amount of aggregated data collected from heterogeneous mobile devices, a disaster and crisis management application that can create an ad hoc network for communication across departments of different taxonomies.

On-Target.ME (Dr Alexander Bolotov, collaboration with Jay Masuria)

Meeting professional problems, not having enough knowledge, resources or time to solve them, the best we do is appealing to the Internet search or professional network. This is not efficient and time consuming. ONTARGET.ME does this job for us – it offers search, contacts, consultations, or even making virtual appointments. The project will concentrate on design and its realisation in the working prototype which will reflect the core application functionality – connect people seeking help with professionals. We will use best practices to make the code well documented. To ensure the viability, we will inherit features of the Final Project (Masuria, 2015), integrating them by the complete MEAN stack to make the app scalable. New features will include video/audio and file sharing, booking virtual appointments and raising a query to allow professionals to share their knowledge with the world. The prototype will also have a functional payment solution integrated into it.

Natural Deduction Theorem Proving Techniques in Classical and non-Classical Logics

Main results:

The only analogous method developed in Carnegie Mellon University (W.Sieg et al.) tackles different setting of natural deduction, and is formulated only for Classical Logic. Our approach is generic and has the potential to capture other formalisms; it has resulted in Natural Deduction Calculi for the following Non-Classical Logics: Linear and Branching-time Temporal Logics, Temporal Logic with propositional quantification and, very recently, for Paraconsistent and Paracomplete Logics.

  • Full automation of the Fitch-style natural deduction in Classical Propositional Logic and its implementation as an automatic theorem-prover
  • Extension of the proof searching algorithm to the First-order setting, Temporal and Paraconsistent Logics.