ECE News and Announcements

Nov 26, 2003
EECS 498-3: Computational Logic    Bookmark and Share
How can you be sure that a hardware or software system is really correct? This course is a chance to put logic and automata theory into action! Until recently, testing has been the only way to ``validate'' designs, especially of hardware components.The alternative approach of actually proving correctness has not been practical. But a new development in this area has changed all that: easy-to-use model checking systems. In this course we will study formal verification methods with an emphasis on model checking. You will learn to use the SMV model checking system developed at Carnegie Mellon and use it to verify a significant hardware or software system. This is your chance to learn about an emerging technology! There will be three hours of lecture and an one hour of discussion each week. Both graduate and undergraduate students welcome; prerequisites are EECS 203 and 376. Prof. Bill Rounds   [More Info]
 
EECS News by Topic
EECS News by Faculty Name
ECE in the News 
04/17/14 Zhong-Norris: Mashable(with video) - Infrared Sensor Could Lead to Night Vision Co...
04/17/14 Wentzloff: PhysOrg - PsiKicks batteryless sensors poised for coming Internet of Th...
04/09/14 The Heritage of Mead & Conway: What Has Remained the Same, What Has Changed, What ...
04/08/14 Have New Cars Gone Haywire?
04/01/14 Guo: Science World - Beautiful Energy
03/20/14 Zhong-Norris: IEEE Spectrum - Graphene Gives You Infrared Vision in a Contact Lens

ECE Research News 
04/17/14 Halderman and Lafortune Join TerraSwarm Research Center
03/31/14 Bringing batteryless sensors to market
03/18/14 Thermal Vision: Graphene light detector first to span infrared spectrum
03/03/14 Photon Glue Enables New Quantum State That Could Mean Better Lighting, Solar Cells
03/03/14 Transparent color solar cells fuse energy, beauty
02/19/14 What are quantum computers going to do for us?

ECE News 
03/26/14 England appointed dean of CECS at UM-Dearborn
03/20/14 Advanced Smart Sensor Networks Open up a Multitude of Applications
02/27/14 Ask Anything: What Happens In Your Computer When You Turn It On?
02/20/14 Jasprit Singh on Technology and Wellness (video)
02/13/14 Asteroid mining could be useful to space travel
01/30/14 State Farm Gift Supports Student Projects Lab

ECE Faculty and Staff Awards 
02/21/14 Jamie Phillips Named Arthur F. Thurnau Professor
02/20/14 Now On YouTube: Prof. Ulabys Talk as the 2014 U-M Henry Russel Lecturer
01/24/14 2014 EECS Outstanding Achievement Awards
01/23/14 Six ECE Faculty Recognized for Excellence
12/18/13 Jason Davis Receives 2013 U-M Distinguished Diversity Leaders Award
12/18/13 Al Hero Named 2013 IEEE SPS Technical Achievement Award Winner

ECE Student News and Awards 
04/17/14 Isabel Martin Received CoE Dist. Leadership Award
04/11/14 Hands-On Robotics (video)
04/10/14 Student Spotlight: Christopher Boyd - From Robotics to MEMS Inertial Sensors
04/10/14 David Hong Awarded NSF Graduate Research Fellowship
04/10/14 Christopher Boyd Awarded NSF Graduate Research Fellowship
04/09/14 Student Spotlight: Mai Le - Finding a Better Way to Diagnose Breast Cancer with MRI

ECE Alumni News 
04/17/14 Alumni Spotlight: Steve Mollenkopf, New CEO of Qualcomm
03/07/14 Alumni Spotlight-Dawson Yee: Kinect-ing Xbox to the World
01/29/14 Alumni Spotlight: Babak Parviz: The Visionary Behind the Glass
01/29/14 Alumni Spotlight: Allan Evans and Avegant: Creating a brilliant multimedia experie...
12/02/13 Tongue Piercing Controls Wheelchair
12/02/13 Ivan LaHaie elected IEEE Fellow

ECE Course Announcements 
04/09/14 Fall 2014: Hands-On Robotics
04/03/14 Fall 2014: EECS 598-002 Power Semiconductor Devices
04/03/14 Fall 2014: EECS 598-001 Analysis of Electric Power Distribution Systems and Loads
03/20/14 Fall 2014: Applied matrix algorithms for signal processing, data analysis and mach...
11/26/13 Winter 2014: EECS 498-003 Multidisciplinary Capstone (MDE) Design Pilot
11/06/13 Winter 2014: EECS 598-007 Infrastructure for Vehicle Electrification

Add News Item     Update News Items