Events Add an event Speakers Talks Collections
 

Speakers

Sort by
Newest
Trending
1-30 of 160
1-30 of 160
Filter
John Hughes
Founder at Quviq AB
ada, ada coin, adapter pattern, algorand, architecture, binary search tree, binary tree, bitcoin, bitcoin protocol, blockchain, blockchain protocol, blockchain technology, byron, c-fund, call stack, cardano, chainlink, charles hoskinson, clause, computer, cryptocurrency, dapps, defi, documentation, engineering, eos, ethereum, fade (audio engineering), finite-state machine, fraction, function (mathematics), functional programming, generic programming, goguen, haskell, haskell coding, hope, hoskinson, input output, iohk, java (programming language), language, lazy evaluation, list comprehension, logic, metaphor, miranda (programming language), multi-asset, native assets, operating system, ouroboros, pdf, programming language, proof of stake, proof of work, proposition, python (programming language), reason, regression analysis, regression testing, reverse engineering, rust (programming language), shelley, smart contracts, software , software bug, software development, source lines of code, specification (technical standard), swift (programming language), system, technology, test-driven development, tezos, time complexity, translation, tree (data structure), type class, type system, vechain, voltaire, wen
Simon Peyton-Jones
Principal Researcher at Microsoft Research
ada, ada coin, algorand, bitcoin, bitcoin protocol, blockchain, blockchain protocol, blockchain technology, byron, c-fund, cardano, chainlink, charles hoskinson, computer, cryptocurrency, dapps, defi, eos, ethereum, functional programming, generic programming, goguen, haskell, haskell coding, hope, hoskinson, input output, iohk, java (programming language), language, lazy evaluation, list comprehension, logic, metaphor, miranda (programming language), multi-asset, native assets, ouroboros, programming language, proof of stake, proof of work, proposition, python (programming language), reason, rust (programming language), shelley, smart contracts, software bug, software development, swift (programming language), technology, tezos, time complexity, translation, type class, type system, vechain, voltaire, wen
Charles Moran Morgan
director of cyber security at IOHK
ada, ada coin, algorand, algorithm, bitcoin protocol, blockchain, blockchain protocol, blockchain technology, byron, c-fund, cardano, chainlink, charles hoskinson, compiler, computer programming, continuous testing, cryptocurrency, dapps, debugging, defi, eos, ethereum, formal methods, functional programming, garbage collection (computer science), goguen, haskell, haskell coding, hoskinson, input output, iohk, java (programming language), library (computing), memory safety, multi-asset, native assets, object-oriented programming, ouroboros, pointer (computer programming), programming language, proof of stake, proof of work, reason, requirement, science, scientific method, security, shelley, smart contracts, software bug, software development, software development process, tezos, top-down and bottom-up design, type system, vechain, voltaire, waterfall model, wen
Kevin Hammond
Software Engineer at IOHK
ada, ada coin, algorand, bitcoin, bitcoin protocol, blockchain, blockchain protocol, blockchain technology, byron, c-fund, cardano, chainlink, charles hoskinson, computer, cryptocurrency, dapps, defi, eos, ethereum, fork, functional programming, generic programming, goguen, haskell, haskell coding, hope, hoskinson, input output, iohk, java (programming language), language, lazy evaluation, list comprehension, logic, metaphor, miranda (programming language), multi-asset, native assets, ouroboros, programming language, proof of stake, proof of work, proposition, python (programming language), reason, rust (programming language), shelley, smart contracts, software bug, software development, swift (programming language), technology, tezos, time complexity, translation, type class, type system, vechain, voltaire, wen
Duncan Coutts
Chief technical architect at IOHK
ada, ada coin, algorand, algorithm, bank, bitcoin, bitcoin protocol, blockchain, blockchain protocol, blockchain technology, byron, c-fund, cardano, chainlink, charles hoskinson, computer, computer security, contract, control flow, cryptocurrency, cryptography , dapps, defi, eos, erc-20, ethereum, evidence-based design, for loop, fork, formal verification, function (mathematics), functional programming, generic programming, goguen, hard disk drive, haskell, haskell coding, hope, hoskinson, implementation, inequality (mathematics), input output, input/output, internet, iohk, java (programming language), language, lazy evaluation, list comprehension, logic, mathematical proof, mathematics, metaphor, mind, miranda (programming language), modal logic, money, multi-asset, native assets, network congestion, number, ouroboros, packet loss, payment, payment system, percentage, programming language, proof of stake, proof of work, proposition, proxy server, python (programming language), randomness, reason, reliability engineering, rust (programming language), science, shame, shelley, smart contract, smart contracts, software bug, software development, solidity, specification (technical standard), speed of light, staples inc., surveillance, swift (programming language), swimming, system, taxicab, tcp congestion control, technology, tezos, time complexity, tps, translation, transmission control protocol, type class, type system, united kingdom, utility, vechain, voltaire, wen, wi-fi, wii
Philip Wadler
Computer Scientist at University of Edinburgh
ada, ada coin, algorand, application layer, automation, bank, bitcoin, bitcoin protocol, blockchain, blockchain protocol, blockchain technology, bluetooth, byron, c-fund, cardano, chainlink, charles hoskinson, communication protocol, computer, computer network, computer programming, cryptocurrency, dapps, decentralization, defi, determinism, domain-specific language, encryption, entrepreneurship, eos, ethereum, eval, formal verification, functional programming, generic programming, goguen, haskell, haskell coding, hope, hoskinson, information, infrastructure, input output, interoperability, iohk, java (programming language), javascript, lambda calculus, language, lazy evaluation, lexical analysis, linearizability, list comprehension, logic, marlowe, mathematics, metaphor, miranda (programming language), multi-asset, native assets, natural deduction, ouroboros, payment, plutus, privacy, programmer, programming language, proof of stake, proof of work, proposition, python (programming language), reason, routing, rust (programming language), science, shelley, simulation, smart contract, smart contracts, software bug, software development, sustainability, swift (programming language), system, system f, technology, tezos, time complexity, translation, type class, type system, vechain, voltaire, wen, world wide web, zero-knowledge proof
Manuel Chakravarty
Functional Programming Specialist at Tweag I/O
ada, ada coin, algorand, auction, automation, bitcoin, bitcoin protocol, blockchain, blockchain protocol, blockchain technology, byron, c-fund, cardano, chainlink, charles hoskinson, communication protocol, conflict resolution, consensus (computer science), contract, cryptocurrency, dapps, decentralization, defi, determinism, digital signature, divorce, domain-specific language, eos, ethereum, eval, finite-state machine, food, food safety, foreign exchange market, formal verification, functional programming, garbage collection (computer science), goguen, haskell, haskell coding, hoskinson, hydra, input output, inspection, iohk, javascript, lambda calculus, language, lexical analysis, lightning network, linearizability, logic, marlowe, mathematics, multi-asset, native assets, natural deduction, ouroboros, payment, plutus, programmer, programming language, proof of stake, proof of work, public-key cryptography, scalability, science, shelley, signature, simulation, smart contract, smart contracts, snapchat, software development, system, system f, tezos, universe, vechain, voltaire, wen, world wide web
Simon Thompson
Technical Project Director, dApp Platform at Input Output (IOHK)
ada, ada coin, adoption, algorand, automation, bank, bit, bitcoin, bitcoin protocol, blockchain, blockchain protocol, blockchain technology, bond (finance), byron, c-fund, cardano, causative, chainlink, charles hoskinson, complexity, contract, counterexample, credit, credit risk, cryptocurrency, currency, dapps, defi, derivative (finance), determinism, dollar, domain-specific language, eos, equation, ethereum, eval, evaluation, finance, finite-state machine, formal verification, formula, fortran, function (mathematics), functional programming, funk, futures contract, github, goguen, haskell, haskell (programming language), haskell coding, honda, hoskinson, imperative programming, input output, interest, interest rate, interface (computing), internet, investor, iohk, javascript, lambda calculus, language, law, lazy evaluation, lexical analysis, linearizability, list comprehension, logic, lookup table, machine, macro (computer science), marlowe, mathematics, memoization, memory, memory management, mirror, money, multi-asset, native assets, natural deduction, nothing, option (finance), ouroboros, parameter (computer programming), parsing, payment, plutus, programmer, programming language, proof of stake, proof of work, question, randomness, rapping, reason, receipt, reddit, regulatory compliance, research, rock paper scissors, self-control, sequence, shelley, signature, simulation, smart contract, smart contracts, software development, space, static program analysis, statistical inference, syntax, system, system f, template (c++), tezos, thread (computing), thunk, timer, understanding, utility, variable (computer science), vechain, voltaire, volume, wechat, wen, world wide web
Stephen Wolfram
Founder & CEO at Wolfram Research
ada, ada coin, albert einstein, algorand, bitcoin protocol, black hole, blockchain, blockchain protocol, blockchain technology, c-fund, cardano, chainlink, charles hoskinson, cryptocurrency, dapps, defi, dimension, energy, entropy, eos, ethereum, functional programming, fundamental interaction, goguen, gravity, halting problem, haskell, haskell coding, hoskinson, input output, iohk, lazy evaluation, manifold, mass, mathematics, matter, multi-asset, native assets, ouroboros, physics, proof of stake, proof of work, quantum mechanics, science, second law of thermodynamics, shelley, siri, smart contracts, software development, spacetime, special relativity, speed of light, system, tezos, theory of relativity, topology, turing machine, vechain, voltaire, wen, wolfram
Jann Müller
Software Engineering Lead at Input Output (IOHK)
ada, ada coin, algorand, application software, backup, belief, bit, bitcoin, bitcoin protocol, blockchain, blockchain protocol, blockchain technology, c-fund, cardano, chainlink, charles hoskinson, cloud computing, consensus (computer science), cryptocurrency, currency, dapps, defi, deployment environment, desktop computer, determinism, eos, ethereum, functional programming, goguen, haskell, haskell coding, hoskinson, information, input output, interface (computing), iohk, library, monetary policy, money, multi-asset, native assets, ouroboros, plutus, programming language, proof of stake, proof of work, public-key cryptography, reason, scripting language, shelley, smart contracts, software development, software development kit, swap (finance), tezos, vechain, voltaire, wen, world wide web
Michael Peyton-Jones
Technical Architect at Input Output (IOHK)
ada, ada coin, algorand, android (operating system), application software, backup, belief, bit, bitcoin, bitcoin protocol, blockchain, blockchain protocol, blockchain technology, bluetooth, c-fund, cardano, chainlink, charles hoskinson, cloud computing, compiler, consensus (computer science), contract, cryptocurrency, currency, dapps, defi, dentist, deployment environment, design, desktop computer, determinism, eos, erc-20, ethereum, functional programming, goguen, great depression, haskell, haskell coding, hoskinson, information, innovation, input output, interface (computing), iohk, language, lawyer, learning curve, library, logic, mobile app, monetary policy, money, mortgage loan, multi-asset, native assets, operating system, ouroboros, plutus, programming language, proof of stake, proof of work, property, prototype, public-key cryptography, reason, research, research and development, scripting language, shelley, smart contract, smart contracts, software development, software development kit, software framework, solidity, swap (finance), system, technology, text messaging, tezos, use case, vechain, voltaire, wen, world wide web
Riaz Virani
Developer
boolean data type, business process, computer, computer programming, control flow, devops, discord (software), error, exception handling, functional programming, hash function, iterator, learning curve, library (computing), method (computer programming), object (computer science), object-oriented programming, parameter, price, question, record (computer science), ruby (programming language), software framework, subroutine, variable (computer science)
Greg Lindhorst
Principal PM Architect at Microsoft
acumatica, anonymous function, application software, build, c sharp (programming language), c1x9, cloud computing, compiler, computer, computer programming, data type, database, declarative programming, enterprise resource planning, function (mathematics), functional programming, github, greg lindhorst, integral, intelligent code completion, javascript, microsoft, microsoft build, microsoft build 2021, microsoft developer, microsoft excel, mike stall, msft build, msft build 2021, od539, on-demand, power fx: the programming language for low code and what it means for developers | od539, power platform, read-only memory, real-time computing, scope (computer science), source code, spreadsheet, type system
Mike Stall
Principal Software Architect at Microsoft
acumatica, anonymous function, application software, build, c sharp (programming language), c1x9, cloud computing, compiler, computer, computer programming, data type, database, declarative programming, enterprise resource planning, function (mathematics), functional programming, github, greg lindhorst, integral, intelligent code completion, javascript, microsoft, microsoft build, microsoft build 2021, microsoft developer, microsoft excel, mike stall, msft build, msft build 2021, od539, on-demand, power fx: the programming language for low code and what it means for developers | od539, power platform, read-only memory, real-time computing, scope (computer science), source code, spreadsheet, type system
Leo Benkel
Founder at PURE LAMBDA
calipers, category theory, complex system, computer, computer programming, database, debugging, engineering, extract, transform, load, function (mathematics), functional programming, futures contract, internet, library, license, money, nothing, object-oriented programming, rice, she-ra, sibú, skype, software bug, truck, youtube
Julien Truffaut
Functional Scala trainer at fp-tower
api, class (computer programming), computer programming, expert, function (mathematics), functional programming, goal, haskell (programming language), http cookie, immutable object, java (programming language), learning curve, library, library (computing), mentorship, object (computer science), paypal, race condition, rust (programming language), scala (programming language), statistics, string (computer science), thread (computing), use case, variable (computer science)
Mary Grygleski
Developer Advocate at IBM
abstract (summary), abstraction, actor model, android (operating system), apache cordova, api, body language, command-line interface, common knowledge (logic), communication protocol, computer programming, concept, control flow, expert, eye contact, functional programming, groundbreakers, hypertext transfer protocol, internet, internet of things, java (programming language), knowledge, linux, lisa simpson, livestreaming, love, map, mentorship, mobile app, motivation, multilingualism, nothing, number, oracle cloud, oracle developers, pipeline (unix), problem solving, python (programming language), question, reactive programming, reality, reason, router (computing), runtime system, serverless computing, social media, software architecture, specification (technical standard), stream processing, thread (computing), value proposition, web server
Justin Heyes-Jones
Staff Software Engineer at Treasure Data
behaviorism, category theory, computer programming, concurrency (computer science), constructor (object-oriented programming), data type, data validation, database, fold (higher-order function), function (mathematics), functional programming, immutable object, information, mathematics, nothing, number, parameter (computer programming), persistent data structure, reason, referential transparency, return statement, string (computer science), subroutine, theory, type class
Jiyong Jang
Research Scientist and Manager at IBM Research
analytics, antivirus software, apple open collaboration environment, artificial neural network, black hat, black hat 2018 briefings, black hat briefings, black hat briefings 2018, black hat usa, black hat usa 18, black hat usa 2018, blackhat, blackhatusa, computer programming, computer security, computer virus, computer worm, computing, control flow, convolutional neural network, cross-site scripting, cyber threat hunting, cyberattack, cyberwarfare, deep learning, education, email, email client, email spam, facebook, feature (machine learning), functional programming, instagram, intelligence, language, machine learning, malware, mind, nervous system, neural network, open-source software, pattern language, personal computer, pixel, powershell, proprietary software, proxy server, reason, regular expression, self-driving car, sensor, social media, source code, stack (abstract data type), stuxnet, system, template matching, webcam, world wide web
Xiaokui Shu
Research Staff Member at IBM
analytics, apple open collaboration environment, computer programming, computing, control flow, cyber threat hunting, education, email, email client, email spam, functional programming, intelligence, language, machine learning, mind, open-source software, pattern language, powershell, proprietary software, proxy server, reason, regular expression, source code, stack (abstract data type), system, world wide web
Kendrick Tan
Developer at UMA
api, barnes & noble nook, best practice, cat, cloud computing, communication protocol, covid-19 pandemic, ethereum, fish, functional programming, gacha game, gigabyte, glasses, hand, latency (engineering), local area network, mainnet protocols, milk, motivation, paint, patch (computing), software bug, tennis, trial and error, twitter, velocity
Paul Biggar
Founder at CircleCI
api, big data, bit, circleci, compiler, computer file, computer programming, control flow, dark, database, developer tools, functional programming, immutable object, internet, interpreter (computing), it, java (programming language), mind, open-source-software movement, parsing, programming language, python (programming language), serverless computing, source code, stack (abstract data type), sustainability, text editor, type system, youtube
Eric Ma
Principal Data Scientist at Moderna
3d computer graphics, artificial neural network, automatic differentiation, chain rule, class (computer programming), computer programming, deep learning, dirichlet process, dot product, eric ma, eric ma python, function (mathematics), functional programming, game balance, github, machine learning, mind, normal distribution, numpy, object-oriented programming, pycon 2021 sponsor workshop, pycon us, pycon us 2021, python, python 2021, python community, python sponsor workshop 2021, python tips and tricks, python tutorial 2021, random number generation, softmax function, sponsor workshop by eric ma, stochastic matrix, structure, subroutine, tensorflow, thumb signal, vector space
Mike Müller
CEO and Trainer at Python Academy
disadvantages of functional programming, advantages of functional programming, backup, book, bracket, closure (computer programming), command-line interface, computer keyboard, computer programming, control flow, declarative programming, explanation, features of functional programming, fraction (mathematics), function (mathematics), function composition, functional programming, functional python, hash function, haskell (programming language), ice cube, imperative programming, keyboard shortcut, lazy evaluation, library (computing), list comprehension, mapreduce, menu, menu (computing), mike müller , mike müller python, mixing console, namespace, object (computer science), object-oriented programming, oneplus, parallel computing, pdf, pricing, programming paradigm, programming paradigms, project jupyter, pycon 2021 sponsor workshop, pycon us, pycon us 2021, python, python 2021, python sponsor workshop 2021, python tutorial 2021, python's functionals features, reddit, server (computing), sms, software , source code, sponsor workshop by mike müller, string (computer science), test-driven development, text file, the sorcerer, truth, unicode, utf-8
Tobias Kohn
Research Fellow at University of Cambridge
angle, area, complex number, data type, distance, euclidean vector, formula, function (mathematics), functional programming, information, knowledge, language, law, linked list, mean, number, pattern matching, pattern matching in python, pi, plane (geometry), programming language, pycon us 2021, python, python (programming language), python 2021, python talks 2021, reserved word, string (computer science), talk by tobias kohn, tobias kohn, tobias kohn python, type system, variable (computer science)
Nigel Smart
Professor at COSIC (KU Leuven)
#realworldcrypto, 64-bit computing, algorithm, api, array data structure, bit, block cipher mode of operation, communication protocol, compiler, complexity, computer, computer programming, conditional (computer programming), cryptanalysis, cryptocurrency, curve, data type, differential cryptanalysis, domain-specific language, equation, exponentiation, force, fraud, function (mathematics), functional programming, hash function, imperative programming, integer, key management, linear combination, number, openssl, permutation, planet, prime number, program optimization, programming language, prototype, public-key cryptography, reason, research, reserved word, rsa (cryptosystem), runtime system, software repository, star, statistics, system, truth, usability
Marcella Hastings
PhD Candidate at University of Pennsylvania
#realworldcrypto, api, array data structure, communication protocol, compiler, computer programming, conditional (computer programming), data type, domain-specific language, fraud, functional programming, imperative programming, key management, openssl, program optimization, programming language, prototype, public-key cryptography, reason, research, reserved word, runtime system, software repository, statistics, system, usability
Daniel Falbel
Engenheiro de software at RStudio, Inc.
abstraction, ai, artificial intelligence, artificial neural network, austin huang, automatic differentiation, bioinformatics, bit, c++, compiler, computer program, computer programming, computer vision, daniel falbel, facebook, functional programming, haskell, hasktorch, higher-order function, input/output, invariant (mathematics), library (computing), libtorch, machine learning, metadata, ml, mlverse, open-source-software movement, pascal (programming language), programming language, ptd2, pytorch, pytorch 1.7, pytorch developer day, runtime system, snippet (programming), tax, torch for r, type inference, type system
Austin Huang
Vice President, Artificial Intelligence and Machine Learning at Fidelity Investments
abstraction, ai, artificial intelligence, artificial neural network, austin huang, automatic differentiation, bioinformatics, bit, c++, compiler, computer program, computer programming, computer vision, daniel falbel, facebook, functional programming, haskell, hasktorch, higher-order function, input/output, invariant (mathematics), library (computing), libtorch, machine learning, metadata, ml, mlverse, open-source-software movement, pascal (programming language), programming language, ptd2, pytorch, pytorch 1.7, pytorch developer day, runtime system, snippet (programming), tax, torch for r, type inference, type system
Sophia Drossopoulou
Professor at Imperial College London
actors, bank, causality, computer programming, concurrency (computer science), credit, database, debit card, development, functional programming, garbage collection (computer science), garbagecollection, immutable object, infoq, internet troll, java (programming language), language, language development, mind, money, object-oriented programming, password, payment, pointer (computer programming), pony, price, programming language, qcon, reason, reference counting, symbol, transcripts, type system
1 2 3 4 5 6
1-30 of 160