Dr. Shachar Itzhaky
Senior Lecturer
Research Interests:
- Software synthesis
- Super-level programming and automatic programming
- Functional programming languages
- Formal proof with computer help
Phone:04-829-4915
Office:703
E-mail:
Website:
A/Prof. Yakir Vizel
Research Interests:
- Formal verification of hardware and software
- SAT / SMT algorithms
- Abstraction methods
- Security features verification
- Integrated hardware-software system validation
- Use of learning for automatic verification
Phone:04-829-4357
Office:627
E-mail:
Website:
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:
Website:
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:
Website:
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:
Website:
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:
Website:
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:
Website:
