Dorra BEN KHALIFA @dbenkhal
Associate Professor in Computer Science at ENAC dbenkhalifa.github.io Joined October 2021-
Tweets73
-
Followers46
-
Following158
-
Likes131
Doing research on verification of scientific software? Consider submitting to the aptly-named workshop on Verification of Scientific Software, deadline Feb 1st. Relevant topics include specification and verification of GPU code and case studies on FM vsl.cis.udel.edu/vss2025/
Excited to start the Heidelberg boat tour with #hlf24 and these nice ladies
Speyer Museum of Technology in Heidelberg 🇩🇪 @HLForum
A lightning talk by the 2021 ACM A.M. Turing Award Jack J. Dongarra on "Today's HPC Environment for Scientific Computing" @HLForum
Very proud and excited to attend the 11th Heidelberg Laureate Forum. An amazing week on the way... @HLForum
Friday was the last day of the “ice breaking” project with the IATSED24 class. This project, which aims to develop drones from A to Z right through to flight, is part of the first week of the IATSED master's program. @Enac_iiLab
It's back to classes this week for the #IATSED24 promotion, with the week-long Ice breaking project. In this project, students will develop drones from scratch to flight. It's our second day and things are progressing well between the groups. @enacfrance @Enac_iiLab
Thursday is FPTalks 2024, the annual workshop on numerics. This year we have some exciting talks on quantization as well as great talks on bread and butter topics like verification, hardware, tools, and applications. There's still time to register: fpbench.org/talks/
Attending CoDiT'24 in Valletta, Malta codit2024.com
A few photos taken at today's LCTES 2024 conference in Copenhagen @PLDI
Tomorrow I will present with @mmartel66 our paper "Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures" at the LCTES conference in Copenhague. The paper is available here : dl.acm.org/doi/abs/10.114…
Day 5 of the EJCP: Tim Bourke, Researcher at Inria in the PARKAS team, on compiling a synchronous language with resource constraints. @mmartel66
Day 4 of the EJCP: Emmanuelle Saillard, research scientist (CRCN) at Inria of the university of Bordeaux, on static and dynamic analysis of HPC applications. @mmartel66
Day 3 of the EJCP : Caterina Urban, research scientist at INRIA research team, with a class on "Formal Methods for Machine Learning Pipelines". @caterinaurban @mmartel66 Check out our program for the rest of the week at: gpl-ejcp.github.io/ejcp2024
Day 2 of the EJCP : Martin Monperrus, Professor of Software Technology at KTH Royal Institute of Technology, with a class on Automated Program Repair @martinmonperrus @mmartel66 The program is here : gpl-ejcp.github.io/ejcp2024
Today is the first day of the EJCP . 29 PhD students are with us in this edition gpl-ejcp.github.io/ejcp2024. The first class is on Measuring energy consumption: from hardware to software source code by @adelnoureddine @mmartel66 @GdrGPL
Don't miss FPTalks 2024! Join us on July 11th for great talks on floating-point research. There's something for everybody: numerical representations, error analysis, verification, and hardware design! Register at: fpbench.org/talks/
Un petit rappel, l'EJCP24 vous attend, chères et chers jeunes chercheuses et chercheurs en informatique du logiciel ! gpl-ejcp.github.io/ejcp2024
My Participation in the 21st ACM International Conference on Computing Frontiers in Ischia. Thanks @CompFrontiers for the excellent organization !
Our paper " Rigorous Floating-Point to Fixed-Point Quantization of Deep Neural Networks on STM32 Micro-controllers" is accepted at CoDIT'24 ( IEEE 10th International Conference on Control, Decision and Information Technologies)
拉普拉斯的小妖 @huizhicheng
3 Followers 79 Following
Heidelberg Laureate F... @HLForum
6K Followers 421 Following Connecting laureates of mathematics and computer science with the next generation. Imprint: https://t.co/xYp09oDfTq
J.-Baptiste Raclet @JBRaclet
16 Followers 110 Following Associate professor in computer science. Flying under cheap kites.
Caterina Urban @caterinaurban
414 Followers 279 Following Research scientist at @inria_paris and @ENS_ULM. Left-handed 🤚, in the footsteps of Alan Turing and Marie Curie. I want a dog 🐕.
Anke Brock @AnkeBrock
2K Followers 4K Following Assistant Professor in Human-Computer Interaction, working on accessibility, human-drone interaction, aeronautics @enacfrance
Yasmeen Abdrabou, PhD @AbdrabouYasmeen
213 Followers 220 Following Postdoctoral Researcher @TUM working on Eye-tracking @cairo_chi Treasurer
Santosh Nagarakatte @santoshgnag
1K Followers 597 Following Professor and undergraduate program director, Computer Science, Rutgers University, New Brunswick. See my group RAPL: https://t.co/dYChac4veQ
Anastasia Isychev @izycheva
375 Followers 115 Following postdoc @tu_wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
Imad Berrouyne @imad_berrouyne
360 Followers 371 Following Researcher • IoT Expert • Alumni @IMTAtlantique & @UQAC
Michele Sevegnani @michele_seve
210 Followers 1K Following Senior Lecturer in Computer Science at the University of Glasgow
NSAD at SPLASH 2026 @NSAD_Workshop
21 Followers 37 Following The 11th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD), co-located with @splashcon
Hiet Guillaume @GuillaumeHiet
161 Followers 196 Following Professor of computer security @CentraleSupelec / @irisa_lab. I work on security at the software/hardware interface. now at @guillaumehiet.bsky.social
Anastasia Mavridou @anmavrid
363 Followers 368 Following Research scientist @ NASA Ames Research Center | Mom of Chloe | Do you speak FRETish? 🚀 https://t.co/6D2G3wzkPv
Myriam Lewkowicz @myrlewko
663 Followers 1K Following Professor @UTTroyes, head of Tech-CICO research group, @EUSSET chair, CSCWJ deputy editor in chief. Basically a lurker here...
arnault ioualalen @ainumalis
20 Followers 12 Following PhD CS, MS Informatics, MS Mathematics @Numalis co-founder CEO, R&D director 24029 (xai & robustness) suite editor @isostandards Defense Pilot @FrenchTechMed
Oana Andrei @OanaMAndrei
555 Followers 945 Following Lecturer (Assist. Prof.) @GlasgowCS | @UofGlasgowEAP @FormalMethodsGU @FATAglasgow
Mathieu Cousy @mcousy
42 Followers 290 Following
Master IHM @masterihm
171 Followers 298 Following Le Master Interaction Homme-Machine de Toulouse @enacfrance & @UT3PaulSabatier
Benmaghnia Hanane @hbenmag
5 Followers 85 Following
Vincenzo Arceri @ArceriVincenzo
124 Followers 277 Following Assistant Professor (no-tenure track) @unipr
Fundamental Approache... @FaseConf
134 Followers 47 Following International Conference on Fundamental Approaches to Software Engineering. A member conference of @ETAPSconf. https://t.co/cSrjqFLj2C
AN @adelnoureddine
146 Followers 276 Following
Spimees @spimees
72 Followers 2K Following Software engineer focusing on desktop. Independent researcher on concurrency.
Ben letaifa azer @Azer1312
3 Followers 37 Following
Pierre-Loïc Garoche @yeploc
133 Followers 224 Following Researcher interested in formal verification of numerical intensive (control) software : aircraft controllers, AOCS, trajectory planning, HPC, ... Compte perso
ECMkat 🟧 @ECMKat1
454 Followers 627 Following Little Sister of a Rock-Star. Soulmate & mother of 3 dragons. Educator of gladiators. Believer of love and science. Forever a cheerleader of underdogs.
Othman Albadr @Othman_Albadr
320 Followers 3K Following
ShadowLibrarian @shad0wlibrarian
56 Followers 3K Following
Bilel Hadri @mnoukhiya
2K Followers 533 Following Computational Scientist at Leadership Computing Centers, now at KAUST Supercomputing Lab @KAUST_HPC, ex NICS/ORNL, @ICL_UTK. Proud alumnus of UH & PolytechLyon
Amir M. Tavakkoli @AmirTheWanderer
116 Followers 2K Following
BaiZe @marshal_eric
133 Followers 2K Following Software - Hardware Co - design / second year Phd / C++ / Verilog / CUDA / ML sys / DL framework / DSA / compute arch / model compression
Samuel Pollard @samdpollard
100 Followers 118 Following Scientist at Sandia National Labs. I research how to apply formal methods to floating-point arithmetic, state machines, and high-performance computing.
FMICS 2023 @FMICS_conf
55 Followers 123 Following 28th International Conference on Formal Methods for Industrial Critical Systems
Roberto Giacobazzi�... @rgiacobazzi
830 Followers 651 Following Professor of Computer Science: Theory of computation, computers, languages and their semantics
Zachary Tatlock @ztatlock
1K Followers 475 Following Finding nails, building hammers. Prof at UW Allen School (CSE) @[email protected]
Eva Darulova @malyzajko
177 Followers 136 Following Assoc. prof. at Uppsala University. Programming languages, verification, approximate computing, finite-precision. Also @[email protected]
Laura Titolo @laura_titolo
168 Followers 205 Following Research Scientist At NIA/NASA Langley👩🏻💻 ~ Mum of 2 👨👩👧👦 ~ Ballet lover 🩰- From Italy 🇮🇹 living in the US 🇺🇸
Ben letaifa azer @Azer1312
3 Followers 37 Following
Mike Lam @lam2mo
107 Followers 83 Following #ComputerScience associate prof at @JMU with systems, #HPC, and PL interests. Teacher, researcher, tool developer. Also: husband, father, gamer.
Mathieu Cousy @mcousy
42 Followers 290 Following
FPTalks @FPTalksAnnounce
11 Followers 1 Following
J.-Baptiste Raclet @JBRaclet
16 Followers 110 Following Associate professor in computer science. Flying under cheap kites.
The Nobel Prize @NobelPrize
1.3M Followers 492 Following The official feed of the Nobel Prize @NobelPrize #NobelPrize
Yasmeen Abdrabou, PhD @AbdrabouYasmeen
213 Followers 220 Following Postdoctoral Researcher @TUM working on Eye-tracking @cairo_chi Treasurer
Heidelberg Laureate F... @HLForum
6K Followers 421 Following Connecting laureates of mathematics and computer science with the next generation. Imprint: https://t.co/xYp09oDfTq
Andreas Zeller @AndreasZeller
10K Followers 216 Following Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
Heidelberg University @HeidelbergU
8K Followers 534 Following Tenacious, resilient, enterprising, and bold. Heidelberg University: the Opportunity Makers. Tiffin, Ohio. Est. 1850. #BergPride
NSAD at SPLASH 2026 @NSAD_Workshop
21 Followers 37 Following The 11th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD), co-located with @splashcon
Dirk Beyer @beyer_dirk
755 Followers 530 Following Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)
Imad Berrouyne @imad_berrouyne
360 Followers 371 Following Researcher • IoT Expert • Alumni @IMTAtlantique & @UQAC
Michele Sevegnani @michele_seve
210 Followers 1K Following Senior Lecturer in Computer Science at the University of Glasgow
Direction générale ... @DGAC
29K Followers 488 Following ✈️ Compte officiel de la dgac : Sûreté - Sécurité - Transition écologique & énergétique - Navigation aérienne - Transport aérien - R&D - Innovation
Hiet Guillaume @GuillaumeHiet
161 Followers 196 Following Professor of computer security @CentraleSupelec / @irisa_lab. I work on security at the software/hardware interface. now at @guillaumehiet.bsky.social
Frédéric Mallet @fmallet
102 Followers 95 Following Professor at the Univ. Nice Sophia Antipolis. My research consists in defining sound models for the design and analysis of embedded systems.
PHD Comics @PHDcomics
316K Followers 79 Following Life (or the lack thereof) in Academia, by Jorge Cham (Oliver's Great Big Universe, Science Stuff podcast, @ElinorWonders) https://t.co/cMwdi2cQrl
Clément Beaune @CBeaune
144K Followers 8K Following 🇫🇷🇪🇺 Haut-commissaire à la Stratégie et au Plan, ancien député de Paris et ministre de l’Europe puis des Transports
Myriam Lewkowicz @myrlewko
663 Followers 1K Following Professor @UTTroyes, head of Tech-CICO research group, @EUSSET chair, CSCWJ deputy editor in chief. Basically a lurker here...
SESAR JU🇪🇺✈�... @SESAR_JU
6K Followers 2K Following Get updates on the #digital #transformation of Europe’s #aviation infrastructure ✈️💡 Watch us: https://t.co/0naFjp5zHo
SpaceX @SpaceX
41.9M Followers 123 Following SpaceX designs, manufactures and launches the world’s most advanced rockets and spacecraft
arnault ioualalen @ainumalis
20 Followers 12 Following PhD CS, MS Informatics, MS Mathematics @Numalis co-founder CEO, R&D director 24029 (xai & robustness) suite editor @isostandards Defense Pilot @FrenchTechMed
Gaza Notifications @gazanotice
455K Followers 0 Following Gazanotice operates in line with journalistic principles and draws strength from Nar’s digital creative infrastructure.
Anke Brock @AnkeBrock
2K Followers 4K Following Assistant Professor in Human-Computer Interaction, working on accessibility, human-drone interaction, aeronautics @enacfrance
Verification papers @verif_papers
229 Followers 7 Following Some selection of verification related papers (computer science, math, optimization, control) from Arxiv and DBLP.
numalis @numalis
272 Followers 203 Following The no guess company 🎯 💡 Trustworthy AI solutions, ISO/IEC 24029 suite on XAI & robustness validation editors, Formal Methods Experts, CEO @ianumalis 🚀
Master IHM @masterihm
171 Followers 298 Following Le Master Interaction Homme-Machine de Toulouse @enacfrance & @UT3PaulSabatier
Bor-Yuh Evan Chang @bechang
602 Followers 388 Following Associate Professor of Computer Science at CU-Boulder (@cuplv): program analysis, programming languages, secure and reliable software, verification.
Cindy Rubio González @cindy_rubio
391 Followers 189 Following Professor of Computer Science University of California, Davis
Arie Gurfinkel @ariegurfinkel
222 Followers 150 Following
Andrew Jones @hpcnotes
8K Followers 1K Following 25+ years using, researching, buying, architecting #supercomputing. Now engineering leader for future #AI infra + #HPC capabilities at Microsoft.
Yvan Auguet @yvanauguet
292 Followers 146 Following Président de l’Université de Perpignan Via Domitia @upvd1 Président de la Fondation UPVD @fondation_upvd Professeur de droit privé et sciences criminelles
Benmaghnia Hanane @hbenmag
5 Followers 85 Following
The PhD Place @ThePhDPlace
122K Followers 16K Following Community, guidance & tips for academics 🎓 BEST Online Courses at @AcademicCourses | Led by The PhD Place Team ✨
Thomas Nowak @nowathom
106 Followers 134 Following Professor at ENS Paris-Saclay & IUF. Interested in distributed algorithms and synthetic biology.
JM Jezequel @jmjezequel
629 Followers 105 Following @jmjezequel.bsky.social Professor of Software Engineering, Univ Rennes, IUF, President Informatics Europe
Djamel Khelladi @dekhelladi
184 Followers 917 Following CNRS researcher in software engineering, software evolution, empirical software engineering, MDE, Modeling, at IRISA, DiverSE team, #tennis player/fan/passion
RAYYANAH BARNAWI | ر... @Astro_Rayyanah
67K Followers 7 Following رائدة فضاء سعودية وباحثة 🇸🇦 Saudi Astronaut @saudispace | Astronaut & Researcher | #السعودية_نحو_الفضاء
وكالة الفضا... @saudispace
123K Followers 11 Following الحساب الرسمي لوكالة الفضاء السعودية | The Official Account of The Saudi Space Agency
LLNL Computing @Livermore_Comp
3K Followers 217 Following An official @Livermore_Lab sub-account Follows, RTs and mentions ≠ endorsements. ALT for banner photo: El Capitan supercomputer at LLNL
ASE 2024 @ASE_conf
2K Followers 245 Following The 39th IEEE/ACM International Conference on Automated Software Engineering | #ASE2024 | CORE A* | #SoftwareEngineering
Computing Frontiers @CompFrontiers
143 Followers 99 Following The ACM International Conference on Computing Frontiers
Vincenzo Arceri @ArceriVincenzo
124 Followers 277 Following Assistant Professor (no-tenure track) @unipr
Anastasia Mavridou @anmavrid
363 Followers 368 Following Research scientist @ NASA Ames Research Center | Mom of Chloe | Do you speak FRETish? 🚀 https://t.co/6D2G3wzkPvYou might like
