Seminars & Meetings
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
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
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
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
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
PRECISE Brochure