Back to Results
First PageMeta Content
Formal methods / Electronic design automation / Boolean algebra / Electronic design / Electronic engineering / Boolean satisfiability problem / Model checking / Solver / Automated theorem proving / Theoretical computer science / Mathematics / Applied mathematics


Curriculum Vitae Name: Eugene (Evgueni) Goldberg Citizenship:
Add to Reading List

Document Date: 2014-05-13 11:37:03

Open Document

File Size: 202,01 KB

Share Result on Facebook

City

Cincinnati / San Francisco / Moscow / Malaga / DSD2007 / Lubeck / Rotterdam / Guangzhou / Paris / Minsk / Portland / Haifa / Lubeck / Prague / Cambridge / Chicago / Dagstuhl / Calcutta / New Providence / /

Company

IBM / CNF / Semiconductor Research Corporation / Cadence Design Systems / Computer Sciences / Google / Cadence Research Labs / Sealy / Cadence Berkeley Labs / /

Continent

Europe / /

Country

Germany / Netherlands / Italy / United States / United Kingdom / China / Israel / Spain / India / Wales / /

/

Facility

Laboratory of Logic Design / Belarusian State University / T. Villa / Humboldt University / Northeastern University / College of Computer / University of California at Berkeley / Cory Hall / Laboratory of Automation / facility of Minsk / Hebrew University / /

IndustryTerm

eigold@ccs.neu.edu Web page / software/hardware / hardware/software / machinery / oil distribution control system / equivalence checking algorithm / search pruning techniques / main oil storage facility / systematic local search / formal verification tools / quantifier elimination algorithms / search space / /

Organization

Institution of Technical Cybernetics / University of California / National Science Foundation / Northeastern University / College of Computer / Politecnico di Torino / Humboldt University / Berlin / Orna Kupferman Office / Laboratory of Automation / Hebrew University / Jerusalem / School of Computer Science and Engineering / Laboratory of Automation of Scientific Research / College of Computer and Information Science / Belarusian Academy of Sciences / Belarusian State University / Luciano Lavagno Department of Electronics / Laboratory of Logic Design of Integrated Circuits / Robert Brayton Office / /

Person

Springer / Kanupriya Gulati / Robert Brayton / Pete Manolios / Robert Kurshan / Felice Balarin / Sunil P. Khatri / Eugene (Evgueni) Goldberg / Yakov Novikov / Rolf Drechsler / Dependency Sequents / Orna Kupferman / Luciano Lavagno / /

/

Position

Research Scientist / Researcher / Head of Formal Engines Group / Research Assistant Professor / /

ProvinceOrState

Ohio / Swansea / California / New Jersey / /

PublishedMedium

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems / Automation and Remote Control / Annals of Mathematics / Lecture Notes in Computer Science / /

Technology

Av / Integrated Circuits / cellular telephone / equivalence checking algorithm / simulation / CAD / quantifier elimination algorithms / /

URL

http /

SocialTag