|
PUBLICATIONS
|
 |
Bibliographies
|
|
0
|
|
|
Book chapters
|
|
0
|
|
|
Book reviews
|
|
0
|
|
|
Books
|
|
0
|
|
|
Books, edited
|
|
0
|
|
|
Conf. papers
|
|
0
|
|
|
Conf. presentations
|
|
0
|
|
|
Conferences
|
|
0
|
|
|
Discussion groups
|
|
0
|
|
|
Grants
|
|
0
|
|
|
Journal articles
|
|
0
|
|
|
Periodicals/series
|
|
0
|
|
|
Proceedings
|
|
0
|
|
|
Proceedings, papers
|
|
0
|
|
|
Reports
|
|
0
|
|
|
Special issues
|
|
0
|
|
|
Theses
|
|
0
|
|
|
Treaties
|
|
0
|
|
|
Working papers
|
|
0
|
|
|
|
STATISTICS
|
|
Citation Rank
|
|
|
|
|
Total Citations
|
|
0 |
|
|
Publications
|
|
0 |
|
|
Rank
|
|
325014 |
|
|
Viewers
|
|
3 |
|
|
Views
|
|
708 |
|
|
|
|
|
Dr. Piotr Rudnicki
(b. ----,
d. ----)
|
( Prev | Next )
|
|
|
|
|
POSITION(S) / JOB TITLE(S):
|
|
Professor |
|
|
I am interested in formal specification and verification at all levels of software development. Formal software specification can be practically successful if it is done in an environment that designers are willing to use and that permits mechanical consistency checks. It means that to be general enough, the specification system must be based on a formalization of mathematics that can be subjected to computer correctness checking.
Since 1973, I have been involved in the Mizar project which aims at developing a computerized proof assistant. The motivation for doing my research has been strengthened recently with the declaration of the QED project, a project to build a computer system that effectively represents all important mathematical knowledge and techniques. Mizar can be considered as a very modest trial run for QED. The main current effort in Mizar is the development of the Mizar Mathematical Library.
I believe that any progress in software development depends on a good grasp of logic and mathematics by software engineers. For this reason, we have designed a computer assisted system for teaching elementary logic and we have been using it for years in our undergraduate program.
|
|
|
Professor |
|
Computing Science |
|
University of Alberta |
|
|
Only Visible to Members of getCITED
|
|
|
Doctorate
(1979)
|
|
|
Unknown
|
|
|
Male / English
|
|
|
Unknown |
|
|
1107-2064
(Last changed on
2003/04/27 21:20:17)
|
|
|
|
|
|
|