BU | CMPE

Bogazici University

 

Alper Şen

Site menu:

|  |  Research||Opportunities || PublicationsTeachingProfessionalContact | | 

 

 


Teaching

Bogazici University:
  • CMPE 58S: Computer Aided Verification (Fall 2009)
  • CMPE 49E: Concurrent and Distributed Systems (Fall 2009)
  • CMPE 491: Project In Computer Engineering (Fall 2009)
  • CMPE 240: Digital Systems (Spring 2009)
  • CMPE 58Q: Formal Verification of Hardware and Software Systems (Spring 2009)
  • CMPE 492: Engineering Project
The University of Texas at Austin:
  • EE360P: Concurrent and Distributed Systems (Spring 2008)


Email Alper Sen.