When calling from outside the Technion, please dial 073-378-xxxx.
Formal verification of software and hardware, Model checking, Temporal Logic, Automata, Dynamical systems, Synthesis and Planning.
Operating systems, computer architecture, virtualization, memory management and security.
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.
Distributed and concurrent algorithms, both theory and practice, especially performance and correctness in asynchronous fault tolerant environments
Theoretical and algorithmic foundations of big data: sublinear time and streaming algorithms, beyond worst case analysis of algorithms, robustness and privacy, knowledge representation, complex networks
Cryptology and Cryptanalysis, Symmetric Cryptography, Quantum Cryptography and QuantumComputation.
3D acquisition and processing, deformable shape analysis and modelling, computer vision, machine learning, numerical geometry.
Computational Learning Theory.
Theory of computing, algorithms, distributed computing.
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.
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.
Computer vision: 3D scene understanding (detection, segmentation), neural fields (nerf, sdf), reconstruction and generative models (surface reconstruction, scene completion); data-driven simulation. AI/ML: Data efficient learning (self/semi-supervised, learning with noisy labels) , symmetric architectures (rotation/permutation equivariance).
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.
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.
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.
Algorithms, especially for massive evolving data, including online, dynamic and streaming algorithms
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.
Database systems, data management, data mining, data discovery and integration, causal inference, and responsible data management.
Correctness guarantees for deep learning via verification and synthesis
Biophysics, Computational Biology, Drug discovery, Ecology, Evolution, Gene Regulation, Genetics, Genomics, Microbiology, Systems Biology.
Computational Biology, Drug discovery, Gene Regulation, Structural Biology, Systems Biology, Computational Molecular Biology, Molecular recognition, Gene regulatory networks.
Mathematical problems arising from the field of computer science with an emphasis on combinatorial and geometric problems related to machine learning
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 Graphics and Archaeology.
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.
Image and Signal Processing, Image Analysis and Synthesis; Pattern Recognition; Applied Geometry; Robotics, especially Ant Robotics; Estimation Theory; Neural Coding.
Coding theory; Combinatorial algorithms and designs; Digital sequencesin coding and communication.
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-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.
Deterministic and Randomized Data Structures and Algorithms; Algorithms for secondary storage; Coropora Based Natural Language Processing; Computational Learning Theory; Distributed Computing.
Non-monotonic logic; Complexity of algebraic computations; Finite automata theory; Temporal logic.
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.
Image processing and Computer Vision, especially the statistical analysis of visual tasks.
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.
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.
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.
Bioinformatics; High performance computing; Programming languages; Compiler technology; Automated design of integrated circuits; Information organization and retrieval; Data integration; Algorithmic number theory.
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.
Distributed Control of Multi-Agent Systems.
Data Mining, Natural Language Processing, Information Retrieval, Knowledge Discovery, Machine Learning and Artificial Intelligence.
Computational biology and bioinformatics.
Artificial intelligence for Scientific and High-Performance Computing
Algorithmic game theory; Theory of computation; Optimization; Internet economics; Market design; Auctions.
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
Artificial intelligence for Scientific and High-Performance Computing
Deep Neural Network representation learning, Machine Learning, Computer Vision, Geometric Deep learning, Algorithms for efficient training and inference of Deep Neural Networks.
Functional analysis and partial differential equations.
Shimon Even was one of the pioneers of computer science in Israel. He helped establish two computer science departments, at the Technion and at the Weizmann institute. He specialized in the theory of algorithms, and is known for his textbooks in the area, Algorithmic Combinatorics and Graph Algorithms.
Prof. Ginzburg led the establishment of the Department of Computer Science at the Technion and is one of the pioneers anq d thinkers who turned the idea ofestablishing a science department into a new and exciting field and into a spectacular and groundbreaking reality.
...
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.
Software engineering; user interfaces; component oriented programming; internet programming; components with semantic interfaces; statistical estimation of the number of software faults
...
Prof. Abraham Lempel, an Israeli computer scientist considered one of the fathers of data compression and the man who changed the field of computer science.
...
...
...
...
...
Theory and Application of Petri Nets; Formal Verification of HardwareDesigns.