A5053718371- Logic, programming, and type systems
- Logic, Reasoning, and Knowledge
- Formal Methods in Verification
- Parallel Computing and Optimization Techniques
- Cell Image Analysis Techniques
- Advanced biosensing and bioanalysis techniques
- DNA and Biological Computing
- Single-cell and spatial transcriptomics
- Cancer Genomics and Diagnostics
- Blockchain Technology Applications and Security
- Game Theory and Voting Systems
- Distributed systems and fault tolerance
- Advanced Biosensing Techniques and Applications
- Gene Regulatory Network Analysis
- Embedded Systems Design Techniques
- Distributed and Parallel Computing Systems
- Auction Theory and Applications
- RNA and protein synthesis mechanisms
- semigroups and automata theory
- RNA Research and Splicing
- DNA and Nucleic Acid Chemistry
- Internet Traffic Analysis and Secure E-voting
- Computability, Logic, AI Algorithms
- Game Theory and Applications
- CRISPR and Genetic Engineering
Weizmann Institute of Science
2016-2025
London School of Economics and Political Science
2023
Columbia University
2022
Université Gustave Eiffel
2021
Google (United States)
2012
University of Minnesota System
2012
Applied Mathematics (United States)
2008
Salk Institute for Biological Studies
2008
Yale University
1981-1982
The recent advent of methods for high-throughput single-cell molecular profiling has catalyzed a growing sense in the scientific community that time is ripe to complete 150-year-old effort identify all cell types human body. Human Cell Atlas Project an international collaborative aims define terms distinctive profiles (such as gene expression profiles) and connect this information with classical cellular descriptions location morphology). An open comprehensive reference map state cells...
The unique properties of DNA make it a fundamental building block in the fields supramolecular chemistry, nanotechnology, nano-circuits, molecular switches, devices, and computing. In our recently introduced autonomous automaton, molecules serve as input, output, software, hardware consists restriction ligation enzymes using ATP fuel. addition to information, stores energy, available on hybridization complementary strands or hydrolysis its phosphodiester backbone. Here we show that single...
What is the lineage relation among cells of an organism? The answer sought by developmental biology, immunology, stem cell research, brain and cancer yet complete trees have been reconstructed only for simple organisms such as Caenorhabditis elegans. We discovered that somatic mutations accumulated during normal development a higher organism implicitly encode its entire tree with very high precision. Our mathematical analysis known mutation rates in microsatellites (MSs) shows human embryo,...
Optimistic type systems for logic programs are considered. In such types conservative approximations to the success set of program predicates. The use describe is proposed. It argued that this approach unifies denotational and operational approaches descriptive simpler more natural than previous approaches. focus on unary-predicate types. A proper class identified, it shown expensive enough express several notions An analogy with two-way automata a correspondence alternating algorithms used...
The notion of program correctness with respect to an interpretation is defined for a class programming languages. Under this definition, if terminates incorrect output then it contains procedure. Algorithms detecting procedures are developed. These algorithms formalize what experienced programmers may know already.A logic implementation these described. Its performance suggests that the can be backbone debugging aids go far beyond offered by current environments.Applications algorithmic...
Select cellulolytic bacteria produce multi-enzymatic cellulosome complexes that bind to the plant cell wall and catalyze its efficient degradation. The multi-modular interconnecting cellulosomal subunits comprise dockerin-containing enzymes cohesively cohesin-containing scaffoldins. organization of modules into functional polypeptides is achieved by intermodular linkers different lengths composition, which provide flexibility complex determine overall architecture.Using a synthetic biology...
Fundamental aspects of embryonic and post-natal development, including maintenance the mammalian female germline, are largely unknown. Here we employ a retrospective, phylogenetic-based method for reconstructing cell lineage trees utilizing somatic mutations accumulated in microsatellites, to study germline dynamics mice. Reconstructed can be used estimate relationships between different types, as well depth (number divisions since zygote). We show that, reconstructed mouse trees, oocytes...