Akhil Dixit

I am a third-year PhD student in the department of Computer Science 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'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. Vidhani, K., Dixit, A., Banahatti, V., Lodha, S., "Data Privacy Management", 2016. US Patent 2016-0132696 A1, EP 3021274 A1.


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° anticlockwise rotation. And that allows me create this amazing design!