Irfansha Shaik (Preferred)
Irfansha Shaik
Postdoc, Computer Science, Aarhus University
Joined
October 2024
Names
Emails
****@cs.au.dk (Confirmed)
****@kvantify.dk (Confirmed)
Personal Links
Career & Education History
Postdoc
Computer Science, Aarhus University (au.dk)
2023 – Present
PhD student
Computer Science, Aarhus University (au.dk)
2019 – 2023
MS student
Computer Science, Swansea University (swansea.ac.uk)
2018 – 2019
Undergrad student
Computer Science and Engineering, Jawaharlal Nehru Technological University (jntu.ac.in)
2012 – 2016
Advisors, Relations & Conflicts
Coworker
Stig Elkjær Rasmussen
2023 – Present
Coworker
Pier Paolo Poier
2023 – Present
Coworker
Patrick Ettenhuber
2023 – Present
Coworker
Frank Jensen
2023 – Present
PhD Advisor
Jaco van de Pol
2019 – 2023
Expertise
Satisfiability
, SAT
, Encodings
, Quantum Layout Synthesis
, Circuit Optimization
2023 – 2024
Planning
, Encodings
, Quantum Circuit Optimization
2023 – 2024
Quantified Boolean Formulas
, QBF
, Encodings
, Games
2022 – 2023
Quantified Boolean Formulas
, QBF
, Encodings
, Planning
, Lifted Planning
2019 – 2022
Publications
No publications