Upcoming Events

Biological Engineering Department Seminar Series

Conference/Seminar

The BE Department's Seminar Series Speaker, Ms. Rachel Muller, Project Engineer at Merit Medical , will present: "Using Your Resources; A Look At Project Management In Engineering".

February 24th at 12:30 pm in ENGR 326

Behind the scenes of Merit Medical’s success as a global leader in medical manufacturing are the people that make it possible. Learn about what it takes to bring a product to market, key project management strategies, and vital skills to learn as an engineer before entering the medical device industry.

A meet and greet with Ms. Muller will be held immediately following the seminar in ENGR 326.

Geosciences Speaker Series: Beth Christensen

Conference/Seminar

Beth Christensen will present on Plate Tectonics - Climate Change.

[CANCELED] Department of Physics Colloquium

Conference/Seminar

Weekly presentations on topics in physics.

[CANCELED] Chemistry & Biochemistry Departmental Seminar

Conference/Seminar

Mar 11 - Andrew Gewirth, University of Illinois Urbana-Champaign
Mar 18 - Chunsheng Wang, University of Maryland
Mar 25 - Li Li, University of Nevada, Reno
Apr 1 - Hansen Seminar: Amy Rosenzweig, Northwestern University - Old Main 115
Apr 7 (Tuesday) - Sharon Hammes-Schiffer, Yale University - ESLC 046
Apr 15 - Jeffrey Moore, University of Illinois (Urbana-Champaign)
Apr 22 - Lawrence Que, University of Minnesota
Apr 29 - Yugang Sun, Temple University

Dennis Kramer - Visiting Professor: "Harnessing Research for Social Good"

Conference/Seminar

This seminar is open to all graduate students who are interested in education, behavioral science/behavioral economics, decision-making and public policy. Harnessing Research for Social Good: Experiences Applying Behavioral Science Across the Federal Government.

Diversity Conference

Conference/Seminar

The Diversity & Inclusion Conference is an annual event for students, faculty, staff and community members to explore issues of diversity and social justice on a deeper level.

Register online at https://usueastern.edu/cdi/conference

Applied Mathematics Seminar: Stochastic Approximate Model-Checker for Infinite-State Analysis

Conference/Seminar

Speaker: Zhen Zhang, Department of E & CE, Utah State University

Abstract: There has been an increasing demand for providing formal guarantees in the design process of safety-critical synthetic genetic circuits. As a prominent formal verification technique, probabilistic model checking has demonstrated significant potential in formally analyzing the intrinsic probabilistic behaviors of complex genetic circuit designs. However, its scalability is limited as probabilistic models of real-world applications typically have very large or infinite state space. In this talk, I will present a new infinite state CTMC model checker, STAMINA, with improved scalability. It uses a novel state space approximation method to reduce large and possibly infinite state CTMC models to finite state representations that are amenable to existing probabilistic model checkers. It is integrated with a new property-guided state expansion approach that improves the analysis accuracy. This method is evaluated on a design of a genetic toggle switch and several other benchmarking examples. Comparisons with another state-of- the-art tool demonstrate both accuracy and efficiency of the presented method.