Schloß Dagstuhl / St. Francisco / San Francisco / Cluj-Napoca / Dresden / Paphos / Paris / Iowa City / Bratislava / Philadelphia / Skagen / Pittsburgh / Cluj / Amsterdam / Vienna / Grenoble / Aalborg / Varenna / Dijon / Urbana / Pasadena / New York / Pisa / Newport Beach / Venice / Turku / Hamilton / Berlin / Crete / Reykjavik / Iasi / Beijing / Aachen / St. Luis / Bertinoro / Lisbon / Schloss Ringberg / Interests Model / Verification / Chicago / Dagstuhl / Limerick / Libon / /
Company
Excitable Cell Networks / Distributed Systems / Computer Sciences / Dynamic Dataflow Networks / Joined Electro-Optical Sciences Inc. / Algebraic Methodology And Software Technology / Survivable SoftwareSurvivable Software / Hybrid Systems / Software Technology / A. Liu S.A. / Joined Reuters Inc. / Biocomputational Systems / Joined Intel Inc. / Embedded Systems / Time-Invariant Linear Systems / High-Confidence System Software / Software Co / International Journal / Real-Time Systems / Cyber-Physical Systems / /
Country
Netherlands / Cyprus / Norway / France / Iceland / Canada / Portugal / Slovakia / Malta / Finland / Denmark / Germany / Romania / Italy / Austria / United States / Greece / Ireland / /
Currency
USD / EUR / / /
Event
FDA Phase / /
Facility
Informatics Vienna University of Technology Treitlestraße / Technical University / University of Utah / University Park Holiday Inn Fort Collins / University of California at Berkeley / University of Konstanz / Stony Brook University / University of Camerino / Library Committee / Electronic Computing Center of Cluj / State University of New York Research Foundation Promising Inventor Award / Wayne State University / Joined University of Camerino / Boston University / Vienna University of Technology / Technical University of Eindhoven / University of Freiburg / Technical University of Cluj / Curriculum Vitae1 Radu Grosu Address Institute / University of Pennsylvania / /
IndustryTerm
dynamic systems / /
Organization
University of California / Department of Computer and Information Science / National Research Foundation of South Africa / Research Council of Norway / Stony Brook University / Technical University of Cluj / North Atlantic Treaty Organization / University of Utah / Deutscher Hochschulverband / University of Camerino / Joined University of Camerino / Air Force office of Scientific Research / Faculty Recruiting Committee / School of Computing / University of New York Research Foundation Promising Inventor / Mathematical Foundation of Computer Science / European Union / Boston University / Undergraduate Recruiting Committee / Vienna University of Technology / Winter School on Verification / International Federation for Information Processing / CS Faculty / University of Freiburg / Faculty of Informatics / International Federation for Information Processing WG / Foundation of Software Technology / Technical University of Eindhoven / National Science Foundation / Information Systems Program Committee / University of Pennsylvania / MIT / Cornell / Informatics Vienna University of Technology Treitlestraße / Center for Information and Systems Engineering Seminar / Wayne State University / Library Committee / Australian Research Council / Technical University of M¨ / State University of New York / Graduate Admission Committee / Department of Computer Science / University of Konstanz / European Association for Computer Science Logic / National Aeronautics and Space Administration / Electronic Computing Center of Cluj / IEEE Computer Society / Formal Foundation / Curriculum Vitae1 Radu Grosu Address Institute of Computer Engineering / /
Person
Ariful Islam / Xiaowan Huang / Ye Pei / Ping Yang / Stephan Breutel / Andrea Krause / Oliviero Riganelli / Vaishali R. Wani / Bow-Yaw Wang / Mike True / Delia Paval / Michell Baeten / Sean Callanan / Andrei Ershov / Ezio Bartocci / Justin Syester / S.A. Smolka / Pei Ye / P. Lewis / I.V. Ramakrishnan / Jaspreet Singh / Abhishek Murthy / S. Stoller / G. Stefanescu / Ziyang Duan / Christian Stieber / M. Broy / Beata Sarna-Starosta / Jyoti Wagholikar / Robert Pokorny / Tobias Mayr / Leena Unnikrishnan / Wai Chong / R. Grosu / M. Wirsing / Shiyong Lu / Jing Zhang / Robert Schmohl / Zhichao Li / Zhiping Qiu / Sumit Jain / S. Smolka / Rahul Agarwal / / /
Position
Model Checking / Advisor / System Engineer / Research Associate / Tenure-track Assistant Professor / Professor / Professional Activities Program co-chair / Head of Dependable Systems Group / Co-advisor / Associate Professor / Director Information Systems Program / Monte Carlo Software Model Checking / Translator / Scientific Assistant / Co-advisors / Monte Carlo Model Checking / Open Source Software Model Checking / Scientific Researcher / /
Product
Minox / Leica DM-1 Digital Camera / Hybrid Automata / AF-2004-023 / /
ProgrammingLanguage
Unified Modeling Language / /
ProvinceOrState
New York / Utah / California / Colorado / Illinois / Pennsylvania / Iowa / /
PublishedMedium
Journal of Symbolic Computation / IEEE Transactions on Software Engineering / Formal Aspects of Computing / Theoretical Computer Science / /