December 2015

December 11, 2015 @ 12:30 pm

Increasing Faculty Use of Effective Teaching Practices

December 11, 2015 @ 3:30 pm

Correct-By-Construction Control Software Synthesis for Highly Dynamic Systems – Part 2 of 2

December 14, 2015 @ 12:00 pm

Undergraduate Computer Engineering Program Lunch

December 14, 2015 @ 3:00 pm

Energy-Efficient Acceleration of Asynchronous Programs

December 14, 2015 @ 4:00 pm

How Cryptography Fails in Practice

December 15, 2015 @ 1:00 pm

Using Program Visualization to Illuminate the Notional Machines

December 16, 2015 @ 1:00 pm

Supporting Large Scale Communication Systems on Infrastructureless Networks Composed of Commodity Mobile Devices: Practicality, Scalability, and Security

December 17, 2015 @ 1:00 pm

Manhattan Cutset Sampling and Sensor Networks

December 18, 2015 @ 2:00 pm

Maximizing Expected Value of Information in Decision Problems by Querying on a Wish-to-Know Basis

December 18, 2015 @ 7:00 pm

Computer Games Showcase

December 21, 2015 @ 12:00 pm

The Design and Effect of Power Electronics on Vibration-Based Energy Harvesting Methods

January 2016

January 12, 2016 @ 4:00 pm

Segmenting and Labeling On-Body Sensor Data Streams with CRFs and Factor Graphs

January 13, 2016 @ 2:00 pm

Popcorn Wednesday

January 13, 2016 @ 3:30 pm

Reducing the Cost and Scale of Fusion Devices and the Problem of Stability

January 14, 2016 @ 4:00 pm

Robust PCA: Fundamental Limits and Algorithms

January 14, 2016 @ 5:00 pm

Watching the Ink Dry: In-situ Measurements to Monitor Film Formation and Function from Organic Semiconducting Inks

January 15, 2016 @ 9:00 am

Identification and Adaptive Control for High-performance AC Drive Systems

January 15, 2016 @ 10:00 am

Counting perfect matchings via random matrices

January 15, 2016 @ 10:30 am

Vertical Integration of Germanium Nanowires on Silicon Substrates for Nanoelectronics

January 15, 2016 @ 3:30 pm

One Horror Story and Three Recent Triumphs of a Recovering Controlophobe

January 18, 2016 @ 10:30 am

Vertical Integration of Germanium Nanowires on Silicon Substrates for Nanoelectronics

January 21, 2016 @ 4:00 pm

The Bigger They Are, The Harder They Fall: Optimization Methods for Robust Planning and Control of Humanoids and UAVs

January 21, 2016 @ 5:30 pm

ECE Mock Interviews

January 22, 2016 @ 10:00 am

The 4/3 Additive Spanner Exponent is Tight

January 22, 2016 @ 3:30 pm

Mixed-integer Convex Formulations for Planning Nonlinear Dynamics in Complex Environments

January 27, 2016 @ 10:00 am

Circuit Techniques for Next Generation Wireless Communication

January 27, 2016 @ 3:30 pm

Novel Plasma and Electron Beam Source Studies at AFRL

January 27, 2016 @ 4:00 pm

Decoding the Brain to Help Build Machines

January 28, 2016 @ 4:00 pm

Compressed Sensing and Parallel Acquisition

January 28, 2016 @ 4:00 pm

Hacking for the Greater Good

January 29, 2016 @ 9:00 am

CSE Lecturer Candidate Seminar #1

January 29, 2016 @ 10:00 am

Using Expander Graphs to Find Vertex Connectivity

January 29, 2016 @ 2:00 pm

ECE Study Break

January 29, 2016 @ 3:30 pm

On the Role of Common Knowledge in Decision Making Over Networks

February 2016

February 1, 2016 @ 9:00 am

CSE Lecturer Candidate Seminar #2

February 1, 2016 @ 2:30 pm

Supervisory Control of Large-Scale Discrete-Event Systems for Optimal Performance

February 2, 2016 @ 9:00 am

CSE Lecturer Candidate Seminar #3

February 2, 2016 @ 2:00 pm

Robust Power System Stability Assessment with Extensions to Remedial Actions

February 3, 2016 @ 5:00 pm

Cybersecurity Factory – a cybersecurity accelerator focused on students

February 4, 2016 @ 9:00 am

CSE Lecturer Candidate Seminar #4

February 4, 2016 @ 4:00 pm

Leadership and the Value of a Liberal Arts Education

February 5, 2016 @ 9:00 am

CSE Lecturer Candidate Seminar #5

February 5, 2016 @ 10:30 am

Quantum Conditional Mutual Information and Ability to Recover

February 5, 2016 @ 3:30 pm

Robots at Sea: From Drones to Autonomy

February 5, 2016 @ 4:00 pm

Data in Motion Phenotyping: From the Intensive Care Unit to the Home

February 5, 2016 @ 5:00 pm

Coffee Hour and Quiz Bowl

February 8, 2016 @ 8:30 am

Control of agile robots in complex environments with formal safety guarantees

February 8, 2016 @ 3:00 pm

How to transform a simple in LC-VCO into complete analog RF front-ends

