Intel Strategic CAD Labs / Altera / BitTorrent / ACM Press / Embedded Software / CONCUR / Hybrid Systems / IEEE Computer Society Press / Microsoft Corp / Model Checking Software / /
Country
Switzerland / Germany / United States / / /
Facility
University of Iowa / Boelter Hall University of California Los Angeles / Max Planck Institute / Indian Institute of Technology / Summer Research Institute / University of California / / /
IndustryTerm
Software engineering / model-checking tool / Symbolic algorithms / database applications / Software verification / real-time software / driven software quality / symbolic transition systems / Software model / safety-critical systems / Quantitative solution / Web Conversations / real-time systems / Web Services / /
Organization
Department of EECS / National Science Foundation / UC Berkeley / Max Planck Institute for Software Systems / Computer Science 4531E Boelter Hall University of California Los Angeles / University of California / Berkeley / Research Institute / Indian Institute of Technology / Kanpur / Summer School / Curriculum Vitae Rupak Majumdar Department / Department of Computer Science / Stanford University / University of California / Los Angeles / University of Iowa / /
Person
Thomas A. Henzinger / Dynamic / Celebrating Zohar Manna / R. Majumdar / V / Jens Palsberg / Todd Millstein / Y. Hu / V / Eddie Kohler / Rupak Majumdar / Paulo Tabuada / Klaus Havelund / Leon O. Chua / / /
Position
Advisor / President / CPA / Assistant Professor / controller / Associate Professor / /
ProgrammingLanguage
C / /
ProvinceOrState
California / Iowa / /
PublishedMedium
Logical Methods in Computer Science / Theoretical Computer Science / Theory of Computing / Lecture Notes in Computer Science / /