York / Madrid / Dubrovnik / Paphos / Santa Barbara / Budapest / Winnipeg / Hyderabad / Verona / Napa / Taipei / Stockholm / Lugano / Philadelphia / Toronto / Essen / Honolulu / Constraint / Linz / Mountain View / Long Beach / Grenoble / Genova / Florence / Orlando / Santa Fe / Chiba / Automata / Minneapolis / Warsaw / Boston / New York / Newport Beach / Zurich / Engineering / Berlin / Rome / Atlanta / Antwerp / Los Angeles / Dusseldorf / London / San Diego / Chicago / /
Company
Model Checking Concurrent Systems / Distributed Systems / Neural Networks / Model Checking XML Manipulating Software / Naval Research Laboratory / Asynchronous Concurrent Systems / Reactive Systems / CONCUR / Evaluating New Technologies / Air Traffic Control Software / Infinite-State Systems / Verified Software / InfiniteState Transition Systems / Google / Modeling / Automated Technology / Embedded Systems / Asynchronously Communicating Systems / International Journal / Safety-Critical Systems / Analyzing Trust / Model Checking Reactive Systems / ACM / /
Country
Switzerland / Hungary / Cyprus / South Africa / France / Japan / Canada / United Kingdom / India / Taiwan / Germany / Croatia / Italy / Sweden / Poland / Belgium / Turkey / Austria / United States / Spain / Ireland / /
Currency
USD / / /
Facility
Bilkent University / College Park / University of Pretoria / Koc University / Computer Science University of California Santa Barbara / University of California / Middle East Technical University / University of Limerick / University Park / University of Maryland / /
IndustryTerm
software engineering / Web Applications / Web Conference / Web Application Security Grant CNS / Web-based Interaction / Web Quality / computing / Web Applications Grant / Web Application Data / web software / Internet Computing / Web Services Research / Web Services / /
OperatingSystem
Android / /
Organization
Department of Computer Engineering and Information Science / Christopher League / University of Maryland / University of California / Santa Barbara / Fraunhofer Center for Experimental Software Engineering / Committee on Research / North Atlantic Treaty Organization / University of Pretoria / Pretoria / Computer Science University of California Santa Barbara / Middle East Technical University / Ankara / Bilkent University / Ankara / Department of Electrical and Electronics Engineering / National Science Foundation / University of Limerick / Koc University / Istanbul / Department of Computer Science / /
Person
Alessandro Orso / Oscar Ibarra / Rajeev Alur / Doron Peled / Tevfik Bultan / Forrest Shull / Victor Basili / Daniel Pech / Tao Xie / Tiziana Margaria / Xiang Fu / Paolo Donzelli / Muath Alkhalaf / Graham Hughes / Chris Bunch / Bruce W. Watson / William Pugh / Giorgio Delzanno / Benjamin Lux / Sima Asgari / Zachary Stengel / Oscar H. Ibarra / Daniel Hirschbach / Erik Peterson / Stefan Kowalewski / Bertrand Meyer / Chris Ackermann / Chao Wang / Chris Ferguson / Tuba Yavuz / Pao-Ann Hsiung / Atif Memon / Gwen Salan / Taylor Ettema / Derick Wood / Alex Orso / Mikael Lindvall / Aysu Betin Can / Cevdet Aykanat / Jianwen Su / Will Tracz / Roseanne Tvedt / Lorin Hochstein / Jaideep Nijjar / Martin Robillard / Shauvik Roy Choudhary / Richard Gerber / Marvin Zelkowitz / Anna Philippou / Elliot D. Barlas / Meriem Ouederni / Gwen Salaun / Jose L. Gallegos / Susanne Graf / Richard Hull / Ismail Haritao / Sylvain Halle / Bettina Anders / Jim Woodcock / Mario Bravetti / Zhe Dang / Constantinos Bartzis / Michael Schwartzbach / Ioana Rus / Aysu Betin-Can / Mattia Fazzini / Aarti Gupta / Stefan Topp / Wang Yi / Constance Heitmeyer / Giovanni Vigna / Nima Roohi / Roger Villemaire / Richard Kemmerer / Yavuz Kahveci / Jorg Fellmann / Samik Basu / Richard A. Kemmerer / Christopher Kruegel / Murat Tuncer / /
Position
Advisor / Keynote speaker / Workshop on Formal Methods / Professor / Invited speaker / present Vice Chair / Associate Professor / editor / Research/Teaching Assistant / Keynote speaker / Mean Field Annealing Advisor / Assistant Professor / Awards Keynote speaker / /
ProgrammingLanguage
Ruby on Rails / Java / XML / /
ProvinceOrState
Hawaii / New York / New Mexico / California / Georgia / Ontario / Maryland / Illinois / Manitoba / Pennsylvania / Florida / Massachusetts / /
PublishedMedium
IEEE Transactions on Software Engineering / Formal Aspects of Computing / Theoretical Computer Science / Lecture Notes in Computer Science / /