Home Page
Dr. Bruce Kapron
last updated May 6, 1998
 
 
formalWARE 
    project  

  Participating 
     Organizations 
  Research   
     Topics 
  People 
   

formalWARE 
    results  

  Overview 
  Publications 
  Presentations 
  Tools   
  Methods 
  Examples   
  Training 

formalWARE  
  information  

  Events 
  Index  
  Links   
  Contacts

 Dr. Bruce Kapron has been an Assistant Professor in the Computer Science Department at the University of Victoria since 1992. In the preceding two years, he was a Visiting Scientist at Carnegie Mellon University. He received his Ph.D. in Computer Science in 1991 from the University of Toronto.  

Dr. Kapron's research deals with applications of mathematical logic to computer science. This research includes work in computational complexity (studying the efficiency of computation,) programming language theory (developing formal models of programming languages,) and concurrent systems (using logical systems to model, specify and verify systems.)  

In each of these areas, he has found that concepts and techniques from mathematical logic provide powerful tools which not only lead to a more rigorous understanding of problems in computer science, but also make possible the development of computer-assisted approaches to solving these problems. His work in the FormalWare project, along with that of his students D. Gurov and G. Kostadinov, involves the development of logical systems for the specification and verification of communicating systems for which the data values being communicated are an essential aspect.  
  

Recent Publications:

D. Gurov, S. Berezin and B.M. Kapron. "A modal mu-calculus and a proof system for value passing processes''. To appear in Electronic Notes in Theoretical Computer Science.  

B.M. Kapron. "Feasibly continuous type-two functionals''. To appear in computational complexity.  

B.M. Kapron and S.A. Cook. ``A new characterization of type-two feasibility''. SIAM J. on Computing 25 (1996) 117-132.  

J.Y. Halpern and B.M. Kapron. ``Zero-one laws in modal logic''. Annals of Pure and Applied Logic 69 (1994) 157-193.  
  

Further Information:

For more information on Kapron's research, see his home page at http://csr.uvic.ca/~bmkapron/profile.html. He can be reached by email at bmkapron@csr.uvic.ca. 

 

.