Skip to content
View ptal's full-sized avatar
66 followers · 48 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Highlights

  • Pro

Organizations

@wesnoth

Block or report ptal

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@VincenzoArceri
Vincenzo VincenzoArceri
Assistant Professor (no-tenure track) @ University of Parma

University of Parma Parma

@arminbiere
Armin Biere arminbiere
Professor University of Freiburg

Freiburg im Breisgau, Germany

@coin-or
COIN-OR Foundation coin-or
Computational Infrastructure for Operations Research.

United States of America

@gwenmaudet
Gwen Maudet gwenmaudet
Post doc at SnT, Luxembourg
@mancs20
Manuel Combarro Simon mancs20

University of Luxembourg

@t-valette
Teddy Rodrigues Valette t-valette
Linux enthusiast - HPC Sysadmin - Enjoy software development - I use Arch btw

France

@luhanzhen
luhan zhen luhanzhen

wuhan, China

@Hedieh-Haddad
Hedieh Haddad Hedieh-Haddad

University of Luxembourg

@thibaultfalque
thibaultfalque

@uartois Lens

@ScheduleOpt
ScheduleOpt
@ytsao
Yi-Nung Tsao 曹議濃 ytsao
landing at @lattice-land

University of Luxembourg

@EESSI
European Environment for Scientific Software Installations (EESSI) EESSI

Europe

@tbrk
Timothy Bourke tbrk

Inria Paris

@Vertmo
Basile Pesin Vertmo
Associate Professor at Ecole Nationale de l'Aviation Civile (France). Interested in formal methods, reactive languages and interactive theorem provers.

Ecole Nationale de l'Aviation Civile

@ULHPC
UL HPC Platform ULHPC
High Performance Computing @ University of Luxembourg

Luxembourg, Luxembourg

@nfzhou
Neng-Fa Zhou nfzhou
@ArthurGodet
Arthur Godet ArthurGodet
I am an engineer in Constraint Programming, interested in solving industrial problems as well as conceiving efficient solvers.

SNCF Nantes, France

@luteberget
Bjørnar Steinnes Luteberget luteberget
@HigherOrderCO
HigherOrderCO HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
@GwenTinho
Quentin GwenTinho
PhD student in Synthetic Mathematics under Jonas Frey and Morgan Rogers at Sorbonne Paris Nord
@lattice-land
Lattice land lattice-land
Collection of lattice-based data structures compatible with GPUs. Powering up the constraint solver Turbo!
@phreppo
Francesco Parolini phreppo
Making software more secure (WIP)

Meticulous London, UK

@PrAbsInt
Patrick Cousot PrAbsInt
@ffelten
Florian Felten ffelten
I do Multi-Objective RL stuffs @Farama-Foundation & Research stuffs @IDEALLab

ETH Zürich Zurich, Switzerland

@shnarazk
Narazaki, Shuji shnarazk
Ph.D. of Eng., developing SAT solvers, 🎄Advent of Code: 5️⃣2️⃣4️⃣⭐️⭐️. 🩷Helix/Lean4/Nix/Rust/Typst/Zed/mod. Engram ⌨️layout on Ferris Bring

🤷 Japan, Asia

@lperron
Laurent Perron lperron

GOOGLE Paris, France

@hcartiaux
Hyacinthe Cartiaux hcartiaux
btw, I use arch

University of Luxembourg France

@adrieng
Adrien Guatto adrieng

France

@ACoquereau
Albin Coquereau ACoquereau

Nomadic-Labs Paris

@matsc-at-sics-se
Mats Carlsson matsc-at-sics-se
Constraint programmer with an interest in cool languages such as Russian and Georgian.

RISE Research Institutes of Sweden Uppsala, Sweden

@mandel
Louis Mandel mandel
@antoinemine
Antoine Miné antoinemine

Sorbonne Université France

@Hephixor
Sergeant Hephixor
@MarechalAlex
Alexandre Maréchal MarechalAlex

Verimag Grenoble, France

@qsdfo
Léopold Crestel qsdfo
Assistant researcher in the Interactive Music Generation team at Sony CSL
@Nevor
Roven Gabriel Nevor
for robot: Brian Hood
@xavierleroy
Xavier Leroy xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

Collège de France and Inria Paris, France

@k-ueda
Kazunori Ueda k-ueda

Waseda University Tokyo

@programLyrique
Pierre Donat-Bouillud programLyrique
Researcher at CVUT, visiting researcher at Northeastern University, Phd from Sorbonne Université, Computer languages, computer music, R

Czechia

@musitdev
Philippe Delrieu musitdev

Ubikis France

@stevenvar
Steven Varoumas stevenvar
Compiler Engineer

Huawei UK R&D Cambridge, UK

@fredokun
Frederic Peschanski fredokun

Sorbonne University Paris, France

@manuel-serrano
manuel-serrano
@MarwanG
Marwan Ghanem MarwanG

UPMC Paris 6

@ghilesZ
ghiles ghilesZ
Teacher Researcher at Epita

Epita Paris

@remyzorg
Rémy El Sibaïe Besognet remyzorg

Nomadic Labs France

@picdc
Pierrick Couderc picdc

Nomadic Labs Paris, France