Andrew Gersick is a Lecturer in the Department of Ecology and Evolutionary Biology at Princeton University. His research focuses on animal behavior, particularly in large social species such as spotted hyenas, zebras, and cowbirds. He explores topics including collective behavior, social dynamics, communication systems, and ecological adaptations. His work integrates field studies with technological tools like accelerometers to analyze activity patterns and signaling mechanisms. Notably, he investigates how zebra stripes repel biting flies and how hyenas use vocalizations for individual recognition. Gersick also contributes to conservation efforts, such as the Great Grevy’s Rally in Kenya, and studies social learning in avian species like cowbirds. His recent articles highlight interdisciplinary approaches, combining ecology, physiology, and technology to understand animal behavior in natural and social contexts. While no awards are explicitly listed, his contributions to understanding collective behavior and conservation biology are significant. Advising and grants: No formal advisees or grant details are provided in the text. His work appears to focus on collaborative research and field-based methodologies. Labs/Teams: No specific laboratory or team affiliations are mentioned beyond his departmental role at Princeton.
Juergen Dingel is a Professor in the School of Computing at Queen's University, Canada. He joined the faculty in 2000 and holds a PhD in Computer Science from Carnegie Mellon University (1999). His research focuses on software modeling, model-driven engineering, formal methods, and formal verification, with applications in real-time systems and embedded systems. He leads the Modeling and Analysis in Software Engineering (MASE) research group. Education: PhD in Computer Science, Carnegie Mellon University (1999) M.Sc. in Pure and Applied Logic, Berlin University of Technology (1994) M.Sc. in Computer Science, Berlin University of Technology (1992) Research Interests: Model-driven engineering and transformation Formal specification and verification Automated testing and debugging Real-time and embedded systems Service composition and distributed systems His work emphasizes practical tools like Papyrus-RT and MDebugger , integrating formal methods into software development. Grants & Collaborations: Funded by NSERC, OCE, and industry partners (IBM, GM, Ericsson) Focus on automotive systems, IoT, and safety-critical applications Service: Editorial board member for SoSyM , STTT , and JOT Former chair of the MODELS Steering Committee (2016–2018) PC co-chair for MODELS 2014 and FMOODS/FORTE 2011 Labs & Teams: Leads the MASE group, which develops open-source tools for model-driven engineering. Collaborates with industry on automotive and IoT projects.
Alfredo Capozucca is a full permanent Researcher at the Department of Computer Science (DCS) within the Faculty of Science, Technology and Medicine (FSTM) at the University of Luxembourg. He holds a PhD in Computer Science from the University of Luxembourg (2010) and an M.S. from the National University of Rosario, Argentina (2003). His research focuses on modern software engineering methods, dependable systems, and computing education, with an emphasis on formal verification and sustainable computing practices. Capozucca has contributed to the design of courses at undergraduate and master's levels, including serving as Deputy Programme Director for the BSc in Computer Science from 2021-2024. His work bridges theoretical foundations with practical applications in education and industry. Research interests prominently include AI in education (e.g., ChatGPT's role in formal specification writing), formal verification techniques, and the integration of DevOps philosophies into academic curricula. He has authored numerous papers on topics ranging from security policy analysis to energy-efficient transactional models. Capozucca's contributions extend to open-source projects and tool development, such as the Messir UML requirements engineering tool. His teaching spans software engineering fundamentals, dependability, and modern DevOps practices, reflecting a commitment to aligning education with industry needs. Key professional roles include R&D engineer positions (2004-2006) and leadership in educational program design. His research infrastructure is based at the Maison du Nombre facility in Luxembourg. While no specific grants or awards are listed, his extensive publication record and teaching contributions highlight sustained academic engagement.
Børge Rokseth is an Associate Professor at the Department of Engineering Cybernetics, Norwegian University of Science and Technology (NTNU). His work focuses on maritime systems, autonomous vessel control, and safety verification. He actively supervises Master's students and contributes to research on risk-informed control systems, hybrid power systems, and systems-theoretic process analysis (STPA). Research Interests: Rokseth's research spans autonomous ship systems, dynamic risk assessment, and safety verification. He explores risk-based decision-making for maritime autonomy, hazard identification in hybrid propulsion systems, and control function allocation in dynamic positioning. His work integrates systems theory, machine learning, and regulatory compliance (e.g., COLREGS) to enhance safety and environmental performance in marine operations. Publications: His recent work includes probabilistic trajectory prediction frameworks for autonomous ships, STPA-based safety analyses, and studies on decarbonization barriers in the maritime industry. These publications emphasize risk modeling, systems-theoretic approaches, and simulation-based verification. Teaching: Rokseth teaches courses such as TTK4130 - Modelling and Simulation, contributing to the education of future engineers and researchers in cybernetics and maritime systems.
Prof. Sadettin Emre Alptekin is a full Professor of Industrial Engineering at Galatasaray University, Faculty of Engineering and Technology, where he also serves as Vice Dean. Since joining the university as a research assistant in 2000, he has steadily advanced through the academic ranks, becoming an Assistant Professor (2006–2010), Associate Professor (2010–2023), and finally Professor in 2023. Education: PhD (Dr), Industrial Engineering, Istanbul Technical University, Institute of Science and Technology, 2001–2006 MSc, Industrial Engineering, Galatasaray University, Faculty of Engineering and Technology, 1999–2001 BSc, Industrial Engineering, Istanbul Technical University, Faculty of Management, 1995–1999 Languages: Advanced English (C1), Upper-Intermediate French (B2), Advanced German (C1) Research Interests: Prof. Alptekin’s research focuses on Computer Learning , Fuzzy Sets and Systems , and Decision Support Systems . His work integrates artificial intelligence, machine learning, and soft-computing techniques to solve complex industrial and managerial problems in areas such as supply chain management, quality function deployment, blockchain adoption, and mental-health prediction. Publication Trends: Across more than 50 refereed publications, Prof. Alptekin has consistently explored hybrid intelligent models that combine fuzzy logic, machine learning, and multi-criteria decision-making. Recent articles emphasize deep-learning-based anomaly detection in industrial time-series data, blockchain adoption in supply chains, and machine-learning applications in subjective well-being and mental-health modeling. Scientific Awards & Honors: No specific awards or medals are listed in the provided documents. Research Leadership & Funding: Since 2008 he has been the principal investigator (executive) of 12 nationally funded projects, covering topics such as Industry 4.0 sub-system design, Internet of Things applications, artificial neural networks in organizational decision-making, big-data analytics, and strategic decision processes. Graduate Advising: He has formally supervised at least 8 master’s theses and numerous undergraduate projects. Representative thesis titles include Gaussian-process-regression-based man-hour prediction, machine-learning-driven human-behavior modeling, recommender-system design for e-commerce, thyroid-nodule diagnosis from scintigraphic images, software-effort estimation via neural networks, spreadsheet heuristics for joint-replenishment problems, cross-selling decision systems in insurance, and profitability analyses of Turkish banks under disinflation. Laboratories & Teams: While no dedicated laboratory name is disclosed, his continuous role as Vice Dean and principal investigator implies active leadership of the Industrial Engineering department’s research clusters in intelligent systems and decision support technologies.
Dan Suciu is a Microsoft Endowed Professor in the Paul G. Allen School of Computer Science & Engineering at the University of Washington. His research focuses on data management, query optimization, probabilistic databases, parallel data processing, and information theory applications to databases. Awards : ACM Fellow (2011), American Academy of Arts and Sciences (2024), ACM SIGMOD Codd Innovation Award (2022), NSF Career Award (2001), Alfred P. Sloan Fellow (2001-2002). Research Trends : Recent work emphasizes cardinality estimation using Lp-norms, submodular width for query evaluation, dynamic query processing, and tensor program optimization. His publications highlight intersections between database systems and formal methods, driven by mathematical rigor. Key Collaborators : Mahmoud Abo Khamis, Dan Olteanu, Amir Shaikhha, Maximilian Schleich, Kyle Deeds, Moe Kayali. Advising : PhD students Gerome Miklau (2006), Christopher Re (2010), Paris Koutris (2016), Nilesh Dalvi (2008 runner-up), Yisu Remy Wang (2024 runner-up) have excelled in dissertation awards.
Dr. Liyi Zhou is a Lecturer in the School of Computer Science at the University of Sydney, specializing in systems security, blockchain, and AI. His research focuses on developing automated and adaptive security tools using machine learning and reinforcement learning. He co-founded D23E.ch, a platform addressing blockchain security and privacy challenges. Research interests include AI-driven vulnerability detection, large security models, real-time intrusion prevention, advanced program analysis (fuzzing/symbolic execution), and privacy-preserving systems. He actively recruits PhD students for projects advancing AI in cybersecurity. Notable achievements include pioneering 'sandwich attacks' discovery in DeFi protocols, contributing to Ethereum Foundation grants, and receiving bug bounties from Flashbots and Ethereum Foundation for vulnerability disclosures. His work has been published in venues like IEEE S&P, USENIX Security, and SIGMETRICS. Teaching includes the course INFO2222. He seeks collaborations and funding to bridge academic research with real-world industry problems, emphasizing practical impact.
Özer Özkahraman is a postdoctoral researcher at the Division of Robotics, Perception and Learning (RPL) at KTH Royal Institute of Technology. He works under Ivan Stenius and John Folkesson, focusing on underwater mission planning, simulation, and integration of autonomous systems. His email is ozero@kth.se . He completed his PhD at KTH under Petter Ögren, researching large-scale multi-agent coverage planning for autonomous underwater vehicles (AUVs). Current projects include the SMaRCSim multi-domain simulation platform and development of underwater vehicles like LoLo, SAM, and Evolo. Research interests span autonomous underwater systems, multi-agent coordination, control systems, and simulation infrastructure. He emphasizes modular, accessible frameworks for vehicle testing and real-world deployment. His work bridges theoretical methods (e.g., control barrier functions) with practical applications in marine robotics. Publications focus on AUV navigation, environmental sensing, and adaptive control. Projects like Real2Sim aim to align simulation with real-world vehicle dynamics using motion capture data. He collaborates internationally on topics like data-driven damage detection and model compression for resource-constrained robots. No academic awards are explicitly mentioned. He actively seeks collaborators for projects in sonar simulation, flow field modeling, and cyber-physical system integration.
Dr. Aniket Bera is an Associate Professor in Computer Science at Purdue University and holds an Adjunct Associate Professor role at the University of Maryland at College Park (UMIACS). He directs the IDEAS Lab at Purdue and previously served as a Research Assistant Professor at UNC Chapel Hill. His research focuses on Affective Computing, Computer Graphics (AR/VR), AI & Robotics, Social Robotics, and medical AI applications for mental health diagnostics. Affiliations: Purdue University (Primary), University of Maryland (Adjunct), UMIACS Career: Joined Purdue in 2017, extensive industry collaborations with Disney Research, Intel, and C-DAC Research Interests: Affective Computing: Emotion perception via gait analysis, speech, and facial/body expressions AR/VR: Redirected walking, virtual environments, and human motion modeling Medical AI: AI-driven mental health detection systems (e.g., VidSole dataset) in collaboration with medical schools Key Contributions: Developed Project Dost (mental health initiative) Received 2020 Brain & Behavior Seed Grant ($X) for emotion-gait research Authored 65+ papers (1,800+ citations) with awards at IEEE VR 2021 Funding & Leadership: Serves as Senior Editor for IEEE RA-L (Planning/Simulation) Conference Chair for ACM SIGGRAPH MIG 2022 Labs/Teams: IDEAS Lab (Purdue), UMD GAMMA Group
Pierre KELSEN is a Full Professor in the Department of Computer Science at the University of Luxembourg's Faculty of Science, Technology and Medicine (FSTM). His research focuses on Software Engineering, Formal Methods, Model-Driven Engineering, and Algorithmic Graph Theory. He leads the LASSY Laboratory for Advanced Software Systems, emphasizing model decomposition, regulatory compliance, and formal verification techniques. Education: PhD in Computer Science (1993, University of Illinois at Urbana-Champaign), M.Sc. (1989, UIUC), and Diploma (1986, University of Karlsruhe). Postdoctoral work at the University of British Columbia and Max-Planck-Institut für Informatik. Research Interests: - Development of formal modeling languages (e.g., VCL, F-Alloy) - Model transformation and validation frameworks - Algorithms for compliance and complexity challenges - Visual and modular design methodologies Funding: - ASINE (FNR Pearl, 2013–present): Architecture-based service innovation - MaRCo (FNR Core, 2010–2013): Business-centric regulatory compliance Publications span model-driven engineering, formal methods, and algorithmic foundations, with recent work exploring AI integration in domain modeling and compliance analysis. Labs/Teams: LASSY Laboratory, collaborating on tools like Lightning and Democles for executable modeling frameworks.
Gang (Gary) Tan is a Professor at the Pennsylvania State University's College of Engineering, specializing in computer security, formal methods, and programming languages. He co-directs the Institute for Networking and Security Research (INSR) and leads the Security of Software (SOS) Group, focusing on compiler, programming language, and formal method techniques to enhance computer security. Education: B.E. in Computer Science from Tsinghua University Ph.D. in Computer Science from Princeton University His research integrates formal verification with practical security applications, particularly emphasizing: Compiler-based security enforcement Side-channel mitigation in speculative execution Fairness analysis in machine learning systems Formal grammar approaches for software reliability Key article trends show: Security-focused formal methods (15% of publications) ML fairness verification (20% of recent work) Compiler-based security solutions (30% of output) Side-channel defense mechanisms (25% of research) Parser design and formal grammar synthesis (10% of contributions) Scientific achievements include: NSF CAREER Award Google Research Awards (2x) PLDI 2024 Best Paper James F. Will Career Development Professorship Outstanding Research Award at Penn State Ruth and Joel Spira Excellence in Teaching Award Dr. Tan actively contributes to academic communities through: DARPA ISAT study group membership Program committee roles (CGO 2024, ECOOP 2018, etc) Leadership in security research initiatives
Hamid Krim is a Professor in the Department of Electrical and Computer Engineering at North Carolina State University. He leads the Vision, Information and Statistical Signal Theories and Applications (VISSTA) group, focusing on statistical signal/image analysis, data science, and machine learning. His prior roles include Research Scientist at MIT’s Laboratory for Information and Decision Systems and Member of Technical Staff at AT&T Bell Labs. He holds a Ph.D. in Electrical Engineering from Northeastern University, and degrees from the University of Washington and University of Southern California. Education: Ph.D., Electrical Engineering, Northeastern University (MA), 1990s Master's, Electrical Engineering, University of Washington Bachelor's, Electrical Engineering, University of Southern California and University of Washington Research Interests: Machine Learning, AI, Signal Processing, Communications, and Control Systems . His work bridges formal mathematical frameworks with applied problems, emphasizing generative AI, adversarial robustness, and subspace-driven data analysis. Recent innovations include Volterra neural networks and expansive synthesis techniques for data generation. Awards & Recognition: 2000 NSF CAREER Award 2008 IEEE Fellow 2019 IEEE SPS Sustained Impact Paper Award Multiple extended research invitations at top institutions globally Grants & Advising: Leads the VISSTA Lab, collaborating on projects like medical algorithm development (e.g., lung wheeze analysis) and hurricane activity prediction. His work spans interdisciplinary applications in healthcare, robotics, and defense systems. Labs & Teams: Director of the VISSTA Lab, fostering research in signal theory and machine intelligence. Collaborates with academia and industry on cutting-edge AI and sensor fusion technologies.
Caroline Trippel is an Assistant Professor in the Departments of Computer Science and Electrical Engineering at Stanford University. Her research focuses on ensuring correctness and security in computer systems through formal methods, with particular emphasis on hardware verification, memory consistency models, and mitigating vulnerabilities like Spectre/Meltdown. She previously worked at Facebook’s FAIR SysML group before joining Stanford. Education: PhD in Computer Science, Princeton University BS in Computer Engineering, Purdue University Her work has influenced the RISC-V ISA memory consistency model and produced tools like CheckMate, which automatically synthesizes hardware exploits for security verification. She explores privacy-preserving ML, ML-driven hardware optimizations (e.g., neural recommendation), and datacenter reliability. Her research has earned awards including the 2020 ACM SIGARCH Dissertation Award and NVIDIA Fellowship. Key contributions include: Formal analysis of RISC-V memory models Exploitation synthesis frameworks (CheckMate) Hardware-software contracts for security Defenses against microarchitectural side-channel attacks Current projects include: VeriCoder: LLM-enhanced RTL code verification Multi-μPATH synthesis for security validation Near-data processing (RecSSD) for recommendation systems
Sara Vinco is an Associate Professor at the Department of Control and Computer Engineering (DAUIN), Politecnico di Torino, Italy. She specializes in battery simulation, digital twins, and energy-efficient design automation for heterogeneous embedded systems, aligning with Industrial and Information Engineering (Area 0009) and ERC sectors including Computer Architecture and Machine Learning . Her research focuses on advancing cyber-physical systems through simulation frameworks like SystemC-AMS, enabling holistic modeling of analog, digital, and thermal domains. Key projects include data-driven digital twins for EV batteries and low-area digital circuits in industrial/medical applications, supported by commercial contracts such as C-based virtual prototyping. Her recent publications (2022-2023) emphasize machine learning for battery SOH/SOC estimation , energy monitoring in production lines , and multi-domain fault modeling . These works span journals like IEEE Transactions and conferences including DATE and ISLPED. Awarded the FFABR 2017 grant and IEEE FDL Best Paper Award 2011 , she also chairs editorial boards for IEEE Transactions on CAD and DATE Conference. She supervises PhD students Giovanni Pollo (Digital Circuits) and Khaled Alamin (EV Battery Twins), reflecting her leadership in smart systems design.
Lawton Robert Burns is the James Joo-Jin Kim Professor and Professor of Healthcare Management at the Wharton School, University of Pennsylvania . He serves as Co-Director of the Roy and Diana Vagelos Program in Life Sciences and Management and Chairperson of the Health Care Systems Department since 2008. His career spans academic roles at the University of Chicago, University of Arizona, and University of Wisconsin. Education: PhD in Sociology, University of Chicago (1981) MBA in Health Administration, University of Chicago (1984) MA, University of Chicago (1976) BA, Haverford College (1973) Dr. Burns specializes in healthcare organization design , strategic change , and supply chain dynamics . His work examines hospital-physician relationships , integrated delivery systems , and market forces in healthcare. His recent publications analyze Pharmacy Benefit Managers (PBMs) , Group Purchasing Organizations (GPOs) , and strategic implementation failures. Notable awards include the Arthur Anderson Distinguished Visitor (2001), Edwin Crosby Memorial Fellowship (1992-93), and Udall Fellowship (1990-91). His research has been featured in Knowledge at Wharton , LDI News , and American Political Science Review . Dr. Burns co-authors works with experts like David Dranove and Stephen Shortell , focusing on clinical integration , retail supply chains , and global healthcare models (India, China).
