CSE News and Announcements

Nov 24, 2003
EECS 598-3: Programming Languages    Bookmark and Share
This is a 4-credit course that covers fundamental concepts in programming languages as well as recent topics and trends in PL research. Topics include operational semantics, axiomatic semantics, type systems, program verification using theorem provers, and software model checking. The course focusses on applying PL concepts to improve software reliability. The course includes a semester long individual research project.

This course will count towards software area qualification and as an MS and PhD kernel course.

Please see the course web page for further information.   [More Info]
 
CSE in the News 
05/15/13 Bhattacharya: IEEE Spectrum - Polariton Lasers Light Up at Low Power
05/03/13 Dutta: New Scientist - Smart dust computers are no bigger than a snowflake
05/02/13 Wenisch: Wired - The Real Reason ARM Will Menace Intel in the Data Center
04/30/13 Shin: PCWorld - Wireless networks may learn to live together by using energy pulses
04/15/13 Shin: EE Times - GapSense unclogs WiFi Channels
04/12/13 Shin: redOrbit - GapSense To Help Competing Wireless Protocols Play Nicely Together
CSE Research News 
05/17/13 Security Risks Found in Sensors for Heart Devices, Consumer Electronics
05/10/13 Workshop Brings Together Industry and Researchers on Medical Device Security Chall...
05/10/13 Researchers Develop Tools to Better Leverage Tweets in Spotting Trends
04/16/13 GapSense Could Alleviate Wireless Traffic Jams; Improve Network Performance
04/03/13 CSE Researchers Win Best Paper Award at ASPLOS 2013
03/28/13 Researchers Funded to Develop a Leap Forward in Processor Architectures
CSE News 
04/05/13 Prospective Grad Students Show High Level of Interest in CSE
04/03/13 CSE Spinoff Wins The Linley Groups Analysts Choice Award
04/02/13 David Chesney Speaks at TEDxUofM
03/20/13 Kevin Fu Interviewed Regarding Cyber Security of Medical Devices
01/30/13 Martha Pollack Appointed U-M Provost
12/14/12 Career Center Report Shows Computer Scientists Highly Sought After, Best Compensated
CSE Faculty and Staff Awards 
05/24/13 2013 Promotions of our Faculty
03/25/13 Prof. Kevin Fu Named a Federal 100 Award Winner for 2013
03/25/13 Prof. Dragomir Radev Receives U-M Faculty Recognition Award
01/31/13 Solid-State Circuits Magazine Publishes Special Issue with Lynn Conway Memoir of t...
01/29/13 2013 EECS Outstanding Achievement Awards
01/15/13 Three EECS Faculty Recognized with College of Engineering Awards
CSE Student News and Awards 
05/10/13 Spark Races in 2013 Formula Hybrid Racing Competition
04/19/13 Students Win $50K and Honorable Mention for Qualcomm Innovation Fellowship
04/18/13 Scott Reed Selected for NSF and NDSEG Graduate Research Fellowships
04/16/13 Patrick Pannuto Selected for NSF and NDSEG Graduate Research Fellowships
04/10/13 Students Earn Two Awards at ISPD Gate Sizing Contest
03/28/13 Rachael Miller Wins Best Undergrad Poster Award at MICWIC Conference
CSE Alumni News 
05/07/13 CSE Alum Co-Founds Goal-Tracking Company Beeminder
04/03/13 Michigan @ ISSCC 2013 - Alumni and Friends Mixer
03/29/13 Founded By CS Alums, DeepField Grows in Ann Arbor
03/21/13 CSE Alum and Entrepreneur Azarias Reda Delivers Best Pitch at SXSW
03/11/13 Duo Security Introduces Hardware-Level Security, Grows More Than 400%
03/11/13 CSE Alum Niels Provos Forges Viking Weaponry
CSE Course Announcements 
04/08/13 Fall 2013: EECS 598-005 Hybrid Systems Control
03/27/13 Fall 2013: ENGR 390/599 Imagine Innovate Act
03/15/13 Fall 2013: EECS 598 Ultra-Low-Power CMOS Circuit Design
03/14/13 Fall 2013: EECS 598 VLSI Digital Signal Processing Systems
03/14/13 Fall 2013: EECS 598 Electricity Networks and Markets
11/29/12 Winter 2013: EECS 598-007: Advanced Topics in Computer Vision
Add News Item     Update News Items