GROUP LINKS
 
About the Group

Members

Projects

Recent Publications

Software

Contact Us

 
   
   

OTHER LINKS
 

Software Technology Laboratory

School of
Computing

Queen's University

STL Laptop/Projector
Reservations

 

 
Members

eye from school of computing logo Juergen Dingel (Group Leader)
Associate Professor
purple line
Juergen Dingel Ph.D. Carnegie Mellon University, 1999.
contact information:
Goodwin Hall 723
(613) 533-3071
website: ~dingel

research interests: formal methods, software engineering, models of concurrent computation.

eye from school of computing logo  
purple line
   
 
 
 
eye from school of computing logo Ahmad Saifan
Ph.D. Candidate
purple line
Ahmad Saifan contact information:
Goodwin Hall 624
(613) 533-6000 ext. 78231 
website:

research interests: Model_Based Testing, Formal Methods, and Software Engineering.
eye from school of computing logo Chris Dragert
M.Sc. Student
purple line
Chris Dragert contact information:
Goodwin Hall 624
(613) 533-6000 ext. 78231
website:

research interests:

eye from school of computing logo Michelle Crane
Ph.D. Candidate
purple line
Michelle Crane contact information:
Goodwin Hall 624
(613) 533-6000 ext. 78231 
website: ~crane

research interests: UML 2, state machines/statecharts, formal semantics, light-weight formal methods, software engineering.

eye from school of computing logo Hongzhi Liang
Ph.D. Candidate
purple line
Hongzhi Liang contact information:
Goodwin Hall 624
(613) 533-6000 ext. 78231 
website: ~liang

research interests: modeling checking of software, model management, model transformation
   
   

 

 

SOFTWARE TECHNOLOGY LABORATORY WEBSITE
LAST UPDATED:September 13, 2007