Personal information
No personal information available
Activities
Employment (1)
2014
to
present
|
Professor
(Department of Computer Science)
Employment
Source:
Grigore Rosu
Education and qualifications (1)
1996
to
2000
|
Ph.D.
(Computer Science and Engineering Department)
Education
Source:
Grigore Rosu
Works (4)
The Journal of Logic and Algebraic Programming
2010-08
|
Journal article
Source:
Grigore Rosu
ACM SIGPLAN Notices
2007-10-21
|
Journal article
Source:
Grigore Rosu
Tools and Algorithms for the Construction and Analysis of Systems
2002
|
Book chapter
Source:
Grigore Rosu
Formal Aspects of Computing
2002-07
|
Journal article
Source:
Grigore Rosu