UCL staff are an excellent resource for consulting, ranging from technology strategy, technology assessment, advanced development through to training.
Active engagement in consulting helps us keep a practical edge to our research and exposes us to important problems.
Many millions of pounds have been invested in the knowledge and expertise we have acquired. Why not take advantage of this?
Please see further details on the UCL Consulting Ltd website at http://www.uclconsultants.com/
To contact the Department of Computer Science, please email Jill Saunders, Departmental Admin Manager.
The department is involved in a broad range of theoretical and applied aspects of computation.
One area is specifically focusing on applied algorithms including, Boolean Satisfiability (SAT), Constraint Satisfaction (CSP), Satisfiability Modulo Theory (SMT), Model Checking, Automated Theorem Proving and Formal Methods.
Areas of Expertise/Consultancy: Optimisation Algorithm Design and Application
- EDA / semi conductors: Formal verification, equivalence checking, timing management, power optimisation
- Pharma / Biotech: Haplotype inference, protein structure prediction, pedigree checking, gene regulatory networks
- Software / Web: Static analysis, software verification, software vulnerability, semantic web, routing optimisation, cloud systems
- Security / Defence: Cryptanalysis, critical system verification.
For project discussion contact
Dr Daniel Hulme, CEO Satalia,
Phone 07773 765097
Email daniel@satalia.com
+44 (0)20 7679 7214
