Sen, Alper

Biography:

Alper Sen completed his Ph.D. in Electrical and Computer Engineering at The University of Texas at Austin. He received B.S. and M.S. in Electrical and Electronics Engineering from the Middle East Technical University, Ankara, Turkey. He is currently a researcher in the Tools and Methodologies group at Freescale Semiconductor Inc., Austin.

Research Interests:
His current research focuses on Formal Methods, Runtime Verification, Formal Verification of Hardware and Software, Automated Software Engineering, Computer-Aided Design, System Level Verification, and Concurrent and Distributed Computing.