About me

On this website you can find information about my research interests. I also provide various teaching help pages on courses that I demonstrate/lecture on. If you have any questions or comments, please do not hesitate to contact me at any time.

I have always been fascinated by the philosophy of 'mind', and how the 'mind' fits into anything from the Origins of Life to the Evolution of consciousness.

I completed an MSci Computer Science with Cognitive Science degree at UCL in 2003. The aim of my Masters dissertation (supervised by Dr W.B.Langdon) was to design and implement an agent intelligence evolver (using Neural Net's and Genetic Algorithms); a system that allowed agents to evolve and interact with each other and the environment in intelligent ways without predefined agent AI.

Research

Following the completion of my undergraduate degree, was awarded an Engineering Doctorate in Virtual Environments, Imaging and Visualization (UCL EngD VEIV). My research topic was Computational Complexity, and my thesis title was "The Path to Satisfaction: Polynomial Algorithms for SAT".

My thesis.

The aim of my research is to understand what makes some problems tractable while others intractable, to cross-fertilize old and new ideas in computational complexity and graph theory, spawning interesting and novel methods that extend the principles used to solve restricted NP problems. To develop and implement new techniques that can be applied to many of the available scientific and industrial problems.

The Engineering Doctorate is a four-year postgraduate award intended for the UK's leading research engineers who want a managerial career in industry. It is a radical alternative to the traditional PhD, being better suited to the needs of industry, and providing a more vocationally oriented doctorate in engineering.

My CV.

Satalia

I am the founder of NPComplete Ltd (Satalia Inc.) and was one of the principal architects in designing and implementing the core technologies behind Satalia's new business model.

Satalia is changing the way industry solves optimization problems. Satalia provides 'optimization as a service'. Our core competence is in solving hard optimization problems via a unique automated process. In short, individuals/companies can send us optimization problems via Satalia's API and/or Web-Portal, we solve them using an automated solve pipeline that includes state-of-the-art techniques in problem encoding, preprocessing, algorithms, machine learning and compute management. Satalia can solve problems from multiple industries (because optimization problems can be represented generically), but we are focusing on system verification using formal method algorithms, such as SAT, CSP, BDD, AIG and SMT.

Entrepreneurship and Innovation

I hold an international Kauffman Global Entrepreneur Scholarship and I actively promote entrepreneurship and technology innovation in the UK and US through lecture, articles and seminars.

Contact Me

Daniel J Hulme
Dept. of Computer Science, UCL
Gower Street
London WC1E 6BT
M: +44 (0)7773765097
E: d.hulme@cs.ucl.ac.uk