Seminars & Meetings Events Calendar

Every Friday

Time and Place: Levine 315, 3 pm – 4:30 pm

Smart Alarm Meetings
Group meeting for the MD CPS project.
More information and meeting schedule here

Thursday, April 3, 2014

Time and Place: Levine 315, 12 – 1:30 pm

Swarat Chaudhuri,
Rice University
Talk: Adventures in Automated Programming

Friday, March 28, 2014

Time and Place: Levine 337, 3 – 4 pm

Steven Reiss,
Brown University
Talk: Searching for the User Interface: First Steps

Friday, March 28, 2014

Time and Place: Levine 315, 1 – 2 pm

Konstantinos Gatsis & Miroslav Pajic,
University of Pennsylvania
Talk: Opportunistic Scheduling of Control Tasks Over Shared Wireless Channels
Robustness of Attack-resilient State Estimators

Wednesday, March 26, 2014

Time and Place: Levine 307, 12 noon – 1 pm

Jonathan Sprinkle,
University of Arizona
Talk: Humans and Models in a Cyber-Physical World

Wednesday, March 5, 2014

Time and Place: Levine 315, 12 noon – 1 pm

Marco Caccamo,
University of Illinois at Urbana-Champaign
Talk: Predictable Integration of Safety-Critical Software on COTS-based Embedded Systems

Thursday, February 21, 2014

Time and Place: Levine 307, 1 pm – 2 pm

Marco Gruteser,
Rutgers University
Talk: Towards Mobile Sensing of Attention and Distraction

Tuesday, February 18, 2014

Time and Place: Levine 307, 1 pm – 2 pm

Michael L. Littman,
Brown University
Talk: Computational Game Theory in Sequential Environments

Thursday, February 14, 2014

Time and Place: Skirkanich 508, 2 pm – 3 pm

Arjun Radhakrishna, Ph.D.
IST Austria
Talk: Performance-aware Synthesis for Concurrency

Wednesday, February 5, 2014

Time and Place: Levine 307, 11:30 am – 12:30 pm

Mark Allen, Ph.D.,
University of Pennsylvania
Talk: Microfabricated Implantable Wireless Microsystems: Permanent and Biodegradable Implementations

Monday, January 27, 2014

Time and Place: Levine 307, 1 pm – 2 pm

Shachar Itzhaky
Tel Aviv University
Talk: Modular Reasoning about Heap Paths via Effectively Propositional Formulas

Wednesday, September 18, 2013

Time and Place: Levine 315, 12 noon – 1:30 pm

Gang Qu, Ph.D
University of Maryland College Park
Talk: Hardware in Cybersecurity: from the Weakest Link to Great Promises

Friday, August 30, 2013

Time and Place: Levine 512, 3:00 – 4:30 pm

Jin-Oh Hahn, Ph.D
Department of Mechanical Engineering, University of Maryland College Park
Talk: Physiological Health Monitoring, Decision Support and Control

Tuesday, August 13, 2013

Time and Place: Levine 307, 11:30 am – 12:30 pm

Helen Gill, Ph.D.
National Science Foundation
Talk: Cyber-Physical Systems: Continuity and Transitions

Thursday, July 18, 2013

Time and Place: Levine 612, 11:00 am – 2:00 pm

Dana Fisman, Ph.D.
Hebrew University, Israel
Talk: Rational Synthesis

Wednesday, May 29, 2013

Time and Place: Levine 307, 11:30 am – 12:30 pm

Nathan Fisher, Ph.D.,
Wayne State University
Talk: Allocation, Isolation, & Dynamics in Compositional Real-Time Systems & Applications to Control System Design

Friday, March 22, 2013

Time and Place: Berger Auditorium, Skirkanich Hall, 12 pm – 1:30 pm,
coffee will be served starting at 11:45 a.m., outside Berger Auditorium

Gary Fedder
Director of the Institute for Complex Engineered Systems (ICES),
Howard M. Wilkoff Professor of Electrical and Computer Engineering, and
Professor of The Robotics Institute,
Carnegie Mellon University
Talk: Advanced Manufacturing Institutes – A $2B National Experiment in Government-Industry-University Private-Public Partnerships

