Chronic myelogenous leukemiaChronic myelogenous leukemia (CML), also known as chronic myeloid leukemia, is a cancer of the white blood cells. It is a form of leukemia characterized by the increased and unregulated growth of myeloid cells in the bone marrow and the accumulation of these cells in the blood. CML is a clonal bone marrow stem cell disorder in which a proliferation of mature granulocytes (neutrophils, eosinophils and basophils) and their precursors is found.
NilotinibNilotinib, sold under the brand name Tasigna marketed worldwide by Novartis, is a medication used to treat chronic myelogenous leukemia (CML) which has the Philadelphia chromosome. It may be used both in initial cases of chronic phase CML as well as in accelerated and chronic phase CML that has not responded to imatinib. It is taken by mouth. Common side effects may include low platelets, low white blood cells, anemia, rashes, vomiting, diarrhea, and joint pains.
Gastrointestinal stromal tumorGastrointestinal stromal tumors (GISTs) are the most common mesenchymal neoplasms of the gastrointestinal tract. GISTs arise in the smooth muscle pacemaker interstitial cell of Cajal, or similar cells. They are defined as tumors whose behavior is driven by mutations in the KIT gene (85%), PDGFRA gene (10%), or BRAF kinase (rare). 95% of GISTs stain positively for KIT (CD117). Most (66%) occur in the stomach and gastric GISTs have a lower malignant potential than tumors found elsewhere in the GI tract.
DasatinibDasatinib, sold under the brand name Sprycel among others, is a targeted therapy medication used to treat certain cases of chronic myelogenous leukemia (CML) and acute lymphoblastic leukemia (ALL). Specifically it is used to treat cases that are Philadelphia chromosome-positive (Ph+). It is taken by mouth. Common adverse effects include low white blood cells, low blood platelets, anemia, swelling, rash, and diarrhea. Severe adverse effects may include bleeding, pulmonary edema, heart failure, and prolonged QT syndrome.
Formal verificationIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
SunitinibSunitinib, sold under the brand name Sutent, is an anti-cancer medication. It is a small-molecule, multi-targeted receptor tyrosine kinase (RTK) inhibitor that was approved by the FDA for the treatment of renal cell carcinoma (RCC) and imatinib-resistant gastrointestinal stromal tumor (GIST) in January 2006. Sunitinib was the first cancer drug simultaneously approved for two different indications. As of August 2021, sunitinib is available as a generic medicine in the US.
Formal methodsIn computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.
Abstract interpretationIn computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer program which gains information about its semantics (e.g., control-flow, data-flow) without performing all the calculations.
Automata theoryAutomata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science. The word automata comes from the Greek word αὐτόματος, which means "self-acting, self-willed, self-moving". An automaton (automata in plural) is an abstract self-propelled computing device which follows a predetermined sequence of operations automatically. An automaton with a finite number of states is called a Finite Automaton (FA) or Finite-State Machine (FSM).
Treatment of cancerCancer can be treated by surgery, chemotherapy, radiation therapy, hormonal therapy, targeted therapy (including immunotherapy such as monoclonal antibody therapy) and synthetic lethality, most commonly as a series of separate treatments (e.g. chemotherapy before surgery). The choice of therapy depends upon the location and grade of the tumor and the stage of the disease, as well as the general state of the patient (performance status). Cancer genome sequencing helps in determining which cancer the patient exactly has for determining the best therapy for the cancer.
