Research and Instructional Interests
- Artificial Intelligence
- Logic
- Computer Aided Instruction
- Programming Languages
|
|
 |
Background Education
| 1977 - |
Ph.D., Computer & Information Sciences, University of Pennsylvania |
| 1974 - |
M.S., Computer & Information Sciences, University of Pennsylvania |
| 1973 - |
B.S., Computer Science and Engineering, University of Pennsylvania |
|
 |
Professional Experience
| 1985 - present |
| |
Associate Professor, School of Computer Science, Florida International University, Miami, FL 33199 |
| 1979 - 1985 |
| |
Assistant Professor, Computer Sciences, Temple University |
| 1978 - 1979 |
| |
Visiting Assistant Professor, Computer Sciences, Temple University |
| 1977 - 1978 |
| |
Instructor, Computer Sciences, Temple University |
| 1977 |
| |
Consultant, the Automatic Program Generation Project, University of Pennsylvania |
|
 |
Professional Services
- Chairs
- Chairman of the Tutorial Committee for FLAIRS 1991 Conference
- Co-chairman of the Tutorial Committee for FLAIRS 1990 Conference.
- Co-chairman of the Publicity Committee for the PARBASE-90 conference.
- Member
- 1988-present: Member of the Executive Committee of the Florida Artificial Intelligence Research Society (FLAIRS) .
- Member in the program committee for the for The Seventh IEEE Conference on Artificial intelligence Applications (CAIA) to be held in Miami Beach, in February 1991
- Member of the panel on Artificial Intelligence in the computer science curriculum at Florida universities at the FLAIRS 88 conference.
- Member, Ph. D. Examination Committee for William Dowling and Madjid Naini.
- Member, Ph. D. Examination Committee for Margaret Christensen.
- Member of the Program Committee for THE 1984 ACM National Computer Science Conference.
- Referee
- Referee for CAIA 91.
- Referee for the the book Advances in Artificial Intelligence, Vol. III.
- Referee for Advances in Artificial Intelligence Research, Vol. 1, which appeared in 1989.
- Reviewer
- Reviewer for Various Manuscripts.
- Reviewer for Tenure Applications
- Reviewer for RAIRO Theoretical Informatics a theoretical computer science journal.
- Judge for THE 1989 ACM Programming; Competition for the South-East Region which took place in November 1989.
|
|
 |
Selected Publications
(or see the Full Listings)
- A. Pelin: "Exact Computation Sequences," to appear in Congressus Numerantium , 1990.
- A. Pelin and R. Ege: "Transforming Data Type Specifications into Programs," Advances in Artificial Intelligence , Vol. 1, Jai Press, 1989, pp. 361-383.
- A. Pelin and W. Kraynek :"The Knuth-Bendix Algorithm in Parallel Architecture," Proceedings of IEEE Southeast Con " 89 , April 1989, pp. 645-648.
- R. Ege and A. Pelin: "Type Abstractions for Expert Systems," Proceedings of The 4th International Conference on System Research, Informatics and Cybernetics , 1989.
- M. Weiss, R. Sedgewick, E. Hentschel, and A. Pelin: "Shellsort and The Frobenius Problem," Congressus Numerantium , Vol. 65, December 1988, pp. 253-260.
- A. Pelin : "Computing with Conditional Rewrite Rules," Springer-Verlag Lecture Notes On Computer Science, Vol. 308, December 1988, pp. 197-211.
|
|
| |