Tuesday, February 5, 2013

Time and Place: Levine 307, 11 am – 12 pm

Mr. Tomoo Kakegawa & Atsushi Hayashi
Vehicle Control System Infrastructure Development Division
Toyota
Talk: Toyota’s Advanced Driver Assist System (ADAS)

Monday, February 4, 2013

Time and Place: ExCAPE Webinar, 12 pm – 1 pm

Hadas Kress-Gazit, Ph.D.
http://www.cornell.edu/
Talk: ExCAPE Webinar: Synthesis and Robotics

Monday, January 14, 2013

Time and Place: ExCAPE Webinar, 12 pm – 1 pm

Sumit Gulwani, Ph.D.
Microsoft Research
Talk: ExCAPE Webinar: Synthesis for Education

Thursday, October 25, 2012

Time and Place: Levine 512, 12 pm – 1 pm

Azadeh Farzan, Ph.D.
University of Toronto
Talk: Data Flow Graphs for Verification of Concurrent Programs

Friday, October 12, 2012

Time and Place: Special PRECISE Webinar: Call-in, 11 am – 12 noon

Chris Bickley
Senior Account Manager
Belcan
Talk: Perspective on New Graduates’ Resumes – for Automotive Industry only

Monday, October 8, 2012

Time and Place: Levine 612, 11 am – 12 noon

Barzan Mozafari, Ph.D.
Massachusetts Institute of Technology (MIT)
Talk: High-Performance Complex Event Processing Systems & Nested Word Automata

Friday, September 21, 2012

Time and Place: Levine 512, 11:45 am – 12:45 pm

Gerhard Marcinkowski
Senior Technical Recruiter – MathWorks
Perspective on New Graduates’ Resumes

Thursday, September 13, 2012

Time and Place: Levine 307, 4 pm – 6 pm

On-Campus Employer Information Session
Employer: Lutron Electronics Co., Inc.

Thursday, August 23, 2012

Time and Place: Levine 307, 2 pm – 3 pm

Marta Kwiatkowska, Ph.D.
Department of Computer Science
University of Oxford

Talk: A Framework for Verification of Software with Time and Probabilities

Thursday, July 19, 2012

Time and Place: Levine 307, 11 am – 12 noon

Daniel Schwartz-Narbonne, Ph.D.
Department of Electrical Engineering
Princeton University

Talk: Parallel Assertions for Debugging Parallel Programs

Monday, July 9, 2012

Time and Place: Levine 612, 11 am – 12:30 pm

James Weimer, Ph.D.
School of Electrical Engineering
KTH Royal Institute of Technology, Sweden

Talk: Security of Networked Systems with Application to Environmental Monitoring, Power Grids, and Building Energy Management

Monday, May 21, 2012

Time and Place: Towne 337, 1:30 pm – 2:30 pm

Sathish Gopalakrishnan, Ph.D.
Department of Electrical & Computer Engineering
University of British Columbia

Talk: Policies for querying sensors with cost/delay considerations

Wednesday, May 16, 2012

Time and Place: 307 Levine Hall, 12:15 pm – 1:15 pm

Vojtech Forejt, Ph.D.
Department of Computer Science
University of Oxford

Talk: Automatic Verification of Competitive Stochastic Systems

Thursday, May 10, 2012

Time and Place: mLab (Levine 279), 11 am – 12 noon

Guoliang Xing, D.Sc.
Department of Computer Science and Engineering
Michigan State University

Talk: Wireless Coexistence in Open Radio Spectrum: Curses and Blessings

Wednesday, April 25, 2012

Time and Place: 315 Levine Hall, 1:45 pm – 2:45 pm

Pavithra Prabhakar, Ph.D.
CMI postdoctoral fellow
California Institute of Technology

Talk: Approximations for Verification of Hybrid Systems

Friday, April 13, 2012

Time and Place: Wu & Chen Auditorium, 3 pm – 4 pm

Eric Feron, Ph.D.
Georgia Tech

