BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Date iCal//NONSGML kigkonsult.se iCalcreator 2.20.2//
METHOD:PUBLISH
X-WR-CALNAME;VALUE=TEXT:Eventi DIAG
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:STANDARD
DTSTART:20141026T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20140330T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RDATE:20150329T020000
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:calendar.6940.field_data.0@www.diag.uniroma1.it
DTSTAMP:20260416T231829Z
CREATED:20140912T134539Z
DESCRIPTION:We introduce the notion of a Cancer Hybrid Automaton\, a formal
 ism to model the progression of cancers through discrete phenotypes (e.g.\
 , so-called hallmarks). The classification of various cancers using multip
 le stages has become common in the biology literature\, but primarily as a
 n organizing principle\, and not as an executable formalism. The precise c
 omputational model developed in this talk aims to exploit this untapped po
 tential\, namely\, through automatic verification of progression models (e
 .g.\, consistency\, causal connections\, etc.)\, classification of unreach
 able or unstable states (e.g.\, “anti-hallmarks”) and computer-generated (
 individualized or universal) therapy plans. The basic algorithm builds on 
 a phenomenological approach\, and as such does not need to model the bioch
 emistry underlying the progression. Rather\, it abstractly models transiti
 on timings between various stages as well as the effects of drugs and clin
 ical tests\, and thus allows formalization of temporal statements about th
 e progression as well as notions of timed therapies. The model proposed he
 re is ultimately based on hybrid automata (with multiple clocks)\, for whi
 ch relevant verification and planning algorithms exist in the literature. 
 We also describe how more precise causal progression models could be built
  from TCGA (The Cancer Genome Atlas) data.  Biosketch Bhubaneswar (Bud) Mi
 shra is a professor of computer science and mathematics at NYU's Courant I
 nstitute of Mathematical Sciences\, professor of human genetics at Mt. Sin
 ai School of Medicine\, and a professor of cell biology at NYU School of M
 edicine. He currently leads several groups working in biotechnology\, bioi
 nformatics\, biomedicine\, cyber security\, data privacy\, data sciences a
 nd a new design of the Internet. Prof. Mishra has a degree in Physics from
  Utkal University\, in Electronics and Communication Engineering from IIT\
 , Kharagpur\, and MS and PhD degrees in Computer Science from Carnegie-Mel
 lon University. He has industrial experience in Computer Science (ATTAP\, 
 Genesis Media\, SeQster\, and Tartan Laboratories)\, Finance (Instadat\,LL
 C\, PRF\, LLC\, and Tudor Investment)\, Robotics and Bio- and Nanotechnolo
 gies (Abraxis\, Bioarrays\, InSilico\, MRTechnology and OpGen). He is an a
 uthor of a textbook on algorithmic algebra and more than two hundred archi
 ved publications. He has advised and mentored more than 40 graduate studen
 ts and post-docs in the areas of computer science\, robotics and control e
 ngineering\, applied mathematics\, finance\, biology and medicine. He is a
 n inventor of Optical Mapping and Sequencing (SMASH)\, Array Mapping\, Cop
 y-Number Variation Mapping\, Cancer Therapy Design\, Model Checker for cir
 cuit verification\, Robot Grasping and Fixturing\, Reactive Robotics\, Nan
 otechnology for DNA profiling\, Causality Analysis and Personal Private Da
 ta Markets. He is a fellow of IEEE\, ACM and AAAS\, a Distinguished Alumnu
 s of IIT-Kgp\, and a NYSTAR Distinguished Professor. From 2001-04\, he was
  a professor at the Watson School of Biological Sciences\, Cold Spring Har
 bor Lab\; currently he is a QB visiting scholar at Cold Spring Harbor Lab.
DTSTART;TZID=Europe/Paris:20141003T143000
DTEND;TZID=Europe/Paris:20141003T143000
LAST-MODIFIED:20210526T120258Z
LOCATION:Aula Magna
SUMMARY:Towards Cancer Hybrid Automata - Bud Mishra
URL;TYPE=URI:https://www.diag.uniroma1.it/node/6940
END:VEVENT
END:VCALENDAR