Ronghui Gu discussed blockchain security on Columbia Data Security

CertiK | May 22, 2019

Article's Poster

More than a thousand attendees packed into Lerner Hall for Columbia’s fourth annual Data Science Day, eager to hear from experts from across the university who are transforming disciplines and industries through thoughtfully applied data. Columbia Engineering faculty showcased innovative research ranging from blockchain security to extracting speech from brainwaves, while professors from the Law School, Journalism School, School of International and Public Affairs, Medical Center, and more discussed work in areas like protecting data security, understanding online radicalization, and improving patient outcomes.

In lightning talks throughout the April 3 daylong summit, affiliates of Columbia’s Data Science Institute (DSI) shared their work applying machine learning to an impressive variety of challenges. In a panel moderated by Professor Garud Iyengar, chair of Columbia Engineering’s Industrial Engineering and Operations Research (IEOR) department, electrical engineering Professor Nima Mesgarani discussed his ground-breaking work in brain-computer interfaces and acoustic signal processing. Recently, he managed to reconstruct intelligible speech from brain activity — a potential game-changer for those who’ve lost the ability to speak — and is also addressing the “cocktail party problem” in hearing aids, which currently amplify more audio than listeners wish to hear.

Among a panel moderated by Professor Shipra Agrawal of IEOR were computer science Professors Michael Collins and Tim Roughgarden. Collins walked the audience through his research in natural language processing and speech recognition, highlighting dramatic improvements thanks to new neural methods, while Roughgarden talked about his investigations of online automated auction reserve pricing, an area with vast implications for sponsored search results.

In another panel, fellow computer science faculty member Ronghui Gu discussed his work using mathematical methods to improve the security and reliability of blockchain technology. Ronghui Gu is also a co-founder of CertiK, a pioneering smart contract and blockchain cybersecurity firm which leverages Formal Verification technology to secure blockchain ecosystems.

Amid all the potential of cutting-edge data science, there are also potential pitfalls, argued the day’s keynote speaker Brad Smith ’84LAW, president and chief legal officer of Microsoft. Unchecked, “mass surveillance at an unprecedented scale” could quickly turn societies Orwellian, he said, unless nations institute rigorous new legal standards to protect privacy, promote transparency, and ensure accountability.

“We are the first generation of people in the history of this planet to give machines this kind of power,” Smith said. “We’re basing our lives on all of this technology, we’re basing our societies on all of this technology, so more than ever the world needs to be able to trust this technology… Ultimately, we need a global conversation about these issues.”

Later, attendees explored dozens of demos and posters from students and faculty, ranging from full-duplex wireless enabling simultaneous transmission and reception to software analyzing indices to predict outcomes of complex global events such as Brexit. A research team from computer science Professor Steven Feiner’s Computer Graphics and User Interfaces Lab was voted best demo for their augmented/virtual reality system that allows multiple users to explore an immersive computer-generated 3D urban model of New York City.

“This new system is about multiple users collaborating in either AR or VR as they explore, organize, and share data associated with an urban environment in the context of that environment,” said Carmine Elvezio, a researcher in Feiner’s lab. “We place users in a virtual scale model where they see tweets, Yelp reviews, and NYC 311 complaints relative to the locations from which they are generated.”

Introducing proceedings, Avanessians Director of the Data Science Institute and computer science Professor Jeannette Wing noted that the collective’s overarching mission is “to use data for good.”

“Data Science Day is our moment to showcase our pioneering research and celebrate our engagements with industry,” she said.

Source Link: https://engineering.columbia.edu/news/data-science-day-2019

About CertiK

CertiK is the premier blockchain and smart contract verification platform, founded by top Formal Verification experts from Yale and Columbia University and former senior software engineers from Google and Facebook. Different from the traditional testing approaches, CertiK attempts to mathematically prove blockchain ecosystems and smart contracts are hacker-resistant and bug-free. CertiK’s key features include a layer-based decomposition approach, pluggable proof engine, machine-checkable proof objects, certified dApp libraries, and smart labeling.

Trusted by the security industry, CertiK has reached strategic partnerships with the world’s top digital asset exchanges such as Binance, OKEx, and Huobi, as well as Public Chains such as NEO, ICON, and QuarkChain. CertiK is incubated and invested in by Binance Labs, along with other world’s leading investors such as DHVC, FBG Capital, Bitmain, and Lightspeed.

To request the audit/verification of your smart contracts, please send an email to audit@certik.org or visit certik.org to submit the request.

Twitter: https://twitter.com/certikorg

Telegram: https://t.me/certikorg

LinkedIn: https://www.linkedin.com/company/certik/

Email: info@certik.org