By Shanny Basar

Financial Industry Looks to Automated Reasoning

Sponsored By
<div class='u-text-m u-line-h-m'></div>

Aesthetic Integration, the startup that won the UBS Future of Finance challenge this month, is working with several large financial institutions on formally verifying critical components of their trading infrastructure as algorithms and systems have become increasingly complex.

Denis Ignatovich, co-founder of Aesthetic Integration, was previously head of the central risk trading at Deutsche Bank in London and searching for a better way to test trading algorithms. He and his former college roommate, Grant Passmore, a mathematician specialising in formal verification – used to develop software in safety critical industries such as air traffic control systems – realised the deep connection between financial trading systems and autopilot algorithms.

Ignatovich told Markets Media: “Formal Verification involves use of automated mathematical techniques to ensure system specifications are consistent and designed correctly, and then using the same techniques to test whether actual production system is consistent with its design. Applying such techniques to financial algorithms was physically impossible three years ago.”

Computers can use automated reasoning to perform tasks using laws of logic and mathematics such as analysing algorithms, resulting in “formal verification” programs that test the behaviour of other programs.

In the financial industry, for example, trading venues can convert regulatory filings and trading rules into mathematically precise specifications and code which can be analysed using automatic reasoning to test fairness and whether trading behaviour matches the marketing materials.

“Formal Verification will change how the financial industry writes software,” Ignatovich added. “It is similar to an architect having to prepare a blueprint for a new building which can be checked to see if it is safe, before you call in the crews to start laying down bricks.”

For example, in August this year the Hong Kong securities regulator fined BNP Paribas HK$15m ($1.9m) and alleged that the French bank’s dark pool had failed to execute orders based on price priority for almost one and a half years i.e the trading logic was different from what the bank told clients.

Aesthetic Integration said on its blog that automated reasoning and formal verification could reduce the time taken for the regulator to perform an investigation into such cases from years to a couple of days.

“All they have to do is to ask a technical person (within the firm) to convert the regulatory submissions (like Form ATS and exchange by-laws) into a mathematically precise specifications and automatically reason about their fairness and conformance to marketing materials,” said the blog.

Other possible uses are for an investment bank which trades on hundreds of venues to quickly check how each platform operates while investors can easily test how their trades would behave on different venues.

Ignatovich added: “For the first time, financial firms can quantitatively describe their testing scenarios and analyse all possible behaviours of the system’s state space.”

At the UBS challenge Aesthetic Integration won $50,000 in cash and dedicated coaching and mentoring from UBS experts and partners. Oliver Bussmann, chief information officer of UBS, said in a blog that the bank had learnt a great deal throughout the challenge.

“We received more than 600 applications from around the world, showing that the old fashioned closed door policies of the financial services industry is now a thing of the past,” added Bussman. “If anyone in the financial services industry thinks they can close their eyes to the threat of the fintech community then they are missing the incredible depth of talent that is out there.”

UBS is one of the banks that has joined R3, the consortium launched to develop distributed ledger technologies, such as blockchain, for the financial services industry. Today R3 announced the addition of 12 new banks to the consortium bringing total membership to 42. R3 said that no more banks will be added and it will consider options for participation by non-bank institutions next year.

David Rutter, chief executive of R3, said in a statement: “R3 has long believed that distributed ledger technology has the potential to impact the financial services sector the way the Internet changed media and entertainment. Yes, that’s a big statement, but there is increasing evidence to support it.”

The Linux Foundation, the nonprofit open source organization, also announced a blockchain collaboration today that includes diverse participants such as R3, banks, payment provider Swift, exchanges, VMware and IBM.

IBM will contribute code and its corresponding intellectual property. Digital Asset is contributing the Hyperledger mark, which will be used as the project name, as well as enterprise grade code and developer resources. R3 is contributing a new financial transaction architectural framework designed to meet the requirements of financial institutions.

The blockchain distributed ledger allows virtually anything of value to be tracked and traded directly between multiple users without using intermediaries. Financial firms can create smart contracts, code versions of traditional securities, which are stored in a distributed ledger. For example, a smart contract can encode the interest payments on a bond to check a specified source for the rate and the digital currency distributions will be made automatically to all the holders of the bond recorded on the blockchain on set dates. Settlement takes place as soon as all the specified conditions in the code have been met without any manual intervention, giving huge amount time and cost savings.

Aesthetic Integration can use formal verification on blockchain technologies and smart contracts to ensure that they perform as advertised, and so firms can understand and hedge risks associated with smart contract positions.

Featured image via iStock