February 10, 2016 @ 12:00 pm

Quantum realism to semiconductor nanoscience

February 10, 2016 @ 2:00 pm

Popcorn Wednesday

February 10, 2016 @ 3:30 pm

The Macrophysics and Microphysics of Cosmic Rays

February 10, 2016 @ 4:00 pm

Practical Statically-checked Deterministic Parallelism

February 11, 2016 @ 4:00 pm

Equilibria for Games with Asymmetric Information: from guesswork to systematic evaluation

February 12, 2016 @ 3:30 pm

Deployment Optimization for Field Sensor Network

February 12, 2016 @ 4:00 pm

Lunar New Year Celebration

February 15, 2016 @ 4:00 pm

Stamping Out Concurrency Bugs

February 17, 2016 @ 12:00 pm

Community Detection in Networks: Algorithms, Complexity, and Information Limits

February 18, 2016 @ 4:00 pm

Maxwells Equations and Computational Electromagnetics after 150 Years

February 19, 2016 @ 10:30 am

Random number generation with untrusted quantum devices

February 19, 2016 @ 3:30 pm

Computational Toolbox for Power System Stability Assessment and Certification

February 19, 2016 @ 4:00 pm

Personalizing Education at Scale

February 19, 2016 @ 5:00 pm

MHacks: Refractor

February 22, 2016 @ 8:30 am

The Power of Nonconvex Paradigms for High-Dimensional Estimation

February 22, 2016 @ 4:00 pm

Wireless Systems that Extend Our Senses: Seeing Through Walls, Gesture Control, and Vital Sign Monitoring

February 23, 2016 @ 4:00 pm

Multi-Representational Security Modeling and Analysis

February 23, 2016 @ 4:00 pm

Following Natural Language Instructions in Unknown Environments

February 24, 2016 @ 12:00 pm

Fast Randomized Algorithms for Convex Optimization

February 24, 2016 @ 3:30 pm

Coding Plasma Chemistry for Cellular Metabolism

February 24, 2016 @ 4:00 pm

Understanding Behavior through First Person Vision

February 24, 2016 @ 4:00 pm

Small Summaries, Efficient Algorithms and Fundamental Limits

February 25, 2016 @ 2:00 pm

Performance-aware Repair for Concurrent Programs

February 25, 2016 @ 4:00 pm

Forecasting Cybersecurity Incidents and Its Role in Designing Incentive Mechanisms

March 2016

March 1, 2016 @ 3:00 pm

Rethinking Analog-Digital Interface Circuit Architectures

March 7, 2016 @ 9:00 am

CSE Lecturer Candidate Seminar: Drew Roselli

March 7, 2016 @ 9:00 am

Transforming Nanodevices to Nanosystems

March 7, 2016 @ 4:00 pm

Building Vision Systems with Modern Machine Learning

March 7, 2016 @ 4:00 pm

DeepDive: A Data Management System for Machine Learning Workloads

March 8, 2016 @ 9:00 am

Unleashing Hardware Potential through Better OS Abstractions

March 9, 2016 @ 12:00 pm

On the Origin of Microsystems: The Symbiosis of Electronics and Photonics

March 9, 2016 @ 2:00 pm

Popcorn Wednesday

March 10, 2016 @ 9:00 am

CSE Lecturer Candidate Seminar: Hector Garcia

March 10, 2016 @ 2:00 pm

Computational Models of Algorithmic Trading in Financial Markets

March 11, 2016 @ 10:30 am

Complex Contagions on Social Networks

March 11, 2016 @ 3:30 pm

Small UAV Autonomy: Time-Coordinated Missions

March 12, 2016 @ 2:00 pm

Michigan Hackers Learn to Hack: iOS

March 14, 2016 @ 9:00 am

Expedition toward the Energy-Optimized Internet-of-Everything

March 14, 2016 @ 4:00 pm

Sustainable Reliability for Distributed Systems

March 16, 2016 @ 12:00 pm

Communication and Coding over Networks: New Challenges

March 16, 2016 @ 4:00 pm

Passwords, keys, and coins: improving security from user interfaces to applied crypto protocols

March 18, 2016 @ 10:30 am

Multi-Key FHE from LWE, Revisited

March 18, 2016 @ 3:00 pm

Estimation and Control of Thin-film Piezoelectric Microactuators with Uncertain, Nonlinear Dynamics

March 18, 2016 @ 3:30 pm

Robust Analysis and Synthesis for Linear Parameter Varying Systems

March 21, 2016 @ 9:00 am

Processing Information with Small Quantum Devices

March 21, 2016 @ 4:00 pm

Interacting with Personal Fabrication Machines

March 22, 2016 @ 8:00 am

Toward Learning by Reading using a New Semantics that Merges Propositional and Distributional Information

March 22, 2016 @ 3:00 pm

Energy-Efficient Hardware for Embedded Vision and Deep Learning

March 22, 2016 @ 4:00 pm

Towards A Sequential Decision Model of Interaction with Computer Systems

March 23, 2016 @ 12:00 pm

From Communication to Sensing and Learning: An Information Theoretic Perspective

March 23, 2016 @ 3:30 pm