John Regehr, Professor of Computer Science, University of Utah, USA. This post is aimed at computer science students. Git is the obvious choice; the main thing you should have is a basic Github-centric workflow including pull requests, remotes, dealing with merge conflicts, etc. I routinely use gnuplot, graphviz, and Powerpoint to make figures. Lots of people like matplotlib. LLDB, GDB, something IDE-based.

Huafeng Yu is a senior researcher with The Boeing Company. His main research interests are mainly in systems engineering and software engineering for cyber-physical systems as well as embedded systems, particularly formal methods, model-based design, safety and reliability, cyber security, machine learning for avionics and autonomous vehicles. Before joining Boeing, he has been working in. Huafeng received his PhD from University of Lille 1.

Enforce safety policies, detect policy violations, find race conditions and more. Is a runtime monitoring tool that allows for checking and enforcement of safety properties over the execution of your software.

Mechanical Engineering and Applied Mechanics. Welcome to the school of engineering and applied science.

The Mobile Internet is Here. 5G Mobile Network talk by Prof. Raychaudhuri at the IEEE 5G Forum, Princeton, NJ, May 26.

Countdown to the 2016 Texas Wireless Summit. At the Blanton Musuem of Art Edgar Smith Building. Now in its 14th year, TWS provides a forum on emerging technology and business models for industry leaders and academics.