Prof. Anastasia Isychev — Research Profile
The University of Sydney · School of Computer Science
Considering this lab for grad school?
Save it to compare side by side with other labs, and keep your contact prep in one place.
What to prepare before emailing a PIAbout
Prof. Anastasia Isychev at The University of Sydney School of Computer Science lists Formal methods for software, Software engineering, Software testing, verification and validation as their registered research area.
Research keywords
Other labs in this department
- Alan Fekete Lab
Programming languages, Database systems, Dependable systems, Networking and communications, Concurrent/parallel systems and technologies, Cloud computing, Software engineering, Distributed computing and systems software, Data management and data science, Curriculum and pedagogy
- Albert Zomaya Lab
Mobile computing, Distributed computing and systems software, High performance computing, Energy-efficient computing, Dependable systems, Data engineering and data science, Cloud computing, Concurrent/parallel systems and technologies, Cyberphysical systems and internet of things, Recommender systems
- André van Renssen Lab
Data structures and algorithms
- Anusha Withanage Don Lab
Human-computer interaction, Pervasive computing, Data engineering and data science, Human-centred computing, Machine learning
- Armin Chitizadeh Lab
- Athman Bouguettaya Lab
Service oriented computing, Information systems, Distributed computing and systems software, Cyberphysical systems and internet of things, Computer vision and multimedia computation, Data management and data science