Skip to content
View andrew-werdna's full-sized avatar
95 followers · 1k following
  • Austin, Texas
  • 14:38 (UTC -05:00)

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: Public SponsorAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: Public SponsorAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report andrew-werdna

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@awslabs
Amazon Web Services - Labs awslabs
AWS Labs

Seattle, WA

@bryce-shang
Bryce Shang bryce-shang
@andreistefanescu
Andrei Stefanescu andreistefanescu

@GaloisInc Portland, OR

@apetcher-amazon
apetcher-amazon
@pennyannn
Yan Peng pennyannn
@formal-land
Formal Land formal-land
Formal Verification for Web3
@olympichek
Valerii Huhnin olympichek

Formal Land

@dhilst
Daniel Hilst dhilst
President of People's Republic of Saturn's Rings.

Brazil - Florianópolis

@InfiniteEchoes
GY InfiniteEchoes
@bartlomiejkrolikowski
bartlomiejkrolikowski
@clarus
Guillaume Claret clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲

Formal Land Paris

@robertobruttomesso
Roberto Bruttomesso robertobruttomesso
Ph.D., Software Engineer, Formal Methods, Cybersecurity

@NozomiNetworks Mendrisio, CH

@formalmethods
Formal Methods formalmethods
@YosysHQ
Yosys Headquarters YosysHQ
Yosys Open SYnthesis Suite
@mmicko
Miodrag Milanović mmicko

Novi Sad, Serbia

@jix
Jannis Harder jix

Leipzig

@clairexen
Claire Xen clairexen
Claire Xenia Wolf

@YosysHQ Vienna

@KrystalDelusion
KrystalDelusion
@cliffordwolf
Claire Wolf cliffordwolf

Vienna

@Practical-Formal-Methods
Practical-Formal-Methods
Maria Christakis' research group at MPI-SWS
@utwente-fmt
University of Twente - Formal Methods and Tools utwente-fmt

Enschede, The Netherlands

@shuvendu-lahiri
Shuvendu Lahiri shuvendu-lahiri
Researcher in formal methods, verification, and software engineering.

@Microsoft Redmond, WA

@nrryuya
Ryuya Nakamura nrryuya
Executive Officer of LayerX Inc. Twitter: https://twitter.com/nrryuya Twitter (Japanese): https://twitter.com/nrryuya_jp

@LayerXcom Tokyo

@webthethird
William E Bodell III webthethird
Smart contract developer and security researcher. Master of CS from Illinois Institute of Technology, master of architecture from Columbia University.
@hajduakos
Akos Hajdu hajduakos
Computer scientist, PhD

@Facebook United Kingdom

@MrChico
MrChico
@baolean
baolean
@kmbarry1
Kurt Barry kmbarry1

@makerdao

@WilfredTA
Tak WilfredTA

Khalani

@jdnklau
Jannik Dunkelau jdnklau
Doctoral student at Heinrich Heine University Düsseldorf. Interested in machine learning and formal methods.

University of Düsseldorf Düsseldorf, Germany

@johnsonstephan
Stephan Johnson johnsonstephan

Dartmouth College New York City

@DenverCoder1
Jonah Lawrence DenverCoder1
📺 https://youtube.com/DevProTips  💻 Full Stack Dev  📚 Always learning!  🎨 12+ years of Web Dev & Design  🌟 GitHub Star

Fresh Idea Inc.

@jwiegley
John Wiegley jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

@kadena-io California, USA

@psibi
Sibi Prabakaran psibi

@fpco Bangalore (India)

@adinapoli
Alfredo Di Napoli adinapoli
Haskell programmer working remotely from Rome, Italy.

Well-Typed LLP Rome, IT

@gregwebs
Greg Weber gregwebs

Digital Mint Chicago, IL

@cldwalker
Gabriel Horner cldwalker
@thiagokokada
Thiago Kenji Okada thiagokokada
dd if=/dev/urandom of=/dev/brain0

https://www.global-e.com/ Dublin, Ireland

@lispyclouds
Rahuλ Dé lispyclouds
Diversity 🏳️‍🌈 Clojure λ Babashka 👵 SRE 📊 Neovim ✏️

Yes Denial

@bobisageek
Bob bobisageek
I'm a general nerd that likes writing code and generally making things work better.

Pennsylvania,, USA

@borkdude
Michiel Borkent borkdude
Clojure developer, author and maintainer of clj-kondo, babashka, SCI and squint.

Amersfoort

@threema-ch
Threema GmbH threema-ch
Seriously Secure Messaging. Impressum: threema.ch/impressum

Switzerland

@plutov
Alex Pliutau plutov
SWE | Passionate about Backend, Go, Cloud, DevOps, Kubernetes | Writing https://packagemain.tech Newsletter | 🇩🇪

@binarly-io Berlin, Germany

@graninas
Alexander Granin graninas
Software architect, book author, Haskell expert, international speaker, blogger | "Functional Design and Architecture" book (Manning)

UAE, Dubai

@ashishps1
Ashish Pratap Singh ashishps1
Author of AlgoMaster Newsletter | YouTube (100k+) | Prev @ Amazon | Interest in Algorithms, Distributed Systems and AI

AlgoMaster.io Remote

@fullstack-hy2020
fullstack-hy2020
@CassivsGabriellis
cassivsgabriellis CassivsGabriellis
Eu e minhas circunstâncias.
@marklaatikainen
Mark Laatikainen marklaatikainen

Helsinki

@RichardStark
RichardStark RichardStark
Love you 3000❤️
@Kaltsoon
Kalle Ilves Kaltsoon
Software Developer & Teacher 💡

@haagahelia Helsinki, Finland