Skip to content
Search events. View events.
 

All Categories

Welcome to the CU-Boulder Events Calendar.

Click for help in using calendar displays. Print the contents of the current screen.

Advanced Search

(New Search)
  From:
  To:



Submit
Event Details
Notify me if this event changes.Add this event to my personal calendar.Email this event to a friend.
Go Back
CS Colloquium: Dr. Sumit K. Jha (UCF)
Start Date: 1/24/2013Start Time: 3:30 PM
End Date: 1/24/2013End Time: 4:30 PM
Event Description:

"Validation and Parameter Discovery for Stochastic Computational Models from Behavioral Specifications"
Dr. Sumit K. Jha
Charles N. Millican Assistant Professor of Computer Science
University of Central Florida, Orlando

ECCR 265
Thursday, January 24
3:30-4:30 PM

ABSTRACT: The success of high-performance computing has facilitated the rapid development of increasingly complex models of natural and engineered systems by biologists, physicists, chemists, and even financial engineers. While the development of such models requires considerable domain knowledge and arguably little knowledge of the science of computing itself, we survey a key problem in computational modeling that cuts across boundaries of scientific disciplines and motivates the development of new massively parallel high-performance algorithms: the validation and parameter discovery for stochastic computational models.

While the insight of the domain knowledge expert was sufficient for validating small stochastic models, there is an urgent need to develop massively parallel algorithmic techniques for validating large and complex parameterized stochastic models. In this talk, we will study the use of stochastic temporal logics for describing the expected behavior from complex stochastic models. Using such qualitative and semi-quantitative behavioral specifications, we will survey recently developed high-performance algorithms for model validation and for synthesizing parameters of stochastic models. Our survey will include statistical hypothesis testing based model checking approaches, the analysis of rare behaviors, and the design of parameter discovery algorithms using statistical model checking.

BIO: Dr. Sumit K. Jha is an Assistant Professor and the Charles Millican Faculty Fellow with the Computer Science Department at the University of Central Florida, Orlando. He received his Ph.D. in Computer Science at Carnegie Mellon University. Before joining Carnegie Mellon, Dr. Jha graduated with B.Tech (Honors) in Computer Science and Engineering from the Indian Institute of Technology Kharagpur. His current research interests include automated verification and synthesis of stochastic and hybrid systems with emphasis on applications to computational finance and biochemical modeling. Dr. Jha has also worked on more traditional formal validation and machine learning problems at Microsoft Research, General Motors and INRIA, France. Dr. Jha also holds a Certificate in Quantitative Finance and is a member of the Alpha Quant Club - a network of academicians and industry leaders interested in mathematical finance.

Hosted by Sriram Sankaranarayanan

Free and open to all; light refreshments will be served.

Location Information:
Main Campus - Engineering Classroom Wing  (View Map)
1111 Engineering DR
Boulder, CO
Room: 265
Contact Information:
Name: Evan Chang
Phone: 303-492-8894
Email: evan.chang@colorado.edu
Dr. Sumit K. Jha
Attachments For This Event:
    > Flyer for CS Colloquium January 24, 2013, Dr. Sumit K. Jha
This event is open to
  • Everyone
  • Of note:
    Free and open to all.
    Light refreshments will be served.

    Calendar Software powered by Active Calendar and Active Data Calendar   
    Select item(s) to Search
    Select item(s) to Search
    Select item(s) to Search
    Select item(s) to Search

    Featured Events

    Today's Events