iFM
@ifmconf
ID: 831473908364800000
https://ifm22.si.usi.ch/ 14-02-2017 12:03:22
71 Tweet
183 Followers
159 Following
João F. Ferreira
@jff
Computer Scientist / CS Prof at IST (@istecnico) / Researcher at INESC-ID (@InescID)
Maynooth University Undergraduate Admissions
@maynoothcao
We manage the admission to Maynooth University, through the CAO, of applicants to our undergraduate level 8 degree courses.
Andreas Zeller
@andreaszeller
Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
Hridesh Rajan
@hridesh
personal account of Hridesh Rajan, views/opinions expressed here are my own and do not reflect the views of my employer or sponsors
Eelco Visser
@eelcovisser
Professor of #ComputerScience at @tudelft working on Software Language Design and Engineering, building @Spoofax #LanguageWorkbench, photographer
Klaus Havelund
@havelund
Senior Research Scientist at Jet Propulsion Laboratory
Serano Colameo
@colameo
Arcware.io - Smart IT Architecture Solutions, Language Engineering (DSLs, compilers, interpreters, IDEs), Enterprise, SAP APIs, Requirements & Test Engineering
Alexandra Mendes
@asfmendes
Assistant Prof. in CS@FEUP, University of Porto (@feup_porto). Previously: Visiting Researcher @CarnegieMellon. Loves Programming, Maths, gardening, and walks.
Andy Zaidman
@azaidman
Full professor in software engineering @tudelft @serg_delft. Department head @delftswtech. Software tester. Researcher. Teacher. World citizen.
Jeremy Siek
@jeremysiek
Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
atbrox
@atbrox
Research, Consulting, Startup Investing (Norway/USA): memkite.com, vetu.no, goruu.com, declara.com, fixx.li
Claudio Mattutino
@clamattu
Turin, ITA 🇮🇹 Italian ICT researcher, basketball coach, movies & music fan, serieTv addicted. Torino FC supporter
Alberto Bacchelli
@sback_
Tweeting about my personal opinions; RT or Following ≠ endorsement. Professor of Empirical Software Engineering @UZH_en. Head of @ZESTuzh. Bolognese.
Norbert Siegmund
@norbsen
@[email protected] Full Professor for Software Systems at Leipzig University. Please use mastodon in the future...
Danilo Pianini
@danysk86
Computer scientist and engineer, researcher and teacher at UniBo. Author of dozens of open source tools. Neverending appetite for science and critical thinking.
-
@ericwalkingshaw
Maynooth University
@maynoothuni
Maynooth University in top 90 global Times Higher Education Young University Rankings 2024. #CAO #PostGrad
Sarah Nadi
@sarahnadi
Associate Prof., CS, @NYUAbuDhabi. I work on code reuse, APIs, & collab. SW dev., mining SW repos. On leave from UofA, CRC in Software Reuse.
Ulrik Pagh Schultz
@ulrikpschultz
Professor, Head of SDU UAS - Research and innovation in drones for a flourishing European society.
Angelo Hulshout
@langworkbenches
Software architect and owner at Delphino Consultancy. (Co-)organiser of Language Workbench Challenge and Software Development Automation.
Robert Feldt
@drfeldt
Prof in Software Engineering at Chalmers University & Blekinge Inst of Tech, and co-EiC of EMSE Journal. I tweet my own opinions, mostly about research.
Marie Farrell
@farrell_marie
Royal Academy of Engineering Research Fellow at The University of Manchester
Arnaud Hubaux
@ahubaux
AI Trailblazer | Intrapreneur | Speaker
Andrea Santi
@andreasanti85
Mirko Viroli
@mirkoviroli
FSE 2025
@fseconf
ACM International Conference on the Foundations of Software Engineering (FSE)
Dirk Beyer
@beyer_dirk
Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)
Thorsten Berger ([email protected])
@thorsten_berger
Professor of Computer Science at Ruhr University Bochum, DE. Chalmers|University of Gothenburg, SE, UWaterloo, CA; ITU CPH, DK; ULeipzig, DE. dsl.design
Dottor Paolo Casadei
@paolocasadei72
Maurizio Drocco
@mauriziodrocco
Sebastian Erdweg
@seba0_
@uni_mainz @uni_mainz_eng – Programming Languages
rahulku
@therahulku
I’m me
Guido Salvaneschi
@guidosalva
Associate Professor and Director, University of St.Gallen. Previously Technical University of Darmstadt. Programming languages and Software Engineering.
ACM SIGLOG
@acmsiglog
STG Darmstadt
@stg_darmstadt
The Software Technology Group (STG) of Prof. Mira Mezini @m_mezini at @cs_tudarmstadt TU Darmstadt
David Benavides
@davbencue
Profesor Informática @etsii Con ganas de cambiar el mundo. Mirada en Andalucía. Full Professor. Former chair of the @splcconf now coordinating @diversolabUS
Klaus Schmid
@1klausschmid
Professor Software Engineering, University Hildesheim
Jake Beal
@jacob__beal
I no longer wish to support Twitter / X. Find me at: linkedin.com/in/jake-beal/ jakebeal.github.io jakebeal.blogspot.com
Tim Winkelmann
@timwinkelmann84
SPLC 2025
@splcconf
The 29th ACM International Systems and Software Product Line Conference (SPLC) #splc2025 📅 September 1-5, 2025
Ștefan Stănciulescu
@scstanciulescu
Software Engineering Researcher
Kim G Larsen
@kglaau
FMASWorkshop
@fmasworkshop
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Tweets by @MattLuckcuck
Shaun Azzopardi
@shaunazzopardi
Jorge A. Pérez
@perezjorgea_
Fundamental Computing (rug.nl/fse/fc) @univgroningen Software correctness | Concurrency, Logic, Programming Father (x2)
FoelliX
@foellixde
Felix Pauck (FoelliX): Static Code Analysis Developer, Gamer, and Steelers fan. FelixPauck.de
Khaza Anuarul Hoque
@khazahoque
Assistant Professor of EECS @mizzouengineer, Director @dependableCPS, University of Missouri @mizzou. Formal Method | AI Hardware | CPS | Trustworthy AR/VR
A and V Network
@aandvnetwork
Research network focussing on verification of autonomous systems. Distributed across several universities Led by Prof. Michael Fisher. Tweets by @MattLuckcuck
RV2017
@rv_2017