Lawyer Overview

Michael Halas is a senior technology specialist in the firm's Intellectual Property Department. He joined the firm in 2005. Mr. Halas' practice focuses on intellectual property matters concerning electrical engineering and computer science related technologies. 

Practice

Prior to joining the firm, Mr. Halas worked in the Systems and Technology group at IBM, where he designed simulation environments for the logic verification of IBM z/Series processors.  This included environments for components such as the level-one cache, the level-two cache, the main storage controller, the translation-look-aside buffer, the execution unit, and self timed I/O interfaces. 

In 2004, Mr. Halas traveled to Barcelona, Spain, to present a paper he co-authored on compiler design at the Synchronous Languages, Applications, and Programming Workshop, which is part of the European Joint Conferences on Theory and Practice of Software (ETAPS). He has also co-authored a paper in the IBM Journal of Research and Development related to his verification work on the z990 microprocessor complex.

As a senior at Rutgers University, Mr. Halas held a full-time co-op position with Compaq Computer, designing new software for the Tru64 UNIX clustering environment. As an undergraduate, he also worked for Rutgers University Computing Services designing software to automate the creation of WebPages.

Publications

• D. G. Bair, S. M. German, W. D. Wollyung, E. J. Kaminski, Jr., J. Schafer, M. P. Mullen, W. J. Lewis, R. Wisniewski, J. Walter, S. Mittermaier, V. Vokhshoori, R. J. Adkins, M. Halas, T. Ruane, and U. Hahn, "Functional verification of the z990 superscalar, multibook microprocessor complex, " IBM Journal of Research and Development 48, no. 3/4 (2004).
• Stephen A. Edwards, Vimal Kapadia, and Michael Halas, "Compiling Esterel into Static Discrete-Event Code," presented at the Synchronous Languages, Applications, and Programming Workshop (SLAP), Barcelona, Spain, March 28, 2004.

Community Involvement

Mr. Halas has participated in National Engineers Week, a program with IBM that teaches elementary school students about engineering and encourages interest in science and engineering.

Areas of Practice

• Intellectual Property
• Information Technology
• Software

Education

• Fordham University
  JD Candidate
• Rutgers University, 2001
  BS, Electrical and Computer Engineering
  Honors: magna cum laude
• Columbia University

Published Works

• Compiling Esterel into Static Discrete-Event Code, 2004
• Functional verification of the z990 superscalar, multibook microprocessor complex, 2004

Address

399 Park Avenue
New York, NY 10022

Phones

+ 1 212 295 6342 (Business Phone)

Faxes

+1 212 230 8888 (Business Fax)

Emails

Contact Us (Business Email)

Websites

www.wilmerhale.com