BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Iowa State University CALS LAS Web Team//sites.iastate.edu//EN
BEGIN:VEVENT
UID:20260714T140000-4957-www.cs.iastate.edu
DTSTART:20260714T140000Z
SEQUENCE:0
TRANSP:OPAQUE
DTEND:20260714T150000Z
LOCATION:Atanasoff 223
SUMMARY:PhD Final Oral Exam: Michael Gerten
CLASS:PUBLIC
DESCRIPTION:Software Engineering for Chemical Reaction NetworksThe use of n
 on-traditional computing mechanisms is a rapidly growing field of study. O
 ne paradigm uses chemical reaction networks (CRNs) to perform computations
  via chemical interactions. CRNs are used to develop molecular devices at 
 the nanoscale\, such as intelligent drug therapeutics. In practice\, these
  programs are written and simulated in environments like MATLAB and later 
 compiled into physical molecules such as DNA strands. However\, techniques
  for testing the correctness of CRNs are lacking. Current methods of valid
 ating CRNs include using model checking and theorem proving\, but these te
 chniques are limited in scalability.&nbsp\;\n\nMore information at: https:
 //www.cs.iastate.edu/event/2026/phd-final-oral-exam-michael-gerten
DTSTAMP:20260713T100153Z
END:VEVENT
END:VCALENDAR