Joaquín Arias is an Associate Professor at King Juan Carlos University since 2025. His career includes 2020-2025 as Assistant Professor at the same institution and prior pre-doctoral research at IMDEA Software Institute (2013-2020). He has collaborated with institutions like University of Texas at Dallas and Aalto University. Education: Ph.D. in Computer Science (2020, Universidad Politécnica de Madrid) M.Sc. in Computer Science (2015) B.Sc. in Computer Science (2014) M.Arch. in Architecture (2002) Research interests revolve around Constraint Logic Programming , Answer Set Programming , and their applications in Event Calculus , Stream Data Analysis , and Value-Aware Systems . He has developed frameworks like s(CASP) for non-grounded reasoning and Mod TCLP for tabled constraints. Recent articles demonstrate expertise in integrating Large Language Models with logic programming, automated legal reasoning , and real-time system verification . His work emphasizes explainability, constraint handling, and semantic coherence in AI systems. Scientific awards include the best paper prize at CAEPIA 2021 . He has contributed to proceedings as editor for ICLP workshops and authored numerous papers in TPLP , PADL , and AI & LAW .
Martin Kruliš is an associate professor in the Department of Distributed and Dependable Systems at the Faculty of Mathematics and Physics, Charles University , Prague, Czech Republic. His primary roles include research, teaching, advising, and leading projects that bridge high-performance computing, GPU programming, and self-adaptive systems. Education: While exact details of his own degrees are not provided, Dr. Kruliš’s extensive publication record and faculty position at Charles University indicate advanced training in computer science with specialization in parallel and distributed computing. Research Interests: High-Performance GPU Computing: Deep investigation into CUDA kernel optimization, memory bandwidth utilization, and workload dispatching for massively parallel accelerators. Self-Adaptive & Self-Optimizing Systems: Designing ensemble-based abstractions that integrate machine-learning estimators to enable runtime adaptation in component architectures. Parallel Algorithms & Data Structures: Development of cache-friendly, SIMD-aware, and GPU-accelerated algorithms for clustering, dimensionality reduction, and similarity search. Software Engineering for Parallelism: Creation of C++ libraries, DSLs (e.g., Bobolang), and educational tools (ReCodEx) that simplify parallel programming and automated evaluation. Publication Trends: Across 2011–2025, Kruliš’s articles reveal a clear trajectory from foundational GPU-accelerated indexing and multimedia retrieval toward sophisticated self-adaptive systems that leverage machine learning. Recent works (2023–2025) increasingly focus on integrating LLMs and neural networks into compiler and runtime optimization loops, reflecting a convergence of AI and systems research. Scientific Awards & Recognition: No specific awards or fellowships are mentioned in the provided text; however, sustained publication in top-tier venues (JPDC, IPDPS, Euro-Par, SEAMS) and active involvement in program committees and tool development indicate strong peer recognition. Teaching & Student Supervision: Teaches Programming in Parallel Environment (NPRG042) , Advanced Programming in Parallel Environment (NPRG058) , Computer Systems (NSWI170) , and Software Projects . Supervises numerous bachelor’s and master’s theses; exact student names are not listed in the text. Labs, Projects & Tools: ReCodEx: A widely used platform for semi-automated evaluation of programming assignments at Charles University. Simdex: A modular simulator of the ReCodEx backend that enables realistic experimentation with self-adaptive job dispatching and machine-learning controllers. Active contributor to open-source repositories on GitHub, focusing on GPU kernels, benchmarking frameworks, and educational tooling.
Stefan Popović is a lecturer at Alfa BK University's Faculty of Information Technology in Belgrade. He holds professional titles as a Professor of Physics and Basic Engineering for Elementary Schools and a Master Computer Scientist. His career spans teaching in primary/secondary schools, programming as a Senior Programmer, and organizing academic events like the Physics Popularization Project and Science Festival. He has authored a textbook, professional papers, and training courses in IT and programming. Born in Belgrade (1983), graduated from XI Belgrade Gymnasium (Natural Sciences & Mathematics) and Faculty of Physics Professional development: Military Academy (Technical Service - Mechanical Engineering) and Faculty of Mathematics and Computer Science (Master's) Research interests include computer science, programming, and educational methodologies. Scientific awards: Certificate of Appreciation from Faculty of Physics Recognitions from Society of Mathematicians of Serbia, Society of Physicists of Serbia, Archimedes Mathematical Society, and Association of Organizations of Reserve Military Officers of Serbia
Pat Pannuto is an Assistant Professor in Computer Science Engineering at the University of California, San Diego. His research bridges digital systems and the physical world, focusing on resource-constrained computing, embedded systems, and IoT infrastructure. He leads projects on sustainable computing, energy harvesting, social interaction tracking, and city-scale sensing. Research Interests: Dr. Pannuto designs systems for extreme resource constraints (microwatts power, kilobytes memory) that enable reliable sensing/actuation. Key areas include: Embedded OS development (Tock OS) Energy harvesting from unconventional sources (soil MFCs, corrosion systems) Human interaction tracking for epidemiology/psychology Large-scale infrastructure monitoring (GridWatch) Localization and ultra-low-power communication Awards & Fellowships: National Defense Science & Engineering Graduate (NDSEG) Fellow (2013) NSF Graduate Research Fellowship (2013) Qualcomm Innovation Fellow (2013) Teaching & Service: He teaches courses in computer architecture, embedded systems, and IoT. As faculty advisor, he mentors 25+ graduate students and oversees undergraduate research programs (ERSP/TRELS). He chairs conferences including TockWorld 7 and serves on TPCs for MobiCom, SenSys, and IPSN. Labs & Teams: Leads the UCSD Embedded Systems Lab, co-founded the UCSD Embedded Systems Seminar, and collaborates with the TerraSwarm and CONIX research centers. Current projects include security for embedded OS, hyperdimensional computing libraries, and renewable energy systems.
Andrew Besmer is an Associate Professor of Computer Science at Winthrop University's College of Business and Technology. He holds a Ph.D. from UNC Charlotte and focuses on research areas including Information Security, Privacy Technologies, and Educational Pedagogy. His work emphasizes user-centric privacy mechanisms, interdisciplinary computing education, and modern software infrastructure. Dr. Besmer has been recognized with the 2018 Outstanding Junior Professor and 2022-2023 Thompson Scholar awards. His research spans mobile privacy policy design, social media security, and classroom innovations during the pandemic. He maintains an active presence in academic communities through conference workshops and interdisciplinary projects. His advising and grants include pioneering approaches to software engineering team management and curriculum development for broadened participation. He contributes to lab environments supporting modern computing infrastructure and has developed Linux-based educational frameworks.
Dr. Magnus Myreen is an affiliate researcher at the Department of Computer Science and Technology, University of Cambridge. His work focuses on formal verification, compiler correctness, and verified systems programming, with a particular emphasis on the CakeML project. He contributes to developing verified compilers, ensuring their reliability through rigorous mathematical proofs. His research integrates formal methods with practical systems programming challenges, addressing topics like SAT solver validation, hardware-software co-verification, and certified approximation algorithms. Myreen’s research interests span formal methods, programming languages, and compiler design. He explores techniques for verifying complex software systems, including device drivers, operating systems, and cryptographic functions. His projects emphasize end-to-end verification, ensuring that every component—from high-level specifications to machine code—is formally validated. Recent work includes advancements in verified propagation redundancy checking and the development of tools like Pancake for systems programming. He collaborates on initiatives such as the SAT Competition, contributing verified tools like VeriPB. His publications highlight trends in verified compilation, formalized mathematics, and the integration of interactive theorem provers with practical applications. Myreen’s efforts aim to bridge the gap between theoretical formal methods and real-world software engineering challenges.
Tooska Dargahi serves as a Postdoctoral Researcher at Netgroup Laboratory, University of Rome Tor Vergata, with dual affiliation at CNIT (Consorzio Nazionale Interuniversitario per le Telecomunicazioni). Her work bridges theoretical cryptography with practical implementations for next-generation networked systems, focusing on security architectures for resource-constrained environments including IoT devices and mobile platforms. She maintains active collaborations with international researchers across multiple institutions on cutting-edge security challenges. Her research program centers on Security and Privacy, Wireless Sensor Networks, Ad-Hoc Networks, and Attribute-Based Cryptography. She pioneers lightweight cryptographic solutions for IoT and smartphone ecosystems, develops k-anonymous frameworks for location-based services, and advances forensic methodologies for cloud storage and mobile applications. Key contributions include optimizing attribute-based encryption for constrained devices and designing novel key pre-distribution schemes for wireless sensor networks. Analysis of her publication record reveals consistent focus on applying cryptographic primitives to real-world systems. Her work spans Software-Defined Networking security, IoT device hardening, cloud/mobile forensics, and privacy-preserving location services. A distinctive trend involves translating complex cryptographic concepts into deployable solutions for infrastructure-limited scenarios, evidenced by implementations tested on Android devices and IoT platforms. Scientific recognition includes: Best Paper Award at IEEE WiMob 2017 for WLAN access control research As a core member of Netgroup Lab, Dr. Dargahi contributes to collaborative projects in network security and privacy. While the provided materials indicate extensive co-authorship with senior researchers like Mauro Conti and Giuseppe Bianchi, they contain no explicit references to student advising or principal investigator roles in grant-funded projects.
Kevin Yeh is an NYC-based technologist and Instructor in Continuing Education at Cooper Union. He holds an MS in Computer Science and Film Studies from the University of Texas at Austin. While full-time at Nava PBC developing public digital services, he also leads engineering efforts at Space Type and serves as Principal Engineering Lead for the Maryland Paid Family and Medical Leave program. His work bridges technical innovation with creative problem-solving, emphasizing open tools and community empowerment. Education: M.S. Computer Science & Film Studies, University of Texas at Austin. Research Interests: Focuses on applying computer vision, graphics, and robotic learning to reimagine interactions with the natural world. Specializes in building accessible tech tools for artists and developers through augmented reality, mobile hardware, and computational typography. Advocates for clarity in engineering processes and open-source methodologies. Key Projects: Developed Slack mentorship systems and LED voting systems for HackTX (2015), contributed to MongoDB's Rust driver, and led infrastructure teams for government APIs at CMS. Currently drives backend/frontend initiatives for public services and maintains a riso publishing practice. Labs/Teams: Leads engineering teams at Nava PBC and Space Type, oversees technical direction for cross-disciplinary projects, and mentors engineers transitioning into leadership roles.
Anne Kaun is a Professor in Media and Communication Studies at Södertörn University's School of Culture and Education. Her research focuses on algorithmic culture, automated decision-making, media activism, and the digital welfare state. She holds a Magister degree from the University of Leipzig, a European Studies degree from Kaliningrad Technical University, and a PhD from Örebro University/Södertörn University (2012). Her postdoctoral work at the University of Pennsylvania explored historical media participation during crises. Her research interests include mediated temporalities, media memories, and the intersection of technology with social justice. She has investigated protest media practices (e.g., Occupy movements) and how digital platforms reshape memory and public discourse. She leads projects like the Swedish Network on Automated Decision-Making in the Public Sector and collaborates on EU-funded initiatives like 'Narratives of Europe.' Her work critiques the paradoxes of digital disconnection, automated governance, and the ethical implications of data-driven welfare systems. She serves as Vice-Chair of ICA's Activism, Communication, and Social Justice group and ECREA's Communication and Democracy section. Key networks include projects funded by Riksbankens jubilieumsfond, STINT, and the German Research Council. Her publications span algorithmic ethics, digital frictions, and the temporal dimensions of technological change.
Dr. Jozef Goetz is a Professor of Computer Science at the University of La Verne, affiliated with the College of Arts and Sciences. His work focuses on software engineering, cybersecurity, educational technology, and mobile applications. He has contributed to systems such as course management frameworks, geospatial meteorology tools, and expert systems for academic advising. Dr. Goetz has also explored mobile application performance optimization and cross-platform development strategies. Research interests span from foundational areas like concurrency modeling using Petri Nets to applied domains such as CRM systems and e-commerce validation. His projects emphasize practical implementations addressing real-world challenges in education, security, and enterprise software development.
Michael Ahearne is a Professor of Marketing and the C.T. Bauer Chair in Marketing at the University of Houston’s C. T. Bauer College of Business. He also serves as Research Director of the Stagner Sales Excellence Institute, a leading center for sales research and education. His work bridges academic rigor and practical application in sales force effectiveness and management. His research interests include: Sales Force Effectiveness Sales Management Internal Marketing Relationship Marketing Innovation Incentives and Motivation His recent publications, spanning top journals like Journal of Marketing , Journal of Marketing Research , and Harvard Business Review , reflect a strong focus on sales performance, leadership, training, and organizational dynamics. Themes include onboarding, negotiation transparency, M&A impacts on sales teams, and the role of intuition in sales success. His work increasingly integrates social network analysis and organizational behavior perspectives. His scientific honors include: Lifetime Achievement Award from the American Marketing Association Recognition as one of the most research-productive scholars in marketing Ahearne has advised numerous doctoral students and early-career researchers, many of whom are now active collaborators. He has received multiple teaching awards in Sales, Sales Management, and Key Account Management. His industry engagement is extensive, having consulted for over 200 companies across healthcare, technology, and consumer goods. He previously held executive roles at ZS Associates, Eli Lilly, and PCS Healthcare. He is actively involved in academic leadership, serving as Associate Editor for Journal of Marketing , Senior Editor for International Journal of Research in Marketing , and in editorial roles for several other top journals. His textbook Selling Today is the world’s highest-grossing professional selling textbook, used globally in over 40 countries and 15 languages.
Tobias Grosser is an Associate Professor in the Department of Computer Science and Technology at the University of Cambridge. His research focuses on rethinking performance programming by bridging the gap between developers and compilers. He holds a PhD from École Normale Supérieure Paris and has held positions including Reader at the University of Edinburgh and Ambizione Fellow at ETH Zurich. His research interests span compilers, programming language design, static/dynamic analysis, and the integration of machine learning into compiler development. He emphasizes making compilation more modular, automatic, and trustworthy, with applications in quantum computing, climate science, and open-source hardware. Key projects include xDSL (a Python-native compiler framework), LoopOpt, and the Open Earth Compiler for climate simulations. Recent publications highlight advancements in multi-level intermediate representations (IR), formal verification in MLIR, and performance optimization for GPUs and FPGAs. His work often addresses barriers between programmers and compilers, aiming for intuitive collaboration between developers and automated systems. Tobias mentors a dynamic team of PhD students, postdocs, and researchers, including notable contributors like Siddharth Bhat, Arjun Pitchanathan, and Mathieu Fehr. His lab focuses on compiler toolchains for domain-specific hardware accelerators, quantum computing ecosystems, and verified compilation techniques.
Ilias SVIATKO is a Research and Development Specialist at the Services and Data Management research group (SEDAN), part of the Interdisciplinary Centre for Security, Reliability and Trust (SnT) at the University of Luxembourg. He holds a Bachelor’s degree from The Polytechnic University of Hong Kong (2017) and has 7 years of industry experience as a full-stack developer, specializing in both backend and frontend systems development. His research interests focus on software engineering, emphasizing the construction of complex and efficient systems using modern tools and methodologies. Ilias contributes to interdisciplinary projects within SEDAN, a group led by Prof. Radu State. He is actively involved in advancing IT infrastructure and system optimization. While no specific articles, awards, or grants are detailed in the provided text, his professional trajectory highlights a strong technical background and practical industry experience integrated into academic research.
Kevin Bönisch is a researcher at the Text Technology Lab, Goethe University Frankfurt. With a background in software development (5 years as C# .NET full-stack developer) and concurrent Master's studies in Computer Science, he bridges practical software engineering with academic research through projects like the Unified Corpus Explorer and Viki LibraRy virtual reality systems. His work spans NLP, 3D visualization, and machine learning applications. DFG New Data Spaces program contributor Kaggle competition participant GitHub demonstrator Research focuses include annotation-based corpus exploration , causal inference in LLMs , and collaborative hypertext systems . His 2025 NAACL Best Demo Paper showcased UCE system innovations, while 2024 LIRAI workshop work demonstrated legal document retrieval via SVR ensembles. Notable awards include IAV-Coding competition first place , DESIGNRUSH website design recognition , and Goethe-University Innovation Prize finalist . Key projects: ROBERT dialogue system , BIOfid biodiversity service , and Bundestags-Mine legislative analysis .
Paritosh Sharma is a postdoctoral researcher at Inria Sophia Antipolis (Biovision team), focusing on deep generative approaches for personalized VR content in low-vision rehabilitation. He earned his Ph.D. from Université Paris-Saclay under the supervision of Michael Filhol, specializing in animating Sign Language descriptions using 3D avatars. His academic background includes a Master of Science in Informatics from Université Grenoble Alpes and a Bachelor of Technology in Computer Science and Engineering from SRM Institute of Science and Technology. Research Interests : Enhancing accessibility via VR, sign language animation, eye-tracking interfaces for cognitively disabled individuals, and computer graphics applications in data science. Teaching Experience : Courses in virtual world creation (Blender/Unity), computer graphics for data science, AI, and object-oriented programming at institutions like Polytech Sophia Antipolis and IUT d’Orsay. Projects : Creative3D (low-vision VR rehabilitation), GazePlay (eye interaction methods), and Qt3D backend development for KStars planetarium software. Scientific Awards : Bronze Medal at UGA i-Days 2020 for an interdisciplinary application idea in Nutrition, AI, and IoT targeting elderly Vitamin D deficiencies.
