Desta “Mickey” tadesse        

Brown University

Education:

 

PhD Student: LEMS, Division of Engineering, Brown University, (Expected Graduation: 2009/10 )

-Advisor: Prof. Iris Bahar

B.A: Dual Degree in Computer Science and Physics (summa cum laude), Connecticut College (2004)

About me...

Course work:

Connecticut College:

(CS courses only)

CS111: Introduction to Programming

CS212: Data-structures

CS215: Digital Electronic Design

CS219: Computer Organization

CS303: Database Systems

CS304: Algorithms

CS310: Robotics

CS315: Networks

CS320: Advanced Programming Languages

(USCGA): Electrical Engineering I

 

Brown University:

EN160: Design and Implementation of VLSI

EN297/8: Timing Analysis tool design (Indp. study)

EN159: Intro to Semiconductor electronics

EN291-S09: Advanced Computer Architecture

EN253: Digital Signal Processing

EN291-S10: Nano-system Design

CS295-S06: Introduction to Nanocomputing

 

Publications and presentations:

Desta Tadesse, Michael Black, Iris Bahar, Joel Grodstein. Accurate Timing Analysis using SAT and Pattern-Dependent Delay Models. ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems (TAU), 2006.

 

Tom Ammirati, Michael Monce, Desta Tadesse, Peter Luthy. Absolute photon cross sections for Balmer lines from proton-SO₂ collisions.  Journal of Geophysical Research, Vol. 110, A04214, 2005.

 

Accurate SAT-based Timing Analysis: Theory and Implementation. Series of bi-monthly status reports to Intel CAD and verification engineers updating on the progress of my current research project and discussing potential problems and solutions, 2004 – 2006.

 

Tom Ammirati, Desta Tadesse, Michael Monce. Photon Emission Spectrum and Cross Sections of He⁺ + SO₂,, CAARI 2004, Denton, TX. (presentation)

 

Tom Ammirati, Michael Monce, Desta Tadesse. Absolute Photon Emission Cross Sections for Balmer Lines from Proton-SO2 Collisions, CAARI 2002, Denton, TX. (presentation)