Đọc Truyện Ngôn Tình Online
Đọc truyện ngôn tình online cập nhật liên tục
Đọc Truyện Kiếm Hiệp Online
Đọc truyện kiếm hiệp gây cấn online cập nhật liên tục
Đọc Truyện Kiếm Hiệp Online
Đọc truyện tiên hiệp gây cấn online cập nhật liên tục
Đọc Truyện Tiểu Thuyết Online
Đọc truyện tiểu thuyết gây cấn online cập nhật liên tục
Hướng Dẫn Nấu Ăn các món ăn đặc sản
Khám phá du lịch Việt Nam du lịch giá rẻ
Trang điểm làm đẹp tự nhiên hàn quốc
Trang điểm làm đẹp tự nhiên nhật bản
Review điện thoại sản phẩm công nghệ mới mỗi ngày
Phân tích lưu lượng mạng – BRO NSM – P1 Bro là một dự án mã nguồn mở, cung cấp cho người dùng một giải pháp giám sát hệ thống, phân tích lưu lượng, thay đổi dữ liệu gói tin
Phân tích lưu lượng mạng – BRO NSM – P2 Bro NSM hỗ trợ triển khai trên nhiều nền tảng hệ điều hành, kiến trúc CPU khác nhau; với phiên bản miễn phí
Phân tích lưu lượng mạng – BRO NSM – P2 Bro NSM trong việc phân tích dữ liệu gói tin PCAP được thu thập từ dữ liệu tcpdump
bảo mật mạng Các bài nghiên cứu, xây dựng giải pháp mạng, phương pháp tấn công mạng; hệ thống IDS, network security monitoring; tường lửa,…
giới thiệu Intel Edison Các bài viết giới thiệu Intel Edison trong phát triển IoT và bảo mật.
Intel Edison – Wifi và ứng dụng trong mô hình mạng – P5 Intel Edison được tích hợp sẵn tính năng thu, phát Wifi giúp cho người dùng linh động trong việc phát triển các mô hình IoT cho từng trường hợp cụ thể. Trong bài viết này, tôi sẽ thực hiện hướng dẫn các kỹ thuật điều chỉnh và tùy biến mạng Wifi để ứng dụng vào môi trường mạng TCP/IP.
Giới thiệu Intel Edison Intel Edison là một kiến trúc máy tính có kích thước khá nhỏ tương đương một con tem; nó sẽ thay đổi cách nhìn của bạn về hệ thống tích hợp trong tương lai với sự phát triển ngày càng rộng rãi xu hướng IoT.
Intel Edison – Bluetooth – P2 Intel Edison được tích hợp sẵn Bluetooth Smart/Low Energy (BLE) cho phép bạn có thể kết nối đến Edison từ điện thoại thông minh và phù hợp cho bất kỳ dự án IoT nào mà bạn sẽ thực hiện trong tương lai thông qua Bluetooth.
Intel Edison – Tùy biến Bluetooth – P3 Mã nguồn BlueZ được cài đặt trên nền Yocto Linux cho phép người dùng Intel Edison tùy biến mạnh mẽ các thông số bluetooth một cách dễ dàng thông qua các tập tin cấu hình.
Tấn công máy tính Windows sử dụng Responder Việc tận dụng các tính năng phần cứng từ Edison (Wireless, Wired hardware) và tính tương thích mạnh mẽ của Yocto linux đã giúp choviệc phát triển các dạng tấn công trên môi trường đòi hỏi tính linh động trở nên dễ dàng.
Truyện tiểu thuyết tiểu thuyết cập nhật mới
Thủ thuật chương trình
Hướng dẫn làm trang sức tự làm trang sức đẹp và dễ dàng
Giới thiệu SDR – Ứng dụng MATLAB và RTL-SDR trong nghiên cứu sóng vô tuyến SDR cung cấp những khả năng phát triển linh động hơn nhiều so với phương pháp truyền thống sử dụng Crystal Radio Set rtl-sdr

Giới thiệu SDR – Theo dõi thông tin chuyến bay sử dụng MATLAB và RTL-SDR thu nhận tín hiệu ADS-B Automatic Dependent Surveillance Broadcast (ADS-B) là một công nghệ được sử dụng trong việc giám sát vị trí của máy bay khi đang hoạt động trên không. ADS-B cho phép máy bay gởi dữ liệu định kỳ theo khoảng thời gian cố định nhằm thông báo các thông tin như vị trí, độ cao, tốc độ, mã chuyến bay, số hiệu máy bay và các thông tin khác.

(Visited 93 times, 1 visits today)

Related articles

  1. Regulators Eye Algorithms

    Offering scrapes public quotes to create firm prices.

  2. Futures Markets Warm to Algos

    The firm has slated three more block trading solutions for MiFID II.

  3. FX Option Volumes Flat Despite Brexit Vote

    A new algorithm splits a difficult currency trade into two more liquid ones.

  4. Northern Trust to Add Algo Execution to CompleteFX
    From The Markets

    TS Adds Multi-Leg Algorithm

    TradeSmart platform will include Legger, a fixed income and futures algo from Quantitative Brokers.

  5. First Half of FX Code of Conduct Arrives

    FX traders needs more transparency and tools to deal with venue fragmentation.