Prof. Jalel Ben-Othman, University of Paris 13, France
Prof. Ben-Othman received his B.Sc. and M.Sc. degrees both in Computer Science from the University of Pierre et Marie Curie, (Paris 6) France in 1992, and 1994 respectively. He received his PhD degree from the University of Versailles, France, in 1998. He is currently full professor at the University of Paris 13 since 2011 and member of L2S lab at CentraleSupélec. Dr. Ben-Othman's research interests are in the area of wireless ad hoc and sensor networks, VANETs, IoT, performance evaluation and security in wireless networks in general. He was the recipient of the IEEE comsoc Communication Software technical committee Recognition Award in 2016, the IEEE computer society Meritorious Service Award in 2016, and he is a Golden Core Member of IEEE Computer Society. He is currently in steering committee of IEEE Transaction on Mobile computing (IEEE TMC), an editorial board member of several journals (IEEE Networks, IEEE COMML, JCN, IJCS, SPY, Sensors…). He has also served as TPC Co-Chair for IEEE Globecom and ICC conferences and other conferences as (IWCMC, VTC'14, ComComAp, ICNC, WCSP, Q2SWinet, P2MNET, WLN,....). He was the chair of the IEEE Ad Hoc and sensor networks technical committee January 2016-2018, he was previously the vice chair and secretary for this committee. He has been appointed as IEEE comsoc distinguished lecturer since 2015 where he did several tours all around the world. He is member of IEEE technical services board since 2016.
Speech Title: Threats and solutions for next generation connected vehicles
Abstract: Wireless and mobile networks have many advantages as easy deployment, user mobility and provides network access to users regardless to their locations. The most critical problems that arise in these networks are on the resource allocations as the bandwidth is limited, the propagation (multi-path, fading, distortion) and security since communications are transmitted over radio waves. In parallel new architectures/technologies have been emerged as Vehicular Networks and Internet of Things. In this keynote, I will present issues about availability problem in those networks and architecture, I will focus on Vehicular Networks, and I will present some works we have done and other works to improve security in those systems.
Prof. Masahiro Fujita, The University of Tokyo, Japan
Masahiro Fujita received his Ph.D. in Information Engineering from the University of Tokyo in 1985 on his work on model checking of hardware designs by using logic programming languages. In 1985, he joined Fujitsu as a researcher and started to work on hardware automatic synthesis as well as formal verification methods and tools, including enhancements of BDD/SATbased techniques. From 1993 to 2000, he was director at Fujitsu Laboratories of America and headed a hardware formal verification group developing a formal verifier for real-life designs having more than several million gates. The developed tool has been used in production internally at Fujitsu and externally as well. Since March 2000, he has been a professor at VLSI Design and Education Center of the University of Tokyo. He has done innovative work in the areas of hardware verification, synthesis, testing, and software verification-mostly targeting embedded software and web-based programs. He has been involved in a Japanese governmental research project for dependable system designs and has developed a formal verifier for C programs that could be used for both hardware and embedded software designs. The tool is now under evaluation jointly with industry under governmental support. He has authored and co-authored 10 books, and has more than 200 publications. He has been involved as program and steering committee member in many prestigious conferences on CAD, VLSI designs, software engineering, and more. His current research interests include synthesis and verification in SoC (System on Chip), hardware/software co-designs targeting embedded systems, digital/analog co-designs, and formal analysis, verification, and synthesis of web-based programs and embedded programs.
Speech Title: Deep learning on array based computing systems
Abstract: We present an automatic compilation method from specification to many cores under user-specified communication constraints. It is based on SAT solvers and can generate a legal scheduling if that ever exists. Then the method is applied to the compilation problem on deep learning, such as Convolution Neural Network computation. We show that optimal scheduling cam be automatically generated for array processors. The preliminary performance evaluation confirms that the automatically generated schedule implemented on FPGA can be more than 1,000 times faster than GPU.
Prof. Nan Wang, California State University in Fresno, USA
Dr. Nan Wang is currently a professor within the Department of Electrical and Computer Engineering at California State University in Fresno, California. He received his B.S. in Computer Science from Xiamen University in Xiamen, China, and his Ph.D. in Computer Engineering from the University of Louisiana in Lafayette, Louisiana. From 2008 to 2015, Dr. Wang has been working with West Virginia University Institute of Technology, where he earned a tenured position in 2014. Dr. Wang received a research grant of $424,612 as PI from the U.S. National Science Foundation in October 2018. He has served as a keynote speaker, program and publication chair, TPC member, and reviewer for various peer referred journals and conferences, in which he also has numerous publications. Dr. Wang is also serving as a panelist for the U.S. National Science Foundation’s program solicitation for the Japan-US Network Opportunity (JUNO2) and the R&D for Trustworthy Networking for Smart and Connected Communities. He has more than 20 years of combined industry and teaching experience. His research interests include system-on-chip/network-on-chip communication architecture, embedded systems, FPGA/ASIC design and implementation, real-time computing and VLSI design, and wireless communication. In his free time, Dr. Wang serves as a faculty advisor for the Asian Christian Student Organization at the California State University in Fresno, California.
Speech Title: BullDog Mote: Low Power Design Technologies for Wireless Sensor Networks
Abstract: Wireless Sensor Networks (WSNs) are formed by a significant number of sensor nodes deployed in an extensive area in which not all nodes are directly connected. Research has been carried out on WSNs’ clustering structures, routing protocols and Mobile Ad-hoc Network (MANET). WSNs have been widely employed in various real world applications, from air pollution monitoring and landslide detection to structural health monitoring. However, its limited battery life span and data transmission throughput of small sensor nodes majorly hinders its further development. Several attractive low power design techniques, such as energy harvesting, clock scheduling, dynamic voltage scheduling and low power design methods at all of WSNs design layers will be discussed in this talk. The same low-power design techniques can be employed for a variety of other power-constrained applications such as consumer electronics and medical devices. This talk is based upon work supported by the U.S. National Science Foundation under Grant No. 1816197.
Prof. Shuanghua Yang, Southern University of Science and Technology, China
Prof. Shuang-Hua Yang is a chair professor in Computer Science at Southern University of Science and Technology (SUSTech) in China. He spent over 20 years in the UK Higher Education Institutions before moving back to China. He joined Loughborough University in 1997 as a research assistant, and progressing to a research fellow in 1999, a lecturer in 2000, a senior lecturer in 2003, a professor in 2006, and Head of Department of Computer Science in 2014. His educational history originated in China where he received a BSc in 1983, an MSc in 1986, both from the Petroleum University and a PhD in 1991 from Zhejiang University. He was awarded a Doctor of Science (DSc) degree, a higher doctorate degree, in 2014 from Loughborough University to recognize his scientific achievement in his academic career. He is a fellow of the Institute of Engineering and Technology (IET) since 2014, a fellow of the Institute of Measurement and Control since 2005, and a senior member of IEEE since 2003. He was awarded the 2010 Honeywell Prize by the Institute of Measurement and Control in the UK in recognition of his contribution to home automation research. He was the author of four research monographs and over 200 academic journal papers.
Speech Title: Integrating safety and security risk assessment for Cyber-Physical Systems
Abstract: The term Cyber-Physical Systems (CPS) refers to a new generation of systems with integrated computational and physical capabilities through computation, communication, and control. A typical example of CPS is industrial control systems (ICS). In the past decades, related techniques for CPS have been well studied and developed, and are widely applied in the fields such as Industrial automation, smart transportation, aerospace, environment monitoring, and smart grids. However, with the expansion of CPS complexity and the enhancement of the system openness, most of CPS become not only safety-critical, but also security-critical since deeply involving both physical objects (i.e. industrial processes) and computer networks. Safety and security issues are increasingly converging on CPS, leading to new situations in which these two closely interdependent issues should now be considered together in the risk assessment stage. This talk illustrates the existing approaches of risk assessment from the perspectives of safety, security and their integration through a series of industrial cases. The solutions of integrating safety and security risk assessment might be used in networked industrial processes or infrastructures, or other general cyber-physical systems.
Prof. Yunjian Jia, Chongqing University, China
Yunjian Jia received his B.S. degree from Nankai University, China, and M.E. and Ph.D. degrees in Engineering from Osaka University, Japan, in 1999, 2003, and 2006, respectively. From 2006 to 2012, he was a researcher with Central Research Laboratory, Hitachi, Ltd., where he engaged in R&D on wireless communications and mobile networks, and contributed to LTE and LTE-Advanced standardization in 3GPP. From October 2012, he has been engaging in research and education at the College of Communication Engineering, Chongqing University, Chongqing, China. His current research topics include wireless communications and networking, mobile edge computing and caching, resource allocation, and massive machine type communications. He is the author of more than 80 published papers, and the inventor of 37 granted patents in China, USA and Japan. He has served as the TPC member, Symposium Chair, and Session Chair in the main international conferences such as IEEE GLOBECOM, ICC, INFOCOM, PIMRC, ICCC, WOCC and ChinaCOM for serval years. He has won several prizes from industry and academia including the IEEE Vehicular Technology Society Young Researcher Encouragement Award, the IEICE Paper Award, the YRP Award, the APCC Best Paper Award, and the China Industry-University-Research Institute Collaboration Innovation Award.
Speech Title: From Internet of Everything to Internet of intelligence：collaboration of communication, caching，computing and control opens a new information world.