Manuel Carrasco
@manuelgcarrasco
PhD student at @SRGImperial
ID: 1454956669016973312
31-10-2021 23:41:32
14 Tweet
26 Takipçi
92 Takip Edilen
CF Bolz-Tereick
@cfbolz
PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Vegan. they/them Mainly on @[email protected]
Galois
@galois
Galois applies cutting edge computer science and mathematics to solve difficult technological problems.
Martin Odersky
@odersky
lead designer of Scala
Dejan Jovanović
@dddejan
level 36 pokemon trainer, dejan.eth
Coen De Roover
@coenderoover
Professor @ Software Languages Lab - Vrije Universiteit Brussel. Program, repository & ecosystem analysis, concolic testing, software quality, tools.
RiSE Team @ MSR
@rise_msr
Research in Software Engineering team at Microsoft Research.
Paul Kelly
@paulhjkelly
Codeplay Software
@codeplaysoft
Since 2002, Codeplay has been committed to defining open standards and supporting open ecosystems for accelerated computing.
Anastasios Andronidis
@a_andronidis
Worldcoin engineering 🛠️🪩| Angel Investor🪽 | Biotech ex-startuper 🧬 | Unreasonable optimistic and excited about the future
Michaël Marcozzi 🇪🇺🇧🇪
@michaelmarcozzi
Permanent researcher in cybersecurity (fuzzing) @UnivParisSaclay I make software safer by viciously torturing it to reveal its flaws I can be kind too
Quentin Stiévenart
@acieroid
Laurence Tratt
@laurencetratt
Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Eric Lippert
@ericlippert
Eric Lippert is a programming language designer; prior work includes the C#, Hack, JavaScript and Bean Machine compilers. Blog at ericlippert.com.
Zvonimir Rakamaric
@rakamaric
quarkslab
@quarkslab
Securing every bit of your data bsky.app/profile/quarks… infosec.exchange/@quarkslab
European Research Council (ERC)
@erc_research
European Research Council, set up by the EU, funds top researchers of any nationality, helping them pursue ideas at the frontiers of knowledge. 🦋erc.europa.eu.
Mike Hicks
@michael_w_hicks
Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar cedarpolicy.com. Inactive: see my WWW for new location
Sebastian Erdweg
@seba0_
@uni_mainz @uni_mainz_eng – Programming Languages
Builder.io
@builderio
Design to Shipped. Faster.
Brandon Falk
@gamozolabs
I find and exploit 0day, develop OSes, hypervisors and emulators, design massively parallel data structures and code, and do precision machining! Optimization❤️
Mira Mezini
@m_mezini
CS Professor @TUDarmstadt from 🇦🇱, Head of @stg_darmstadt, @ERC_Research Grant Recipient, co-director Hessian.AI, board member @ATHENECenter
Luís Pina
@luisggpina
Assistant Professor @UICCS, previously @ George Mason University, @SRGImperial , @plumlab , @inescid
Daniel Schemmel
@danielschemmel
Daniel Grumberg
@danygrumberg
docs and stuff @ he/him/his @[email protected]
CASA - Cluster of Excellence for Cyber Security
@casa_exc
Inactive Profile | Cybersecurity Research based @hgi_bochum @ruhrunibochum | casa.rub.de/en/imprint
ETAPS Conferences (now on other platforms)
@etapsconf
We aren't here; find us on BlueSky, Mastodon, Facebook or Linkedin. Or in person, at ETAPS 2025: May 3–8, Hamilton, Canada
Semmle
@semmle
Semmle has joined GitHub. Finding zero-days and automating variant analysis | Creators of CodeQL and @LGTM
FLoC2022
@floc2022
Federated Logic Conferences 2022 Haifa, Israel
Lacework
@lacework
Lacework is now a part of @Fortinet. Follow us there for the latest product news!
Irene Zhang
@schemeprincess
[email protected] on Mastodon. schemeprincess on Instagram.
FormatFuzzer
@formatfuzzer
FormatFuzzer is a framework for high-efficiency, high-quality, blackbox/whitebox generation and parsing of binary inputs. Its main author is @Rafael_T_Dutra.
Amazon Science
@amazonscience
The latest news and research from Amazon's science community. #AmazonScience
Certora
@certorainc
Securing DeFi through smart contract audits, formal verification, and protocol design reviews. Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.
Nikolaj Bjorner
@bjornernikolaj
SAT Conference
@thesatconf
21-24 August 2024, Pune, India International Conference on Theory and Practice of Satisfiability
Chad Brewbaker
@smt_solvers
Any sufficiently advanced technology is indistinguishable from magic. - Arthur C. Clarke
Julian Büning
@julianbuening
PhD student @ RWTH Aachen University. Program Analysis and Symbolic Execution.
Stefanos Chaliasos
@schaliasosvons
PhD candidate @imperialcollege, security researcher @zksecurityXYZ. Exploring ZKPs.
Federico Olmedo
@federic99114406
Computer scientist - Académico UChile.
Idriss Riouak
@riouakidriss
jose.fragoso.santos
@josefragososan
Assistant professor at IST Lisbon. PL and Formal Methods.
Bernardo Almeida
@bernardoa1904
ICOOOLPS 2023
@icooolps
Workshop on Implementation, Compilation, Optimization of Object Oriented Languages, Programs and Systems
Karine Even-Mendoza
@karineevenmend1
Computer scientist and a lucturer@KCL/Informatics
Arindam Sharma
@arindam_sharma8
Computer Science PhD student at @SRGImperial Working on software patch testing and fuzzing London/Oxford
Imperial Computing
@iccomputing
Providing global leadership through research and education at @imperialcollege. Linkedin bit.ly/3dJ25vG / YouTube bit.ly/2VoSQvD
tosem
@acm_tosem
Mooly Sagiv @ NYU
@sagivmooly
CEO of @CertoraInc and a chair of software systems at @TelAvivUni
Critical Systems Research Group
@ftsrg_bme
Critical Systems Research Group at @BME_en working on #systemsengineering, #DataAnalytics and #formalverification.
Lionel Briand
@lionel_c_briand
Professor, IEEE and ACM Fellow, fellow of the Royal Society of Canada, CRC Tier 1 at U. of Ottawa, Canada. Director, Lero centre for software research, Ireland.