Keynotes Speakers

Mukesh MOHANIA, IBM, INDIA
Modeling User Behavior Data in Systems of Engagement
Abstract:

The proliferation of mobile devices has changed the way digital in-formation is consumed and its efficacy measured. These personal mobile devices know a lot about the user behavior from the sensors and activities performed by the user. This data can be used to provide a lot of personalized information to the user, and a measure of effectiveness of the information to the information providers. However, there are lot of challenges in modeling and storing such data from these systems of engagement so that there is a right balance of the re-dundancy in the data stored, and the usefulness of the data for analysis. In this paper we present an architecture and issues of modeling such user behavior data from different activities a user does on the mobile device while consuming some information. The user behavior data is modeled as NOSQL JSON documents and sent to a cloud backend where some simple MapReduce analytics can be done to understand different aspects of user preferences and information effectiveness.

Bio:
Mukesh Mohania is an IBM Distinguished Engineer and Chief Architect for Education Transformation area in IBM Research. He has worked extensively in the areas of distributed databases, data warehousing, data integration, and autonomic computing. He has received several awards within IBM, such as "Best of IBM", "Excellence in People Management", “Outstanding Innovation Award”, "Technical Accomplishment Award", “Leadership By Doing”, and many more. He has published more than 120 papers and also filed more than 70 patents in these or related areas, and more than 28 have already been granted. He is an IBM Master Inventor and a member of IBM Academy of Technology. He is an ACM Distinguished Scientist and an IEEE Golden Core member.

Dominique MERY, Loria, Nancy, France
Playing with State-Based Models for Designing Better Algorithms
Abstract:
Distributed algorithms are present in our daily life and we depend on the correct functioning of complex distributed computing systems as, for instance, communication protocols for establishing sessions between a smartphone and a bank account or synchronisation and management of shared resources among competing processes. Generally, the design and the implementation of distributed algorithms are still error prone and it is mainly due to the relationship between the theory of distributed computing and practical techniques for designing and verifying the correctness of reliable distributed systems. Formal proofs of distributed algorithms are long, hard and tedious and the gap between the real algorithm and its formal proof is very important. In this talk, we consider the correct-by-construction approach based on the renement of state-based models, which are progressively transformed, in order to obtain a state-based model that is translated into a distributed algorithm. In our talk, we will summarize results related to proof-based patterns in Event-B (see for instance http://rimel.loria.fr) and ongoing works on translations of Event-B models into (distributed) algorithms.

Bio:
Dominique Mery has been Full Professor of Computing Science at University of Lorraine since September 1993, Head of the Research Group (Formal Methods and Applications) at LORIA, and Head of the PhD School IAEM Lorraine. His professional skills include acting as Expert for NSF, Enterprise Ireland, ANR, AERES. His academic titles are PhD in Computer Science and These d'etat (1993, Mathematics/Computing Science). His Prizes and Professional Achievements include Member of l'Institut Universitaire de France (1995-2000), Grant for Scientic Excellence, Member of IFIP WG 1.3 (Foundations of System Specification). Topics of research focus on proof-oriented system development for computer-based systems and aim at ensuring higher levels of reliability and correctness. Recent and current researches have addressed the incremental proof- based deveopment of distributed algorithms and the proof-based modelling of medical devices as pacemaker as well as cyberphysical systems. Main objectives are to address the use of renement in the modelling process and links with certication questions.