Kamen Kanev

Learn More
Tabletop computers (also known as surface computers and smart tables) have been growing in popularity for the past decade and are poised to make inroads into the consumer market, opening up a new market for the games industry. But before tabletop computers become widely accepted, there are many questions with respect to sound production and reception for(More)
This article presents an educational framework, designed to support knowledge acquisition and skills development pertinent to program validation and in particular to formal methods for verification of object-oriented programs. The framework is intended to span from undergraduate classes, for junior and sophomore students, up to advanced classes, for(More)
Interprofessional critical care training (ICCT) is an important activity that helps develop and formalize an understanding of the roles, expertise, and unique contributions attributed to members of multidisciplinary teams in critical situations. Such training is of particular importance for teams that operate under tight time constraints in highly stressful(More)