Akhil Dixit

I recently graduated with a PhD in Computer Science from the University of California, Santa Cruz under the supervision of 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 will be joining Google as a Software Engineer later in the Fall.


As a graduate student, I worked on building a scalable system for computing consistent answers over inconsistent databases using SAT solvers. Here's my PhD dissertation. 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., "Consistent Answers of Aggregation Queries using SAT Solvers" (submitted) Preprint Full Text
  2. Dixit, A., Kolaitis, P., "CAvSAT: Answering Aggregation Queries over Inconsistent Databases via SAT Solving" In Proceedings of the 2021 International Conference on Management of Data (SIGMOD) Demonstration Track, Shaanxi, China, 2021.
  3. 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
  4. 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
    This extended abstract won the gold medal at the ACM Student Research Competition (SRC) for graduate students at SIGMOD 2019. 🥇
    Watch me present CAvSAT at the ACM SIGMOD 2019 SRC finals.
    Also, take a look at the ACM SRC Grand Finals entry.
  5. 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
  6. 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, and play chess. 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 Indo-Aryan 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!