When calling from outside the Technion, please dial 077-887-xxxx.
Formal verification of software and hardware, Model checking, Temporal Logic, Automata, Dynamical systems, Synthesis and Planning.
Distributed computation and theoretical computer science; in particular:Fault-tolerance; Timing-based and asynchronous algorithms.
Discrete and computational geometry; geometric computing; combinatorics;computer-aided geometric design; computer graphics and visualization.
Natural language processing; machine learning for language understanding and generation; neural network representations; interpretability and robustness of machine learning models.
Shape analysis and understanding, 3D geometry processing, deformation and animation, fluid simulation on surfaces, vector field analysis and design, numerical algorithms for geometric data, computer graphics.
Cryptology and Cryptanalysis, Symmetric Cryptography, Quantum Cryptography and QuantumComputation.
3D acquisition and processing, deformable shape analysis and modelling, computer vision, machine learning, numerical geometry.
Image and Signal Processing, Image Analysis and Synthesis; Pattern Recognition; Applied Geometry; Robotics, especially Ant Robotics; Estimation Theory; Neural Coding.
Computational Learning Theory.
Distributed Computing, especially Probabilistic Algorithms and Lower Bounds, and Theory of Computing in General.
Architectures and protocols for computer networks: the Internet, wireless networks, cellular networks, broadband access networks, sensor networks,routing protocols, multicast, MAC protocols, and Transport protocols.
Machine learning and data mining, Online algorithms and competitive analysis, Computational finance
Mathematical, algorithmic, and numerical methods in signal and image processing and in deep learningerical methods in image processing.
Computer aided geometric design; Computer graphics.
Computer Architecture, Computer Systems and Parallel Processing, HW/SW Interoperability, Operating Systems, Parallel Programming Models, High-Performance Computing.
Coding theory; Combinatorial algorithms and designs; Digital sequencesin coding and communication.
Computational complexity, Proof complexity, Analysis of Boolean Functions, Combinatorics.
Efficiency of calculations: Especially property testing, statisticaldeductions, and probabilistically checkable proofs; Combinatorics:Especially graph theory, regularity theorems in combinatorialstructures, and applications to algorithms; Logic in Computer Science:Logical characterization of properties for which there exist efficientalgorithms or desirable combinatorial aspects.
Distributed Systems; Group Communication; Middleware; Wireless Ad-Hoc Networks; High-Availability and Fault-Tolerance;Clustering; Scalable Dynamic (P2P) Systems.
Probabilistic networks, Bayesian learning, Computational Genetics.
Software engineering, in particular: aspects related to the object-oriented paradigm, programming languages and parsing.
Cryptography, Complexity theory.
Software synthesis; High-level and automated programming; Functional programming languages; Formal proof assistants.
Multi-agent AI, multi-robot systems, automated design of AI systems, sequential decision making under uncertainty, reinforcement learning and automated planning.
Database systems and theory, information extraction, information retrieval, data mining, probabilistic and inconsistent databases
Image processing, Computer vision, Medical image analysis, Computer graphics, Differential geometry, Scientific computing.
Cryptography; Machine learning; Computational complexity and Communication complexity; Randomized distributed protocols.
Image processing and Computer Vision, especially the statistical analysis of visual tasks.
Artificial Intelligence, Machine Learning, Natural Language Semantics, Feature Generation, Speedup Learning, Anytime Learning, Active Learning, Selective Learning, Information retrieval, Multi-agent Systems, Adversary search, Opponent Modeling, Search, Resource-bounded reasoning, Anytime Learning, Cost-sensitive Learning.
Theoretical Quantum Information Processing (Computing, Cryptography, Information, Communication); Implementation (Hardware) of Quantum Information Processing; Modern Cryptology.
General: Theory of algorithms and applications; Randomness andcomputation. Specific: Approximation and on-line algorithms;Combinatorial optimization; Randomized algorithms; Communicationnetworks; Parallel computation.
Interaction models for program synthesis, software developer workflows, programming languages, software engineering, human-computer interaction.
Concurrent Algorithms: theory and practice; Memory Management (in particular for modern parallel architectures); Operating Systems, Programming Languages.
Bioinformatics; High performance computing; Programming languages; Compiler technology; Automated design of integrated circuits; Information organization and retrieval; Data integration; Algorithmic number theory.
Theory and applications of management related problems in IP networks.Active Networks, network location problems, theory of networkmanagement, QoS routing, wireless networks, and other optimization problems.
Robot Vision; Robot Navigation; Motion Planning; Visual Servoing; Active Vision; Object Recognition; Artificial Intelligence; Image Understanding, Image Processing; Image Databases.
Data science and machine learning; reproducibility, reliability, and fairness in modern machine learning; data-driven inference; deep neural representations; computational imaging.
Behavioral machine learning; Learning with humans in the loop; Machine learning for decision support; Learning with the presence of human actors; Social and behavioral modeling; Societal implications of using predictive methodologies.
Error-correcting codes; Coding for magnetic and optical recording; Application of coding theory to complexity; Information theory; Digital communication.
Cryptography and Computational Complexity.
Blockchain, Computer Networks, Algorithms.
Robotics, Algorithmic motion planning, Foundations of robotic planning, Computational challenges in robotics.
Parallel and Distributed Computing; Peer-to-Pear Computing Large ScaleData Mining; Scalable Model Checking; High-Performance ComputerArchitecture; Shared Memory Consistency Models; Java Memory Model; FaultTolerance; Distribute Shared Memory; Non-Stop Systems.
Design and analysis of algorithms, combinatorial optimization, approximation algorithms, the geometry of metric spaces and its applications, submodular optimization, and randomized algorithms.
Design and analysis of algorithms for combinatorial optimization problems, in particular, algorithms for packing, scheduling and resource allocation problems arising in Information and Communication services; parameterized algorithms and their usage in approximation; randomized algorithms; parallel computation.
Bioinformatics/Systems-Biology; biological-network analysis: constraint-based modeling of metabolic networks; protein-interaction network analysis.
Algorithmic game theory; Theory of computation; Optimization; Internet economics; Market design; Auctions.
Operating systems, computer architecture, virtualization, networking, storage, and security.
Formal verification of hardware and software systems; Model Checking; SAT/SMT solving; Abstraction techniques; Security Verification; Hardware-Software Co-Verification; Machine learning for verification.
Information and coding theory with applications to non-volatile memories, associative memories, data storage and retrieval, and voting theory.
Operating systems, file systems, storage systems and devices, large scale data centers, cache management and content distribution, codes for storage systems.
Program analysis, abstract interpretation, program verification, program synthesis, concurrent and distributed systems, programming languages, and software engineering.
Multigrid computational methods; scientific computing; computational physics; geophysical fluid dynamics; image processing and analysis; numerical analysis.
Computational immunology analyses using single-cell RNA-sequencing data; applying machine-learning techniques on electronic health records (EHR) to improve patients flow and disease outcomes.
Biophysics, Computational Biology, Drug discovery, Ecology, Evolution, Gene Regulation, Genetics, Genomics, Microbiology, Systems Biology.
Distributed and multi-agent systems, The theory of knowledge in a distributed environment, Theoretical computer science, Algorithms, Formal methods, Computer Networks, Computer Systems.
Operating Systems, Compute and I/O Accelerators (SmartNICs, computational storage, programmable switches), in-network computing, Computer security and Hardware-supported Trusted Execution Environments, unconventional computing algorithms based on neural networks.
Computer Architecture - heterogeneous systems, system-on-a-chip, power management, faulttolerance, GPGPU; Operating Systems - for system-on-chip and hetero-geneous systems; RealTime systems - WCET for single processor and multi-processors, operating system, mixcriticality power management for RT systems.
Biosystems & Computational Biology (BIO), Operating Systems & Networking (OSNT), Theory (THY).
Artificial intelligence, Probabilistic and causal reasoning, Philosophy and history of science.
Combinatorial optimization: Graph algorithms; Scheduling algorithms, Computational geometry.
Primary: Formal semantics of natural language; Type-logical grammar; Computational linguistics;λ-calculus and proof theory.
Secondary: Semantics of programming languages; Program verification; Concurrent and distributed programming; Logic programming.
Computer Graphics, Geometry Processing, Computational Geometry.
Computer-aided verification of software and hardware; Model checking; formal verification; Temporal logics; Modularity; Abstraction; Distributed model checking, SAT-based model checking, games, 3-valued logics.
Specification and Control of Discrete-Event and Hybrid Systems;Systems and Control Theory; Robotics; Optimization Theory.
Non-monotonic logic; Complexity of algebraic computations; Finite automata theory; Temporal logic.
Software engineering; user interfaces; component oriented programming; internet programming; components with semantic interfaces; statistical estimation of the number of software faults
Program verification; Formal specification methods; Aspect-oriented software development; Distributed systems; Programming methodology; Temporal logic; Partial orders; Programming languages; Software engineering.
Failure-Tolerant design, testing and fault diagnosis of digitalsystems; Switching and finite-automata theory; Reliabilty.
Application of discrete mathematics to problems in computer science and information theory; Imaging and compression technology.
Interconnection Networks; Parallel Computation on Fixed Connection Networks;Systolic Systems; Layout of Networks; Digital Systems, VLSI.
Logic and Complexity; Complexity over the Reals; Algebraic Combinatorics.
Algorithmic aspects of bioinformatics (with emphasis on phylogenetics); combinatorics and graph theory.
Theory of automata, deterministic and probabilistic; Theory of algorithms and integer algorithms; Theory of Bayes networks and Theory of Graphoids.
Database Systems: Theoretical aspects of query processing in relational databases, XML databases and logic based databases (Datalog); System issues: Physical storage, concurrency control, recovery, replication and distribution; Querying the WWW; Electronic Commerce; Automated Negotiation.
Theory and application of scalar and vector extrapolation methods; Numerical Integration; Numerical Linear Algebra; Numerical Solution of Integral Equations; Padé and other related rational approximations.
Simulations of Rotating Fluids (incompressible, compressible,two-phase, liquid metals); Two-Phase Flows; Gravity Currents;Computational Fluid Dynamics, Implementation of ParallelComputers, Numerical Methods.
Theory of Distributed Computing; ATM and Optical Networks; Combinatorial and Graph Algorithms; Combinatorics and Graph Theory; Discrete Mathematics.
Graph Algorithms; Cryptography; Interconnection Networks; Circuit Layout
Multiresolution analysis; Signal and image processing; Acoustic and electro-magnetic scattering; Numerical solution of differential and integral equations; Parallel and distributed super-computing; Hybrid analytical/numerical approximations; Computational and geophysical fluid dynamics; Semi-conductor device simulation.
Theory and Application of Petri Nets; Formal Verification of HardwareDesigns.
Natural Language Processing, Machine Translation, Information Retrieval, Processing of Hebrew in all levels (phonology, morphology, syntax, semantics), Speech Recognition.
Data Mining, Natural Language Processing, Information Retrieval, Knowledge Discovery, Machine Learning and Artificial Intelligence.
Network Security, Traffic Engineering, QoS Routing
Intenet of Things, Architectures and protocols for computer networks, TCP, IP, Wireless Networks, Sensor Networks, Web Caching, The Internet of Things", Smart Home, Smart Cities.
Network Security, Traffic Engineering, QoS Routing
Resourse-as-a-Service cloud computing, game theory, resource allocation, user behavior.
Theory of computation, theory of algorithms, computational complexity, combinatorial optimization, computational metric geometry.