People

 
Professor Eran Yahav
Photo of Professor Eran Yahav
Head of SSDL
Research Interests:
  • Program analysis
  • Abstract interpretation
  • Program verification
  • Program synthesis
  • Concurrent and distributed systems
  • Programming languages
  • Software engineering
Phone:04-8294318
Office:734
E-mail: yahave@cs.technion.ac.il
Website: Professor Eran Yahav website
 
Prof. Yossi Gil
Photo of Prof. Yossi Gil
Previous Head
Research Interests:
  • Aspects related to the object-oriented paradigm
  • Programming languages and parsing
Phone:04-8294333
Office:520
E-mail: yogi@cs.technion.ac.il
Website: Prof. Yossi Gil website
 
Prof. Oded Shmueli
Photo of Prof. Oded Shmueli
Research Interests:
  • Theoretical aspects of query processing in relational databases
  • XML databases and logic based databases (Datalog)
  • Physical storage, concurrency control, recovery, replication and distribution
  • Querying the WWW
  • Electronic Commerce
  • Automated Negotiation
Phone:04-8294280
Office:716
E-mail: oshmu@cs.technion.ac.il
Website: Prof. Oded Shmueli website
 
Prof. Orna Grumberg
Photo of Prof. Orna Grumberg
Research Interests:
  • 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
Phone:04-8294327
Office:620
E-mail: orna@cs.technion.ac.il
Website: Prof. Orna Grumberg website
 
Prof. Ron Pinter
Photo of Prof. Ron Pinter
Research Interests:
  • Bioinformatics
  • High performance computing
  • Programming languages
  • Compiler technology
  • Automated design of integrated circuits
  • Information organization and retrieval
  • Data integration
Phone:04-8294955
Office:705
E-mail: pinter@cs.technion.ac.il
Website: Prof. Ron Pinter website
 
Prof. (Ret.) Shmuel Katz
Photo of Prof. (Ret.) Shmuel Katz
Research Interests:
  • Program verification
  • Formal specification methods
  • Aspect-oriented software development
  • Distributed systems
  • Programming methodology
  • Temporal logic
  • Partial orders
  • Programming languages
  • Software engineering
Phone:04-8294322
Office:635
E-mail: katz@cs.technion.ac.il
Website: Prof. (Ret.) Shmuel Katz website
 
Prof. (Ret.) Eliezer Kantorowitz
Photo of Prof. (Ret.) Eliezer Kantorowitz
Research Interests:
  • Software engineering
  • User interfaces
  • Component oriented programming
  • Internet programming
  • Components with semantic interfaces
  • Statistical estimation of the number of software faults
Phone:04-8294321
Office:624
E-mail: kantor@cs.technion.ac.il
Website: Prof. (Ret.) Eliezer Kantorowitz website
 
Itai Dabran
Photo of Itai Dabran
Chief Engineer
Research Interests:
  • Internet of Things, Structures and Applications
  • Architectures and protocols for computer networks
  • TCP and IP Protocols
  • Wireless Networks
  • Sensor Networks
  • Web Caching
Phone:04-8292980
Office:236/1
E-mail: idabran@cs.technion.ac.il
Website: Itai Dabran website
 
Adi Hofman
Photo of Adi Hofman
Administrative Assistant
Phone:04-8291530
Office:546
E-mail: adihofman@cs.technion.ac.il
 
Tom Palny
Photo of Tom Palny
System Administrator
Phone:04-8294334
Office:421