Akhil Dixit

I am a fourth-year graduate student in the Computer Science and Engineering department at the University of California, Santa Cruz.
My research interests are Consistent Query Answering, Database theory, and Computational Complexity, and my advisor is Prof. Phokion G. Kolaitis.
My Erdős number is 3, due to (Paul Erdős → Endre Szemerédi → Sachin Lodha → Me) and also (Paul Erdős → Bruce Lee Rothschild → Phokion Kolaitis → Me).

I recently won the 2019 ACM SIGMOD Student Research Competition (SRC) held as part of the 2019 ACM SIGMOD/PODS conference in Amsterdam, The Netherlands. I am now excited to participate the grand finals of the ACM SRC in 2020.


I'm currently working on building a scalable system for computing consistent answers over inconsistent databases using SAT solvers. Here's my Master's project on this topic. Before joining UC Santa Cruz, I worked as a Researcher and Systems Engineer at the Tata Research Development and Design Center, a research division of Tata Consultancy Services Ltd. in Pune, India where I was part of the Data Privacy Research group.


  1. Dixit, A., Kolaitis, P., "A SAT-based System for Consistent Query Answering" Proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing, Lisbon, Portugal, 2019. Conference Paper Preprint Full Text
  2. Dixit, A., "CAvSAT: A System for Query Answering over Inconsistent Databases" Proceedings of the 2019 International Conference on Management of Data (SIGMOD), Amsterdam, The Netherlands, 2019. Extended Abstract
  3. Tupsamudre, H., Dixit, A., Banahatti, V., Lodha, S., "Pass-Roll and Pass-Scroll: New Graphical User Interfaces for Improving Text Passwords" 2nd European Workshop on Usable Security (EuroUSEC), Paris, France, 2017. Conference Paper
  4. Tupsamudre, H., Dixit, A., Banahatti, V., Lodha, S., Shukla, M., "Rotate to Protect" Proceedings of the Twelfth Symposium on Usable Privacy and Security (SOUPS), USENIX, Denver, CO, USA, 2016. Conference Paper

Patents Issued

  1. Sirigireddy, G., Vidhani, K., Dixit, A., Banahatti, V., Lodha, S., "Method and system for enforcing user policy on database records", 2019 (US). US Patent 10423618 B2.
  2. Vidhani, K., Dixit, A., Banahatti, V., Lodha, S., "Data Privacy Management", 2016 (EP), 2018 (US). EP 3021274 A1, US Patent 9928381 B2.


Apart from Computer Science, I draw, swim, cycle, solve puzzles and Rubik's cubes. I also like listening to Indian classical instruments, carnatic percussion and fusion music. Here's one of my recent pencil sketches - A street musician in Jaisalmer, India.


Office Address

E2-395, Computer Science Department
University of California, Santa Cruz
Santa Cruz, CA 95064, USA
Email: akadixit at ucsc dot edu

Aha! What's this?

My first name Akhil is written as अखिल in my mother-tongue Marathi, an Indian language that uses Devanagari script. In this script, the first letter in my name 'अ' looks the same as the last letter 'ल', but with a 90° clockwise rotation. And that allows me create this amazing design!