英語 - 大学案内
|
|
Name |
|---|---|
| Mohamed Hamada | |
| Affiliation | |
| Software Engineering Laboratory | |
| Title | |
| Senior Associate Professor | |
| Degree | |
| Ph.D. in computer science from the university of Tsukuba, Japan | |
| URL | |
| http://www.u-aizu.ac.jp/~hamada/ |
Main Research Theme
Research interests include a study of the foundations of the operational semantics of functional and logic programming languages.