Edith Hemaspaandra
Professor
Department of Computer Science
Golisano College of Computing and Information Sciences
585-475-5194
Office Hours
On sabbatical!
Office Location
Edith Hemaspaandra
Professor
Department of Computer Science
Golisano College of Computing and Information Sciences
Education
BS, MS, Ph.D. in Computer Science, University of Amsterdam (the Netherlands)
585-475-5194
Areas of Expertise
Artificial Intelligence
Computational Social Choice
Complexity of Logics
Computational Complexity
Theory
Select Scholarship
Peer Reviewed/Juried Poster Presentation or Conference Paper
Bezáková, Ivona, et al. "Feedback Tools and Motivation to Persist in Intro CS Theory." Proceedings of the 54th ACM Technical Symposium on Computer Science Education (SIGCSE 2023). Ed. . Toronto, Canada: n.p..
Bezáková, Ivona, et al. "Witness Feedback for Introductory CS Theory Assignments." Proceedings of the 52nd ACM Technical Symposium on Computer Science Education (SIGCSE 2021). Ed. . ., .: n.p..
Bezáková, I., et al. "Prototype of an Automated Feedback Tool for Intro CS Theory." Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE 2020). Ed. . Portland, OR: n.p..
Published Conference Proceedings
Narváez, Ivona Bezáková, , , , David, et al. "Effective Succinct Feedback for Intro CS Theory: A JFLAP Extension." Proceedings of the 53rd ACM Technical Symposium on Computer Science Education (SIGCSE 2022). Ed. . Providence, RI: n.p., 2022. Web.
Fitzsimmons, Zack and Edith Hemaspaandra. "Insight into Voting Problem Complexity Using Randomized Classes." Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI 2022). Ed. . Vienna, Austria: n.p., 2022. Web.
Hemaspaandra, Edith and David Narváez. "Formal Methods for NFA Equivalence: QBFs, Witness Extraction, and Encoding Verification." Proceedings of the 15th Conference on Intelligent Computer Mathematics (CICM 2022). Ed. . ., .: Springer, 2022. Print.
Fitzsimmons, Zack and Edith Hemaspaandra. "Kemeny Consensus Complexity." Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021}. Ed. . ., .: ., 2021. Web.
Frei, F., E. Hemaspaandra, and J. Rothe. "Complexity of Stability." Proceedings of the 31st International Symposium on Algorithms and Computation (ISAAC 2020). Ed. . Hong Kong, China: n.p., 2020. Web.
Fitzsimmons, Z. and E. Hemaspaandra. "Election Score Can Be Harder Than Winner." Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). Ed. . Santiago de Compostela, Spain: n.p., 2020. Web.
Fitzsimmons, Z., et al. "Very Hard Electoral Control Problems." Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI 2019). Honolulu, HA: n.p., 2019. Web.
Hemaspaandra, E., L. Hemaspaandra, and J. Rothe. "The Complexity of Online Bribery in Sequential Elections." Proceedings of the 17th Conference on Theoretical Aspects of Rationality and Knowledge. Ed. . Toulouse, France: n.p., 2019. Web.
Burjons, E., et al. "Finding Optimal Solutions With Neighborly Help." Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019). Aachen, Germany: n.p., 2019. Web.
Fitzsimmons, Zack and Edith Hemaspaandra. "High-Multiplicity Election Problems." Proceedings of the Seventeenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2018. Web.
Hemaspaandra, Edith, et al. "The Robustness of LWPP and WPP, with an Application to Graph Reconstruction." Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018). Ed. . Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. Web.
Fitzsimmons, Z. and E. Hemaspaandra. "The Complexity of Succinct Elections." Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017). San Francisco, CA: AAAI, 2017. Web.
Hemaspaandra, E. and H. Schnoor. "Dichotomy for Pure Scoring Rules Under Manipulative Electoral Actions." Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016). Ed. . the Hague, the Netherlands: n.p., 2016. Web.
Fitzsimmons, Z. and E. Hemaspaandra. "Modeling Single-Peakedness for Votes with Ties." Proceedings of the Eighth European Starting AI Researcher Symposium (STAIRS 2016). Ed. . the Hague, the Netherlands: n.p., 2016. Web.
Fitzsimmons, Z. and Hemaspaandra, E. "Complexity of Manipulative Actions When Voting with Ties." Proceedings of the Fourth International Conference on Algorithmic Decision Theory. Ed. Toby Walsh. Lexington, KY: n.p., 2015. Print.
Erdelyi, G., Hemaspaandra, E., and Hemaspaandra, L. "More Natural Models of Electoral Control by Partition." Proceedings of the Fourth International Conference on Algorithmic Decision Theory. Ed. Toby Walsh. Lexington, KY: n.p., 2015. Print.
Hemaspaandra, E., L. Hemaspaandra, and H. Schnoor. "A Control Dichotomy for Pure Scoring Rules." Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014). Ed. Unknown. Quebec City, Canada: n.p., 2014. Web.
Erdelyi, G., E. Hemaspaandra, and L. Hemaspaandra. "Bribery and Voter Control Under Voting-Rule Uncertainty." Proceedings of the Thirteenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014). Ed. Unknown. Paris, France: n.p., 2014. Web.
Fitzsimmons, Z., E. Hemaspaandra, and L. Hemaspaandra. "Control in the Presence of Manipulators: Cooperative and Competitive Cases." Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013). Beijing, China: n.p., 2013. Web.
Faliszewski, P., E. Hemaspaandra, and L. Hemaspaandra. "Weighted Electoral Control." Proceedings of the Twelfth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013). Saint Paul, MN: n.p., 2013. Web.
Hemaspaandra, E., L. Hemaspaandra, and C. Menton. "Search versus Decision for Election Manipulation Problems." Proceedings of the 30th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2013). Kiel, Germany: n.p., 2013. Web.
Hemaspaandra, E., L. Hemaspaandra, and J. Rothe. "The Complexity of Online Manipulation of Sequential Elections." Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIV). Chennai, IN: n.p., 2013. Web.
Hemaspaandra, E. and H. Schnoor. "A Universally Defined Undecidable Unimodal Logic." Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science (MFCS 2011). Ed. Murlak and Sankowski. Berlin: Springer, 2011. Print.
Hemaspaandra, E. and H. Schnoor. "Minimization for Generalized Boolean Formulas." Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011). Ed. Toby Walsh. Menlo Park, CA: AAAI Press, 2011. Web.
Faliszewski, P., E. Hemaspaandra, and L. Hemaspaandra. "The Complexity of Manipulative Attacks in Nearly Single-Peaked Electorates." Proceedings of the Theoretical Aspects of Rationality and Knowledge (TARK XIII). Ed. Apt. Groningen: ACM, 2011. Web.
Journal Paper
Frei, Fabian, Edith Hemaspaandra, and Jörg Rothe. "Complexity of Stability." Journal of Computer and System Sciences 123. (2022): 103-121. Print.
Hemaspaandra, Edith, Lane A. Hemaspaandra, and Jörg Rothe. "The Complexity of Online Bribery in Sequential Elections." Journal of Computer and System Sciences 127. (2022): 66-90. Print.
Fitzsimmons, Z., E. Hemaspaandra, and L. Hemaspaandra. "Control in the Presence of Manipulators: Cooperative and Competitive Cases." Journal of Autonomous Agents and Multi-Agent Systems 34. 2, Article No. 52 (2020): 1-32. Print.
Hemaspaandra, E., et al. "The Robustness of LWPP and WPP, with an Application to Graph Reconstruction." Computational Complexity 29. 2, Article No 7 (2020): 1-49. Print.
Hemaspaandra, E., L. Hemaspaandra, and C. Menton. "Search versus Decision for Election Manipulation Problems." ACM Transactions on Computation Theory 12. 1, Article No 3 (2020): 383-402. Print.
Fitzsimmons, Z. and E. Hemaspaandra. "High-Multiplicity Election Problems." Journal of Autonomous Agents and Multi-Agent Systems 33. 4 (2019): 383-402. Print.
Hemaspaandra, E., L. Hemaspaandra, and J. Rothe. "The Complexity of Controlling Candidate-Sequential Elections." Theoretical Computer Science 678. (2017): 14-21. Print.
Hemaspaandra, E., L. Hemaspaandra, and J. Rothe. "The Complexity of Online Voter Control in Sequential Elections." Journal of Autonomous Agents and Multi-Agent Systems 31. (2017): 1055—1076. Print.
Hemaspaandra, E., L. Hemaspaandra, and J. Rothe. "The Complexity of Online Voter Control in Sequential Elections." Journal of Autonomous Agents and Multi-Agent Systems. (2016): 1-22. Web.
Fitzsimmons, Z., E. Hemaspaandra, and L. Hemaspaandra. "Manipulation of Same-System Runoff Elections." Annals of Mathematics and Artificial Intelligence 77. 3-4 (2016): 159—189. Print.
Brandt, F., et al. "Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates." Journal of Artificial Intelligence Research 53. (2015): 439-496. Web.
Faliszewski, P., Hemaspaandra, E., and Hemaspaandra, L. "Weighted Electoral Control." Journal of Artificial Intelligence Research 52. (2015): 507-542. Web.
Hemaspaandra, E., L. Hemaspaandra, and J. Rothe. "The Complexity of Online Manipulation of Sequential Elections." Journal of Computer and System Sciences 80. 4 (2014): 697-710. Print.
Faliszewski, P., E. Hemaspaandra, and L. Hemaspaandra. "The Complexity of Manipulative Attacks in Nearly Single-Peaked Electorates." Artificial Intelligence 207. (2014): 69-99. Print.
Faliszewski, P., et al. "The Shield that Never Was: Societies with Single-Peaked Preferences Are More Open to Manipulation and Control." Information and Computation 209. 2 (2011): 89-107. Print.
Faliszewski, P., E. Hemaspaandra, and L. Hemaspaandra. "Multimode Control Attacks on Elections." Journal of Artificial Intelligence Research 40. (2011): 305-351. Print.
Book Chapter
Hemaspaandra, E. and L. Hemaspaandra. "Credimus." The Future of Economic Design: The Continuing Development of a Field as Envisioned by Its Researchers. Ed. J.-F. Laslier, et al. : Springer, 2019. 141-152. Print.
Caragiannis, I., E. Hemaspaandra, and L. Hemaspaandra. "Dodgson's Rule and Young's Rule." Handbook of Computational Social Choice. Cambridge, England: Handbook of Computational Social Choice, 2016. 103-126. Print.
Hemaspaandra, E., Hemaspaandra, L., and Rothe, J. "The Complexity of Manipulative Actions in Single-Peaked Societies." Economics and Computation: An Introduction to Algorithmic Game Theory, Computational Social Choice, & Fair Division. ., .: Springer, 2015. 327-360. Print.
External Scholarly Fellowships/National Review Committee
10/1/2018 - 9/30/2021
NSF-DUE IUSE
Amount: $299,471
NSF-DUE IUSE
Amount: $299,471
10/1/2018 - 3/31/2019
Alexander von Humboldt Foundation: Renewed Research Stay
Amount: 16,150 euros
Alexander von Humboldt Foundation: Renewed Research Stay
Amount: 16,150 euros
8/1/2011 - 7/31/2015
NSF
Amount: $249,264
NSF
Amount: $249,264
1/1/2007 - 12/31/2012
Humboldt Foundation
Amount: 50,000 euros
Humboldt Foundation
Amount: 50,000 euros
7/1/2007 - 6/30/2011
NSF
Amount: $214,445
NSF
Amount: $214,445
Invited Article/Publication
Faliszewski, P., Hemaspaandra, E., and Hemaspaandra, L. "The Complexity of Manipulative Attacks in Nearly Single-Peaked Electorates." Proceedings of the 24th International Joint Conference on Artificial Intelligence. (2015). Web.
Journal Editor
Hemaspaandra, E., ed. Electronic Commerce Research (2006-2014). Berlin: Springer, 2014. Print.
Hemaspaandra, E., ed. Journal of Universal Computer Science (1998-). Graz: n.p., 2016. Web.
Published Article
Faliszewski, Piotr, Edith Hemaspaandra, and Lane A. Hemaspaandra. “Using Complexity to Protect Elections.” Communications of the ACM, 53.11 (2010): 74-82. Print. É *
Hemaspaandra, Edith, Henning Schnoor, and Ilka Schnoor. “Generalized Modal Satisfiability.” Journal of Computer and System Sciences, 76.7 (2010): 561-578. Print. É *
Brandt, Felix, Markus Brill, Edith Hemaspaandra, and Lane A. Hemaspaandra. “Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates.” 24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of ArtificialIntelligence Conference, 11-15 July 2010. 715-722. Print. É *
Faliszewski, Piotr, Edith Hemaspaandra, and Henning Schnoor. “Manipulation of Copeland Elections.” Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, 10-14 May 2010. 367-374. Print.
Currently Teaching
CSCI-262
Introduction to Computer Science Theory
3 Credits
This course provides an introduction to the theory of computation, including formal languages, grammars, auto-mata theory, computability, and complexity.
CSCI-263
Honors Introduction to Computer Science Theory
3 Credits
This course provides a challenging introduction to the theory of computation with an emphasis on problem solving. Topics include formal languages, grammars, auto-mata theory, computability, and complexity.
CSCI-664
Computational Complexity
3 Credits
This course provides an introduction to computational complexity theory. It covers the P=NP problem, time and space complexity, randomization, approximability, and relativization.
In the News
-
November 21, 2022
Dozens of RIT researchers included on Stanford University’s list of the world’s top 2% of scientists
Numerous Rochester Institute of Technology faculty, professors emeriti, and postdoctoral researchers were recognized as top-cited scientists in their fields, according to a Stanford University study published by Elsevier.
-
September 29, 2020
Ph.D. student named Computing Innovation Fellow