Portland / Vancouver / Mountain View / Wadern / Zagreb / Redmond / Guangzhou / Berlin / Sunnyvale / Haifa / Cambridge / Livermore / St. Andrews / /
Company
Distributed Systems / Cadence Research Laboratories / Strategic CAD Labs / Communicating Visibly Pushdown Systems / QF BV / Google Inc. / Facebook Inc. / ACM Press / International Journal / IEEE Press / Synopsys / Fujitsu Labs America / Intel / Microsoft / Canadian Natural / /
Continent
Asia / /
Country
Canada / United Kingdom / China / Scotland / Germany / Croatia / United States / / /
Facility
University of British Columbia / Zagreb University / UBC UBC University Graduate Fellowship University of Zagreb Rector Award / USA Stanford Research Institute / College Park / Computer Science Department University of Maryland / University of Zagreb / University of California at Berkeley / Computer Science University of Pennsylvania / Purdue University / University of California / USA University of Dallas / Planck Institute / EECS Carnegie Mellon University / Computer Science Department Princeton University / /
University of California / UBC CPSC / Lawrence Livermore National Lab / University of Dallas / Botnet Command / UC Berkeley / Princeton University / Program committee / Computer Science Department / XPERIENCE Program committee / Computer Science Division / Carnegie Mellon University / USA Stanford Research Institute / National Science Foundation / Zagreb University / University of Pennsylvania / MIT / Planck Institute for Software Systems / University of Maryland / College Park / Purdue University / NASA Jet Propulsion Lab / Engineering Research Council / National Aeronautics and Space Administration / University of Zagreb / Canadian Natural Science and Engineering Research Council / IEEE Computer Society / University of British Columbia / Faculty of Elec / Stanford / EECS Department / /
Person
Daniel Kifer / Reviewing / Jesse Bingham / Yuan Cho / Mario Kova / Zvonimir Rakamari / Daniel Reynaud / Richard Shin / Matko Botinˇcan / Lawrence Livermore / Dawn Song / Satisfiability Modulo / Frank Hutter / Alan J. Hu / Juan Caballero / Holger H. Hoos / Byron Cook / Stephen McCamant / Lorenzo Martignoni / Edward XueJun / Kevin Chen / / /
Position
USA Research Scientist / Senior Research Scientist / assistant / Teaching Assistant / Consultant / Co-chair / Canada Research Assistant / lecturer / /
ProgrammingLanguage
JavaScript / R / C / /
ProvinceOrState
British Columbia / California / Texas / Maryland / Pennsylvania / /
PublishedMedium
IEEE Transactions on Software Engineering / IEEE Transactions on Computers / Formal Aspects of Computing / /