I am an Associate Professor (Reader in UK terms) at the School of Informatics, University of Edinburgh .

Prior to arriving at Edinburgh, I was a post-doc at Oxford University, Computer Science Department and at Laboratoire d'Informatique de Grenoble (LIG) at Grenoble, France. I graduated with a PhD in Computer Science from the University of Minnesota in Aug 2009. My PhD supervisor was Prof. Mats Heimdahl.



 
 

My Research

My research is along two directions:
  • Automated Software Testing Techniques
  • Artificial Intelligence for Cancer Immunotherapy .
Figure below shows the different topics I am working on under each of these directions.


I am looking for PhD students with strong background in either

  • Software testing, program analysis and compilers. Students should have very strong programming skills, preferably in C++ and Python.
  • Natural language processing or computer vision with some familiarity in bioinformatics. Students should have solid understanding of AI techniques and tools along with strong Python programming.

Fully funded PhD positions are available for UK/EU students. Exceptional overseas students will also be considered.


Research Group

Current PhD Students

Chao Peng
Test generation and coverage for GPU programs.

Tongjie Wang
Cancer Immunotherapy.

Sefa Akca
Automated Testing of Smart Contracts on Blockchains.

Foivos Tsimpourlas
Machine Learning for Compiler Optimisations.

Xiaoliang Wu
Automated Testing of Speech Recognition Systems.

Nick Louloudakis
Testing Perception AI on Hardware Accelerators.

Past PhD Students

Panos Stratis
Software test suite compilation and execution optimizations.

Vanya Yaneva
Acceleratign test executions on GPUs


Current Funded Projects

  • H2020 European Project KATY (2021 -- 2025) - H2020 – DT-TDS-04-2020 AI for Genomics and Personalised Medicine in which I am Edinburgh Lead PI: 2021- 2025. Knowledge at the Tip of Your fingers: Clinical Knowledge for Humanity (KATY). The project involves 20 partners from 11 countries with clinical, AI and software engineering expertise to develop personalised treatment recommendations for Renal cancer. I am looking to hire a multi-year Research Assistant with expertise in NLP for this project. Please contact me if you are interested.
  • EPSRC Trustworth Autonomous Systems Node in Governance and Regulation (2020 -- 2024) - led by Prof. Ram Ramamoorthy from the School of Informatics. I am excited to be a Co-I working with several others on this project. project aims to ensure the trustworthiness of systems that put machines in charge of decisions with particular focus on the design of frameworks for responsibility and accountability. The project will focus on UAVs and medical diagmostics as application domains.
  • Bytedance/TikTok project (2020 -- 2022) - The project focuses on testing techniques for Android Applications.

Teaching

  • Software Testing (ST) - 3rd year UG course introducing software testing concepts and providing practical experience with JUnit. I have been teaching this course since 2015.
  • Computer Programming - Skills and Concepts (CP) - 1st year UG course introducing C programming. I co-taught this course in 2017/18 and 2018/19.
  • Embedded Systems (ES) - 4th year UG course (2017/18).
  • Introduction to Software Engineering (Inf2C-SE) - 2nd year UG course (2014/15).

Recent News

    2021

  • June: Our paper, "Testing Smart Contracts: Which Technique Performs Best?", is accepted at ACM/IEE Conference ESEM 2021.
  • June: Our paper, "CAT: Change-focused Android GUI Testing", is accepted at IEEE conference ICSME 2021.
  • June: Our paper, "Embedding and Classifying Test Execution Traces using Neural Network", is accepted in IET Software Journal.
  • May: Our paper, "GPU Acceleration of FSM Input Execution: Improving Scale and Performance", is accepted with minor revisions in STVR Journal.
  • May: PC Member for FSE 2021 Industry track, FASE 21, ISSTA 21 Posters Chair, ICSE 2022 SEIP track.

    2020

  • Dec: Commenced project with Bytedance on Android App Testing.
  • Dec: Our paper, "Supervised Learning over Test Executions as a Test Oracle" was accepted at ACM SAC Software Engineering track 2020.
  • Nov: Awarded H2020 – DT-TDS-04-2020 AI for Genomics and Personalised Medicine in which I am Edinburgh Lead PI: 2021- 2025. Knowledge at the Tip of Your fingers: Clinical Knowledge for Humanity (KATY).
  • Nov: EPSRC Trustworth Autonomous Systems Node in Governance and Regulation led by Prof. Ram Ramamoorthy was awarded. I am excited to be a Co-I working with several others on this project.
  • Nov: Vanya successfully completed her PhD viva with minor corrections. Congratulations Vanya! Prof. Alastair Donaldson and Prof. Bjoern Franke were her examiners.
  • July: ASE 2020 paper accepted - "M3: Semantic API Migrations".
  • June: Poster chair for ISSTA 2021.
  • Jan: GPGPU'20 paper accepted - "Automated test generation for OpenCL kernels using fuzzing and constraint solving."

    2019

  • Oct: Awarded Facebook Testing and Verification Research Award for project title "Test Oracle Inference – Supervised Learning over Execution Traces".
  • Sep: External examiner at University of Aberdeen, School of Physics for their MSc Data Science.
  • Sep: Two APSEC'19 research papers accepted - "A Framework for Solidity Contract Instrumentation and Analysis", "SolAnalyser: A Framework for Analysing and Testing Smart Contracts".
  • Aug: PC Member ICST 2020, Testing tools track
  • July: PC Member at ISSTA 2020.
  • May: Nominated for EUSA teaching Awards.
  • Jan: FASE'19 research paper accepted. Title: "CLTestCheck: Measuring Test Effectiveness for GPU Kernels".

I edited a book along with Thomas Wahl for the European funded project, CESAR. The book was published by Springer in March 2013. A glimpse of the book is available here.