Skip to main content

Search

Boise Global Navigation

Apply
Visit
Give

Search

All Boise State

Computing Only

Computing
About Us
Directory
Future Students
Current Students
Ph.D.
Certificates
News and Events
Research
Colloquium

Computing
News

Tag: safety-critical systems

Thursday March 7, 2024

Computing Colloquium Student Presentation featuring Dave Johnson

Building Scalable Deep Learning Workflows with PyTorch Presenter: Dave Johnson Computing PhD Student, Data Science…

Read more- Computing Colloquium Student Presentation featuring Dave Johnson

Wednesday February 21, 2024

Computing Colloquium Student Presentation featuring Kenny Ballou

Exploiting Incrementality in Data-Flow Analysis to Reason About Weakly-Relational Abstract Domains Presenter: Kenny Ballou Computing…

Read more- Computing Colloquium Student Presentation featuring Kenny Ballou

PhD in Computing

computingphd@boisestate.edu

City Center Plaza - CCP 364

Follow Us

Follow us on X
Follow us on Youtube
Follow us on Linkedin

Secondary Navigation

myBoiseState
Safety, Security and Support
Career Opportunities
Boise State Public Radio
Albertsons Library
Transportation and Parking
Partner with Us
Morrison Center
Alumni
Bronco Shop and Bookstore
University Administration
ExtraMile Arena

Broncos Logo Athletics

Follow us on Facebook
Follow us on Instagram
Follow us on X
Follow us on Youtube
Follow us on LinkedIn

Terms of Use
Accessibility
Privacy
Classroom Concerns
Policies
Contact Boise State

© 2024 All Rights Reserved Boise State University.