I work for Tools and Methodology group at Freescale Semiconductor Inc. (formerly Motorola SPS), Austin, TX. I am also an Adjunct Assistant Professor at The Unviersity of Texas at Austin.

I received my Ph.D. in Computer Engineering area at Electrical and Computer Engineering Department of  The University of Texas at Austin and my B.S. and M.S. in Electrical and Electronics Engineering from the Middle East Technical University, Ankara, Turkey. I completed my Ph.D dissertation on Techniques for Formal Verification of Concurrent and Distributed Program Traces under the supervision of Prof. Vijay K. Garg . I was a member of Parallel and Distributed Systems Laboratory.

Research Interests:

  • Formal Methods, Runtime Verification, Formal Verification of Hardware and Software, Automated Software Engineering, Computer-Aided Design, System Level Verification, and Concurrent and Distributed Computing.

Professional Activities:

  • Program Committee member of International Conference on Distributed Computing and Networking ICDCN 2009.
  • Program Committee member of International Conference on Formal Methods in Computer-Aided Design FMCAD 2008.
  • Organizing Committee member of International Conference on Formal Methods in Computer-Aided Design FMCAD 2007.
  • Verification Session Chair of Semiconductor Research Corporation TECHCON 2007.
  • Organizing Committee and Program Committee member of International Workshop on Microprocessor Test and Verification MTV 2005, MTV 2006, MTV 2007.
  • Invited speaker at Workshop on Verification and Debugging V&D 2006.
  • Verification Technical Advisory Board member in Semiconductor Research Corporation SRC.

Teaching:

Concurrent and Distributed Systems, Electrical and Computer Engineering Department, The University of Texas at Austin

Tools:

A tool for runtime verification of hardware and software programs.

Contact:

Email: alper DOT sen AT gmail DOT com
Alper Sen