I am a tenure-track Assistant Professor and Delft Technology Fellow in the Software Engineering Research Group (SERG) at the Delft University of Technology (TU Delft). Before that, I was a postdoc researcher at the Max Planck Institute for Software Systems (MPI-SWS) in the Rigorous Software Engineering Group, working with Rupak Majumdar. I got my PhD from Koç University under the supervision of Serdar Tasiran.
My research interests focus on model checking, software testing and debugging of concurrent programs and distributed systems. You can visit Software Reliability for Concurrent and Distributed Systems research line for more information.
News:
Looking for a motivated PhD student to work on model checking and software testing for blockchain systems. Reach me with a motivation letter if you are interested.
The call for papers for the ACM SIGPLAN Erlang Workshop’23, we co-chair together with Kiko Fernandez-Reyes, is now open. Submissions related to Erlang, Elixir, Lisp Flavored Erlang, and topics in functional, concurrent, and distributed programming are welcome and encouraged!
Our paper Randomized Testing of Byzantine Fault Tolerant Algorithms with Levin N. Winter, Florena Buse, Daan de Graaf, and Klaus von Gleissenthall has been accepted to OOPSLA’23!
I co-organize the Verification Mentoring Workshop (VMW)’23 together with Ankush Desai, Eric Koskinen, Marijana Lazic, and Matteo Sammartino, which will be co-located with the Int. Conf. on Computer Aided Verification (CAV)’23 in Paris, France, in July 17-22, 2023.
Our paper “Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm” with Martijn van Meerten and Annibale Panichella appears at ICSE-SEIP’23.
Our paper “Probabilistic Concurrency Testing for Weak Memory Programs” with Mingyu Gao and Soham Chakraborty appears at ASPLOS’23! (pdf)
[Mar’23] I will attend the Dagstuhl Seminar 23112: Unifying Formal Methods for Trustworthy Distributed Systems on March 12-15, 2023.
[Jan’23] Invited talk at the SUMO (SUpervision of large MOdular and distributed systems) team seminar at Inria Rennes Bretagne-Atlantique research center and IRISA lab on January 12, 2023.
[Dec’22] Attended the Dagstuhl Seminar 22492: Formal Methods and Distributed Computing: Stronger Together on December 4-9, 2022.
I am a PC member of VMCAI’23, CAV’23, MET’23, OOPSLA’23, and VSTTE’23.
[Dec’22] Happy to interview with the I/O Magazine, ICT Platform Nederland about “Challenges of Concurrency”.
[Nov’22] Organized the third edition of the Alice and Eve Workshop for celebrating women in computing at TU Delft on November 18, 2022.
[Sep’22] PC-chaired the Erlang Workshop’22 that will be co-located with ICFP’22 together with Stavros Aronis.
[Jun’22] Chaired the Expert discussion track at the ECOOP’22 together with Manu Sridharan.
Served in the PCs of ESOP’22 and ICST’22, and ASE 2022 NIER.
Attended Dagstuhl Seminar 21442: Ensuring the Reliability and Robustness of Database Management Systems on November 1-4, 2021.
Invited talk at the FMT (Formal Methods and Tools) Group at the University of Twente, on July 1st, 2021.
Invited talk at the SEN Symposium 2021 (National Symposium Software Engineering in The Netherlands) on February 18th, 2021.
I am excited to start working as an Assistant Professor at the TU Delft Software Engineering Research Group (SERG) as of September’20.
I am happy to receive the Delft Technology Fellowship award for outstanding female academic researchers.