National Science Foundation / University of Pennsylvania / Computational Intelligence / Mahesh Viswanathan Department of Computer Science Microsoft Research Department / University of Illinois / IEEE Computer Society / /
Person
William R. Murray / Robert Paige / Ole J.L. Jensen / Rajeev Alur / Philip Bille / Thomas Finley / Benedikt et.al / Rajeev Motwani / Armando Solar-Lezama / Anders B. Sandholm / Lawrence H. Landweber / Timo von Oertzen / John E. Hopcroft / Xuelong Li / Michael E. Jrgensen / Anne Adam / H. Laurent / Michael Benedikt / Sumit Gulwani / Jeffrey D. Ullman / Theis Rauhe / Jean-Pierre H. Laurent / Rishabh Singh / Xinbo Gao / Mahesh Viswanathan / Michael Sipser / Bing Xiao / Tobias Grtner / Cristian Riveros / Sumit Gulwani Dileep Kini / Nikolaj Bjørner / Manuel Bodirsky / Jakub Kozik / Adam / Nils Klarlund / Dacheng Tao / Jan Schwinghammer / Susan H. Rodger / Wolfgang Thomas / Gabriele Puppis / Margus Veanes / Dileep Kini / /
Position
editor / tutor / representative / /
Product
M OSEL / Automata / /
ProgrammingLanguage
D / DC / /
ProvinceOrState
Illinois / /
PublishedMedium
Electronic Notes in Theoretical Computer Science / Lecture Notes in Computer Science / /
Technology
information technology / 3 An Algorithm / machine learning / two algorithms / DFA equivalence algorithm / artificial intelligence / second algorithm / /