Talk: Proof-carrying auto-coded control software

Wednesday, April 11, 2012

Time and Place: Towne 337, 3 pm – 4:20 pm

Technical Guest Lecture

Talk: ARM

Wednesday, February 29, 2012

Time and Place: 307 Levine Hall,

1st talk:   1:30 pm to 3 pm
2nd talk:   4:30 pm to 6 pm

Paul E. Black
National Institute of Standards and Technology (NIST)
 1st Talk: Static Analysis and Static Analyzers in Software Development
2nd Talk: Combinatorial Testing

Wednesday, February 15, 2012

Time and Place: 307 Levine Hall, 1:45 pm – 2:45 pm

Brian Murray, Ph.D.
United Technologies Research Center (UTRC)

Talk: Complex Cyber-Physical System Design Challenges at UTRC

Thursday, January 26, 2012

Time and Place: 307 Levine Hall, 12 pm – 1 pm

Sean W Smith, Ph.D.
Department of Computer Science
Dartmouth College

Talk: The Role of Humans in Information Security Decisions

Wednesday, January 25, 2012

Time and Place: 307 Levine Hall, 2 pm – 3 pm

Nguyen Van Tang
 Postdoc Researcher, Research Center for Verification and Specification
National Institute of Advanced Industrial Science and Technology

Talk: Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++

Friday, November 11, 2011

Time and Place: 307 Levine Hall, 2:30 pm – 3:30 pm

Xue Liu
Department of Electrical and Computer Engineering
McGill University

Talk: Challenges and Opportunities of Power Management for Internet Data Centers

Thursday, October 27, 2011

Time and Place: 307 Levine Hall, 2:00 pm – 3:00 pm

Gregor Goessler
INRIA

Talk: Definitions of Logical Causality for Trace Analysis

Wednesday, October 19, 2011

Santosh Kumar
Department of Computer Science
University of Memphis

Talk: Addressing Stress and Addictive Behavior in the Natural Environment Using AutoSense

Friday, September 30, 2011

Time and Place: 307 Levine Hall 1:30 pm – 2:30 pm

Armando Solar-Lezama
Computer Assisted Programming Group
MIT

Talk: Beyond Bug Finding: Leveraging Program Analysis to Make Programming Easier

Wednesday, September 28, 2011

Time and Place: 307 Levine Hall 11 am – 12 noon

Swarat Chaudhuri
 Computer Science
Rice University

Talk: Composing Composure: Reasoning about Robustness of Software Systems

Wednesday, June 29, 2011

Time and Place: 315 Levine Hall 1:30pm – 3:00 pm

Dominik Wojtczak
Computer Science Department
University of Liverpool

Talk: The Complexity of Nash Equilibria in Stochastic Games

Thursday, April 28, 2011

Time and Place: 315 Levine Hall 3:00pm – 4:00 pm

Eric Koskinen
Computer Laboratory
University of Cambridge

Talk: Systems Code Verification: A Moving Target

Wednesday, April 20, 2011

Kevin Fu
Department of Computer Science
University of Massachusetts Amherst

Talk: Trustworthy Medical Device Software

Monday, April 18, 2011

Aviral Shrivastava
Department of Computer Science & Engineering
Arizona State University

Talk: Multi-Core Challenge: Missing Memory Virtualization

Tuesday, April 5, 2011

Time: 11:30am – 1:30 pm

K. Venkatesh Prasad
Ford Motor Company

Talk: Hello Car, Hello World: Cyber-Physical Systems On-Wheels & Toolkits For Experimentation

Wednesday, March 16, 2011

Sayan Mitra
Department of Electrical Engineering
University of Illinois at Urbana-Champaign

Talk: Abstraction refinement for verification of hybrid systems

PRECISE + EMBS Tgif Social:

Friday, February 25 5-6pm
mLAB, (Room 279, Moore)
Read More

Monday, January 24, 2011

Time and Place: 612 Levine Hall at 1:30 – 3:00 pm

Pavol Cerny
IST Austria

Talk: Streaming Transducers for Algorithmic Verification of Single-pass
List-processing Programs

full screen background image