Austin / Paris / Pittsburgh / Belo Horizonte / Harrisonburg / San Jose / Charlottesville / Beaverton / New York / Ithaca / Cambridge / /
Company
Semiconductor Research Corporation / Computer Sciences / IBM T.J. / Research Colorado State University / Reactive Systems / L'Ecole National Superieure Des Telecommunications / Axiom Systems / Electrical Engineering / Model Checking Software / Cadence Berkeley Laboratories / Sun Computer Corporation CA. / Term Rewriting Systems / Intel Corporation / AT&T Bell Laboratories / Broadcom / Cyber-Physical Systems / Fuyan Zhang Marius Minea Daniel Kroenig Qinxiang / /
Country
France / Brazil / Greece / /
EntertainmentAwardEvent
HONORS / AWARDS / /
Event
Reorganization / /
Facility
Stanford University / Duke University / DePaul University / University of Crete / University of Massachusetts / University of Texas / University of California / University of Illinois at Chicago / University of Wisconsin / Harvard University / University of Virginia / Carnegie Mellon University / Vienna University of Technology / Georgia Institute of Technology / Courant Institute of Mathematical Sciences / New York University / Cornell University / University Scholar / Madison College / /
IndustryTerm
electronics industry / software correctness / software industries / symbolic algorithms / verification technology / software systems / /
Organization
New York University / Eta / Madison College / Chemical Engineering Department / University of Massachusetts / Amherst / University of Illinois at Chicago / DePaul University / Chicago / Computer Science Department / Cornell University / School of Computer Science / University of Virginia / Carnegie Mellon University Department of Computer Science / University of Crete / American Academy of Arts and Sciences / Carnegie Mellon University / Department of Electrical Engineering and Computer Sciences / Electrical and Computer Engineering Department / Division of Applied Sciences / Vienna University of Technology / Electrical and Computer Engineering OFFICE / University of Texas / Chinese Academy of Sciences / Harvard University / University of California / Berkeley / Department of Mathematics / FORE Systems University / Duke University / Durham / Association for Computing Machinery / Colorado State University / National Academy of Engineering / Georgia Institute of Technology / Stanford University / University of Wisconsin / Madison / Universidade Federal de Minas Gerais / IEEE Computer Society / Courant Institute of Mathematical Sciences / /
Person
Orna Grumberg Qiusong Yang Fuyan / Allan Fisher / Wang Cory Bevilaqua / Michael Wang Paolo Zuliani Silke Wagner Axel / Allen Newell / Sanjit Seshia / Shuvendu Lahiri / Murray Hill / Himanshu Jain / James Kapinski Constantinos Bartzis Tamir / Daniel Kroenig Qinxiang Cao Zhengwei / Anneliese K. von Mayrhauser / H. Kwon P. Williams / Alexandre Donze Azadeh Farzan / E. Allen Emerson / Edmund M. Clarke / Helmut Veith Armin Biere / Bruce Krogh / P. Vidal O. Grumberg / D. Beatty / Joseph Sifakis / M. Velev / Kwang Kuen Yi Lei Bu / Karen Yorav Ofer Strichman / Haifeng Zhu Alaexandar Nanevski Prasanna Thati / Y. Chen W. Windsteiger / Bing Sicun Gao Fuyuan Zhang / Randy Bryant / Allen Emerson / Lei Bu Alexandre Donze Azadeh / Lei Bu Ingo Feinerer / Daniel Kroening Karen Yorav Ofer / Daniel Milam Prasanna Thati Ansgar / S. Older / Micheal Theobald Joel Ouaknine Tayssir / A. Chen / Kenneth McMillan / Tamir Heyman Haifeng Zhu Alaexandar / J. Dingel / Silke Wagner Axel Legay Kwang / S. Shankar Y. Zhu / A. Chutinan / Y. Zhu D. Deharbe / Yang Fuyan Zhang Marius Minea / M. Kaltenbach / Alex Groce / B. Wang A. Platzer / A. Jain / F. Wang G.H. Kwon / Samir Sapra Qinsi Wang Cory / K. Stirewalt / Gregory Abowd / Axel Legay Kwang Kuen Yi / Marcos Oliveira / Zhengwei Qi Fei / Daniel Kroening / Pankaj Kumar Chauhan / Marius Minea Daniel Kroenig Qinxiang / S. Probst / Bruce W. Ballard / A. Gupta / Joel Ouaknine Tayssir Touili Daniel / Turk / Carl Seger / Karen Yorav / /
Position
Advisor / Manager / Multi-systems Resource Management group / Professor / Professor of Computer Science / Professor of Computer Science and Professor / Associate Professor / Thesis Advisor / Scientist / Assistant vice President / Research Assistant / Editor-In-Chief / Robert Constable / Assistant Professor / Cao / /
ProgrammingLanguage
Mathematica / Lisp / C / /
ProvinceOrState
Virginia / New York / California / Georgia / Texas / Wisconsin / Illinois / Pennsylvania / Massachusetts / /
PublishedMedium
Elsevier / IEEE TRANSACTIONS ON SOFTWARE ENGINEERING / /
SportsEvent
U.S. PATENT TITLE / /
SportsLeague
Stanford University / /
Technology
Security Protocols / Process Control / verification technology / /
[removed]CURRICULUM VITAE