Ahmed Bouajjani is affiliated with Université Paris Cité in France and has contributed significantly to the field of computer science. Their research encompasses various subfields including computer networks and communications, artificial intelligence, hardware and architecture, computational theory and mathematics, and software. The primary focus areas of their work include distributed systems and fault tolerance, parallel computing and optimization techniques, formal methods in verification, security and verification in computing, optimization and search problems, logic, programming, and type systems, as well as software testing and debugging techniques.
Their recent publications span prominent venues and cover topics related to transactional consistency, concurrent computing, and database correctness. Notable papers include:
Ahmed Bouajjani's frequent coauthors include Constantin Enea, Sidi Mohamed Beillahi, Mohamed Faouzi Atig, Parosh Aziz Abdulla, and Wael-Amine Boutglay. This collaboration network reflects a diverse team engaged in advancing computer science research, particularly in formal methods and distributed systems.
The scientist has contributed to several high-impact venues, with multiple publications in arXiv (Cornell University), Proceedings of the ACM on Programming Languages, Computing, Logical Methods in Computer Science, and DOAJ.
In addition to articles, Ahmed Bouajjani has authored a book published by Springer Science+Business Media titled "Automated Technology for Verification and Analysis" (2022), which has been cited in subsequent research.
Their work primarily resides under the broad field of computer science with a total of 67 publications, and covers diverse yet related topics that address foundational and applied challenges in computing systems and methodologies.
Ahmed Bouajjani;Javier Esparza;Oded Maler
C. Loiseaux;S. Graf;J. Sifakis;A. Bouajjani
A. Bouajjani;B. Jonsson;M. Nilsson;T. Touili
Ahmed Bouajjani;Peter Habermehl;Tomas Vojnar
Ahmed Bouajjani;Javier Esparza;Tayssir Touili
Ahmed Bouajjani;Jean-Claude Fernandez;Nicolas Halbwachs
Parosh Aziz Abdulla;Ahmed Bouajjani;Bengt Jonsson
Ahmed Bouajjani;Javier Esparza;Tayssir Touili
Mohamed Faouzi Atig;Ahmed Bouajjani;Sebastian Burckhardt;Madanlal Musuvathi
Ahmed Bouajjani;Peter Habermehl;Adam Rogalewicz;Tomáš Vojnar
Aurore Annichini;Ahmed Bouajjani;Mihaela Sighireanu
Ahmed Bouajjani;Markus Müller-Olm;Tayssir Touili
A. Bouajjani;J.-C. Fernandez;N. Halbwachs;P. Raymond
Saddek Bensalem;Ahmed Bouajjani;Claire Loiseaux;Joseph Sifakis
Aurore Annichini;Eugene Asarin;Ahmed Bouajjani
Ahmed Bouajjani;Egor Derevenetc;Roland Meyer
Ahmed Bouajjani;Peter Habermehl;Adam Rogalewicz;Tomáš Vojnar
Ahmed Bouajjani;Marius Bozga;Peter Habermehl;Radu Iosif
A. Bouajjani;S. Tripakis;S. Yovine
Parosh Aziz Abdulla;Ahmed Bouajjani;Bengt Jonsson;Marcus Nilsson
If you think any of the details on this page are incorrect, let us know.
The demand for computer science graduates continues to grow, and there are now more options than ever for pursuing your education online. Many institutions understand that not all students begin their journey with perfect grades. If you’re looking to start your studies but have a lower academic record, check out a college with low gpa requirements for greater accessibility.
For those eager to accelerate their careers, earning your degree faster is possible. Explore the fastest computer science degree options to significantly shorten your study timeline and enter the job market sooner.
Computer science opens doors to diverse career paths, and related fields like environmental science and engineering are also evolving rapidly. Learn more about what jobs can you get with an environmental science degree to broaden your potential career outcomes. If you’re interested in tackling environmental challenges through technology, consider an online environmental engineering degree for a cost-effective way to combine passion and profession.
University of Michigan–Ann Arbor
University of Adelaide
York University
Claude Bernard University Lyon 1
University College London
Consiglio Nazionale delle Ricerche - CNR
University of Toledo
Agency for Science, Technology and Research
Concord Repatriation General Hospital
University of KwaZulu-Natal
Durham University
Reveau Technologies and Solutions Inc
Microsoft (United States)
University of Washington
Cleveland Clinic
Environment and Climate Change Canada
