Find a researcher
Dr Ripon Kumar Chakrabortty
Faculty: UNSW Canberra
Fields of Research (FoR): Planning and decision making, Artificial intelligence, Operations research, Evolutionary computation, Optimisation, Transportation, logistics and supply chains, Project management
SEO tags:
Faculty: UNSW Canberra
Fields of Research (FoR): Planning and decision making, Artificial intelligence, Operations research, Evolutionary computation, Optimisation, Transportation, logistics and supply chains, Project management
SEO tags:
Dr Ripon Kumar Chakrabortty is experienced in
Miss Jing Liu
Faculty: UNSW Canberra
Fields of Research (FoR): Evolutionary computation, Intelligent robotics, Planning and decision making
Keywords:
Faculty: UNSW Canberra
Fields of Research (FoR): Evolutionary computation, Intelligent robotics, Planning and decision making
Keywords:
Dr.
Associate Professor Hemant Kumar Singh
Faculty: UNSW Canberra
Fields of Research (FoR): Evolutionary computation, Artificial Intelligence and Image Processing, Engineering Design, Optimisation
Faculty: UNSW Canberra
Fields of Research (FoR): Evolutionary computation, Artificial Intelligence and Image Processing, Engineering Design, Optimisation
Hemant Kumar Singh is an Associate Professor at the School of Engineering and Information Technology at the University of New South Wales (UNSW), Australia.
Dr Ali Ahrari
Faculty: UNSW Canberra
Fields of Research (FoR): Evolutionary computation
SEO tags:
Keywords:
Faculty: UNSW Canberra
Fields of Research (FoR): Evolutionary computation
SEO tags:
Keywords:
Dr.
Mr Zoltan Kocsis
Faculty: Engineering
Fields of Research (FoR): Software and application security, Mathematical logic, set theory, lattices and universal algebra, Computational logic and formal languages, Evolutionary computation
Faculty: Engineering
Fields of Research (FoR): Software and application security, Mathematical logic, set theory, lattices and universal algebra, Computational logic and formal languages, Evolutionary computation
Current research activities
Logical techniques for the verification of the seL4 Core Platform