Tutorial Speaker Details
Prof. Nitin Auluck
Professor
Professor, IIT Ropar
Pre-Conference Tutorial-1
Title:Edge Computing: A Novel Paradigm for Processing Latency Sensitive Applications.
Date:22-01-2024
Time: 9.30 a.m to 11.30 a.m
Abstract
Cloud computing has become a very popular paradigm for data processing and storage of modern applications. However, the cloud may not be the best place for processing applications which require low response times. This is due to the significant physical distance between the cloud data center and the data generation sources. Edge computing involves bringing the cloud closer to the users, and offers lower response times to modern applications. In this tutorial, we will go through the basic concepts of edge computing, discuss scheduling and resource allocation at the edge, and discuss various modern day applications that can benefit from edge computing, for example - smart vehicles, agriculture, and medicine.
Speaker Profile
Nitin Auluck received the B. E. degree from PDA College of Engineering, Gulbarga University in 1998 and PhD degree from the University of Cincinnati, USA in 2004. He was an assistant professor in the Department of Computer Science, Quincy University, Quincy, USA from 2004 to 2010. He has been with the CSE Department at IIT Ropar since 2010, first as assistant professor, and currently, as an associate professor. His research interests include fog computing, real-time systems, and parallel and distributed systems. He has collaborations with universities in the UK, Canada, Australia, and Singapore. He is an editor of Wiley’s CCPE journal, and is involved in the organisation of various conferences, such as IEEE CCGRID, IEEE EDGE..
Prof. Bessam Abdulrazak
Professor University of Sherbrooke, Canada
Visiting Professor, IInstitute Mines-Telecom, France
Pre-Conference Tutorial-2
Title:IoT for Smart environments and Smart cities
Date:22-01-2024
Time: 11.45 a.m to 02.00 p.m
Abstract
The rise of the "Internet of Things" (IoT), which refers to the interconnected network of objects, is poised to match the historical achievements of notable technological advancements like the printing press, the steam engine, and electricity. Unlike numerous transformative shifts, the IoT concept transcends specific industries, manifesting in diverse sectors like agriculture, medicine, military, engineering, and our daily lives. The pivotal aspect in current IoT implementations lies in establishing robust IoT platforms. This tutorial provides a fundamental understanding of IoT systems, offering insights into the key considerations for building reliable IoT applications.
Speaker Profile
Dr. Abdulrazak is a full professor of Computer Sciences at the University of Sherbrooke (UdS / Québec - Canada), director of the Ambient intelligence Laboratory (Ami-Lab), director of the research center on smart habitats, researcher at the Research center on Aging (CdRV), and researcher at the Interdisciplinary Center for Research in Health Informatics (CIRIUS). Before that, he spent three year as postdoctoral fellow at the university of Florida (UF-USA). He received a PhD of computer science from Telecom SudParis (France), a MSc in Robotics from the Université Pierre et Marie Curie - Paris VI (UPMC / France), and a BSc engineering in Electronics from the University of Sciences & Technology Houari-Boumediene (USTHB /Algeria). His research interests include Context-Awareness, Internet of Things (IoT), Ambient Intelligence, Ubiquitous and Pervasive Computing, Smart City, Human-Computer Interaction, Digital health, Gerontechnology and Assistive Technology. One of the specificities of his research work is that it does not stop at the level of development of IT solutions, but also covers deployment and evaluation in the field. His target is to make a real impact on the field by collecting and studying real data that reflects the reality of the targeted environments. He is a cofounder of the International Conference On Smart Living and Public Health (ICOST). He has published more than 200 academic articles, and served on numerous conference/ journal committees related to his research interests. .
Prof. Jin-Song Dong
Professor and Deputy Head
National University of Singapore
Pre-Conference Tutorial-3
Title:Formal Methods for Software Engineering
Date:22-01-2024
Time: 2.30 p.m to 5.00 p.m
Abstract
Formal Methods (FM) are mathematical and logical-based methods and systems that can improve the trustworthiness of software systems. This tutorial starts with an overview of various formal methods and then focuses on introducing state-based and event-based formal modeling and reasoning techniques with practical examples. In particular, it covers:
- Formal Specification Language Z (developed at Oxford University)
- CSP Communicating Sequential Process (developed at Oxford University)
- Model Checking: PAT Concurrent and Real-time Systems (developed at NUS)
Speaker Profile
Dr. Jin-Song Dong is a professor and deputy head of the Computer Science Department at the National University of Singapore. His research is in the areas of formal methods, safety and security systems, probabilistic reasoning, sports analytics, and trusted machine learning. He co-founded the commercialized PAT verification system which has attracted thousands of registered users from 1000+ organizations in 150 countries. He also co-founded “Silas: Trusted Machine Learning” (www.depintel.com). He received several best paper awards including the ACM SIGSOFT Distinguished Paper Award. Jin Song has been on the editorial board of ACM Transaction on Software Engineering and Methodology, Formal Aspects of Computing, and Innovations in Systems and Software Engineering, A NASA Journal. He has successfully supervised 28 PhD students and many of them have become tenured faculty members in leading universities around the world. He is a Fellow of the Institute of Engineers Australia. In his spare time, he developed Markov Decision Process (MDP) models for tennis strategy analysis in PAT and helped professional players in their pre-match analysis (beating the world's best). Jin Song is also a Grand Slam junior coach and enjoys coaching tennis to his 3 kids who all reached the #1 Singapore/Australia national junior ranking.