|
111/2
|
1
|
11/2
|
3
|
4
|
| M |
|
|
|
|
|
| T |
|
|
|
|
|
| W |
|
|
|
|
|
| H |
|
|
|
|
|
| F |
|
|
|
|
|
Office hours
M: 3:10-4:40pm
W: 11:30-1:00pm
CS449 Class
M/W: 1:30-3:05pm
-
PowerPC - An Overview of the PowerPC
Architecture.
prepared by Ali Alanjawi, Matthew Bell, Weiying Dai (November,2001).
-
Automated
Theorem
proving systems
Download Executables under Unix
Gandalf
Herby
Tgtp
|
|
 I
am a doctoral student in the department of computer
science at the University of
Pittsburgh . I had my B.Sc. degree in
mathematics from Kuwait University
in 1996, and a M.Sc. degree in Computer Science
from
the same institution in 2000. My main interest is in the field of
Artificial
Intelligence. Particularly I had experience dealing with medical expert
systems,
and automated theorem proving systems (MSc. Thesis). My
interest shifted currently towards the field of machine learning,
specifically,
in the application of Genetic Algorithms.
|
Office: 5404
Sennott Square
210 South Bouquet Street
University of Pittsburgh
Pittsburgh, PA 15260
Tel: 412-624-1185
|
Research
Teaching
Summer 2007
Teaching Fall 05
- CS1538 Introduction to Simulation
Teaching Fall 05
- Programming Languages for Web
Applications
CS1520
Teaching
Summer
05
- Algorithm Implementation CS1501
Teaching
Spring 05
- Programming Languages for Web
Applications
CS1520
Teaching Fall
05
- Data Structure CS445
- NLP CS2731
Teaching
Spring
04
- Simulation
CS1538
- Theory
of Computation CS1511
Teaching Fall
04
Teaching
Summer
03
- Formal
Methods in CS (cs1502)
Teaching
Spring 03
Teaching
Fall 02
Links
|
